Practical Experience of Formal Specification: A Programming Interface for Communications.
John WordsworthPublished in: ESEC (1989)
Keyphrases
- formal specification
- practical experience
- programming interface
- object oriented
- reverse engineering
- model checking
- object oriented design
- specification languages
- specification language
- formal methods
- process algebra
- concurrent systems
- data abstraction
- software components
- formal specification language
- critical thinking skills
- machine learning
- software engineering
- fuzzy logic
- business rules
- temporal logic
- building blocks
- grid workflow
- query language