Software tools for safety-critical software development.
Alan WassyngMark LawfordPublished in: Int. J. Softw. Tools Technol. Transf. (2006)
Keyphrases
- software tools
- safety critical
- software development
- formal methods
- embedded systems
- fault tolerant
- software engineering
- safety analysis
- agent architecture
- software systems
- nuclear power plant
- case study
- regulatory requirements
- adaptive systems
- support systems
- tool support
- software projects
- development process
- learning environment
- software components
- software architecture
- machine learning
- real time
- peer to peer