Methodology for Evaluating Aeronautical Regulations using Formal Specifications.
Eduardo Rafael López RuizPublished in: HASE (2007)
Keyphrases
- formal specification
- design methodology
- specification languages
- object oriented design
- model checking
- specification language
- cooperative
- concurrent systems
- reverse engineering
- formal methods
- software testing
- formal specification language
- database
- protocol specification
- software systems
- object oriented
- high level
- real world