Formal Development of Software for Tolerating Transient Faults.
Dubravka IlicElena TroubitsynaPublished in: PRDC (2005)
Keyphrases
- development process
- development cycle
- software design
- software developers
- product line
- requirements specification
- commercial off the shelf
- formal methods
- technical infrastructure
- root cause
- test cases
- knowledge based systems
- cross platform
- fault diagnosis
- software engineering
- user interface
- information processing
- software projects
- artificial intelligence
- ontological engineering
- expert systems
- technical issues
- development methodologies
- hardware platforms
- safety critical
- software life cycle
- development effort
- knowledge management
- software application
- software development
- error detection
- quality assurance
- systems development
- requirements engineering
- software testing
- design process
- embedded systems
- project management
- software architecture