Correctness by construction: putting engineering (back) into software.
Rod ChapmanPublished in: SIGAda (2007)
Keyphrases
- software development
- user interface
- software engineering
- computer systems
- artificial intelligence
- software process
- software systems
- machine learning
- software requirements
- software architecture
- iso iec
- software intensive systems
- real time
- engineering problems
- analysis tool
- software package
- software design
- source code
- knowledge management
- expert systems
- neural network