Defining a Formal Coalgebraic Semantics for The Rosetta Specification Language.
Cindy KongPerry AlexanderCatherine MenonPublished in: J. Univers. Comput. Sci. (2003)
Keyphrases
- specification language
- formal specification
- requirements specification
- description language
- programming language
- model checking
- software environment
- symbolic execution
- formal methods
- machine learning
- case study
- information systems
- knowledge based systems
- database
- formal semantics
- formal language
- model checker
- databases