Software Certification for Industry - Verification and Validation Issues in Expert Systems.
Anca I. VermesanPublished in: DEXA Workshop (1998)
Keyphrases
- expert systems
- software engineering practices
- software industry
- key issues
- formal methods
- computer hardware
- software development
- software tools
- model checking
- computer systems
- technical issues
- case study
- software intensive systems
- knowledge based systems
- software systems
- formal verification
- software design
- knowledge acquisition
- hardware designs
- fault diagnosis
- software architecture
- intelligent systems
- source code
- software engineering
- knowledge base
- information systems
- third party
- artificial intelligence
- case based reasoning