Feature Interactions and Formal Specifications in Telecommunications.
Pamela ZavePublished in: Computer (1993)
Keyphrases
- formal specification
- feature interactions
- object oriented design
- specification languages
- specification language
- model checking
- reverse engineering
- process algebra
- formal methods
- concurrent systems
- software components
- design methodology
- telecommunications industry
- artificial intelligence
- protocol specification
- database
- case study
- temporal logic
- general purpose
- formal specification language