Executable requirements Specifications in a Logic Specification Language SPILL-2.
Feliks KluzniakMiroslawa MilkowskaPublished in: ICLP Workshop: Applications of Logic Programming to Software Engineering (1994)
Keyphrases
- specification language
- formal specification
- requirements specification
- model checker
- model checking
- concurrent systems
- programming language
- transition systems
- description language
- formal methods
- reverse engineering
- workflow models
- software environment
- linear temporal logic
- modal logic
- machine learning
- business rules
- delay insensitive
- database