Formal Specifications on Industrial-Strength Code-From Myth to Reality.
Manuvir DasPublished in: CAV (2006)
Keyphrases
- formal specification
- industrial strength
- code generation
- model checking
- text mining
- specification language
- object oriented design
- specification languages
- concurrent systems
- reverse engineering
- source code
- formal methods
- design methodology
- formal specification language
- process algebra
- software testing
- business rules
- software components
- fine grained
- open source
- data analysis
- artificial intelligence
- protocol specification
- information retrieval
- real world