Formal specification of a particular banking domain with RAISE specification language.
Mohammad Reza NamiAbbas MalekpourPublished in: ISCC (2008)
Keyphrases
- formal specification
- specification language
- object oriented design
- specification languages
- model checking
- process algebra
- reverse engineering
- formal methods
- domain independent
- domain specific
- model checker
- software environment
- databases
- description language
- software components
- concurrent systems
- software architecture
- programming language
- cooperative
- information systems
- machine learning