FORMULA 2.0: A Language for Formal Specifications.
Ethan K. JacksonWolfram SchultePublished in: ICTAC Training School on Software Engineering (2013)
Keyphrases
- formal specification
- specification language
- process algebra
- formal specification language
- specification languages
- model checking
- programming language
- object oriented design
- formal methods
- natural language
- language learning
- database
- reverse engineering
- software components
- temporal logic
- building blocks
- cooperative
- design methodology
- concurrent systems
- modeling language
- information systems