Animating a Non-executable Formal Specification with a Distributed Symbolic Language.
Paolo CiancariniStelvio CimatoPublished in: DISCO (1996)
Keyphrases
- formal specification
- specification language
- process algebra
- model checking
- data abstraction
- specification languages
- object oriented design
- formal methods
- reverse engineering
- formal specification language
- model checker
- concurrent systems
- distributed systems
- natural language
- programming language
- distributed environment
- database
- software components
- artificial intelligence
- temporal logic
- multi agent
- databases