Correctness by Construction: Integrating Formality into a Commercial Development Process.
Anthony HallPublished in: FME (2002)
Keyphrases
- development process
- software engineering
- software development
- case study
- metamodel
- systems development
- application development
- agent oriented
- software application
- functional requirements
- development environment
- development processes
- design process
- software quality
- software projects
- game development
- web based systems
- databases
- data model
- requirements analysis
- relational databases
- requirements specification