Keynote address: the actual implementation will be derived from the formal specification -- KBSA, 1983.
Cordell GreenPublished in: ASE (2010)
Keyphrases
- formal specification
- keynote address
- specification language
- formal specification language
- model checking
- object oriented design
- protocol specification
- reverse engineering
- formal methods
- process algebra
- concurrent systems
- united kingdom
- computer science education
- language technology
- computing education
- databases
- software components
- united states
- knowledge management
- artificial intelligence