Software certification consortium: certification methods for safety-critical software.
Alan WassyngMark LawfordT. S. E. MaibaumJens H. WeberJohn HatcliffPublished in: CASCON (2010)
Keyphrases
- safety critical
- software engineering practices
- formal methods
- software development
- user interface
- source code
- data mining
- software systems
- safety analysis
- information systems
- computational intelligence
- decision making
- software intensive systems
- software engineering
- knowledge acquisition
- embedded systems
- expert systems