Executable requirements Specifications in a Logic Specification Language SPILL-2

Feliks Kluzniak, Miroslawa Milkowska. Executable requirements Specifications in a Logic Specification Language SPILL-2. In Paolo Ciancarini, Leon Sterling, editors, ICLP 1994 Workshop W7: Applications of Logic Programming to Software Engineering, Santa Margherita Ligure, Italy, June 1994. 1994.

Abstract

Abstract is missing.