Building Formal Requirements Models for Reliable Software.
Axel van LamsweerdePublished in: Ada-Europe (2001)
Keyphrases
- statistical models
- requirements specification
- web services
- expert systems
- prior knowledge
- website
- software systems
- artificial intelligence
- mathematical models
- real time
- software development process
- reactive systems
- accurate models
- formal methods
- software design
- software maintenance
- highly accurate
- software architecture
- cost effective
- computer systems
- software engineering
- data model