Use of Formal Specifications for Protocol Design, Implementation and Testing.
Gregor von BochmannEduard CernyGeorge Walter GerberRachida DssouliMichel MaksudB. H. PhanBehçet SarikayaJean-Marc SerrePublished in: PSTV (1984)
Keyphrases
- formal specification
- design methodology
- object oriented design
- protocol specification
- formal specification language
- software testing
- formal methods
- specification language
- design process
- information systems
- test cases
- software architecture
- temporal logic
- general purpose
- test suite
- circuit design
- code generation
- data warehouse
- artificial intelligence