Dependable knowledge-based systems development and verification: what we can learn from software engineering and what we need.
Sandro BolognaEyvind NessTerje SivertsenPublished in: TAI (1990)
Keyphrases
- systems development
- software engineering
- development process
- information systems development
- systems engineering
- software development
- information systems
- development methodologies
- software systems
- quality management
- requirements engineering
- model checking
- artificial intelligence
- fault tolerant
- software engineers
- formal verification
- total quality management
- formal methods
- expert systems
- functional requirements
- software design
- object oriented
- relational databases
- case study
- databases
- data sets