Formal Methods Meet Domain Specific Languages.
Jean-Paul BodeveixMamoun FilaliJulia LawallGilles MullerPublished in: IFM (2005)
Keyphrases
- formal methods
- domain specific languages
- formal specification
- formal analysis
- model checking
- safety critical
- programming language
- provably correct
- knowledge based systems
- artificial intelligence
- process algebra
- model checker
- databases
- general purpose
- software engineering
- test cases
- reactive systems
- security properties
- object oriented
- knowledge base
- information systems
- data sets
- development lifecycle