Precise Scenarios - A Customer-Friendly Foundation for Formal Specifications.
Oliver AuRoger G. StoneJohn CookePublished in: IFM (2007)
Keyphrases
- formal specification
- object oriented design
- model checking
- specification languages
- specification language
- process algebra
- formal specification language
- reverse engineering
- electronic commerce
- design methodology
- customer satisfaction
- real world
- formal methods
- concurrent systems
- relational databases
- database systems
- semantic data models
- customer relationship management
- customer service
- customer behavior
- key features
- protocol specification
- artificial intelligence