Some Experience with the Use of Formal Specifications.
Gregor von BochmannEduard CernyMichel GagnéClaude JardAlain LéveilléClement LacailleMichel MaksudK. S. RaghunathanBehçet SarikayaPublished in: PSTV (1982)
Keyphrases
- formal specification
- model checking
- object oriented design
- specification language
- specification languages
- formal methods
- process algebra
- reverse engineering
- formal specification language
- protocol specification
- concurrent systems
- design methodology
- business rules
- temporal logic
- user experience
- database design
- database systems
- information systems
- databases