Experiences from introducing UML-based development in a large safety-critical project.
Bente AndaKai HansenIngolf GullesenHanne Kristin ThorsenPublished in: Empir. Softw. Eng. (2006)
Keyphrases
- safety critical
- formal methods
- case study
- fault tolerant
- safety analysis
- nuclear power plant
- software engineering
- agent architecture
- embedded systems
- support systems
- project management
- adaptive systems
- software development
- regulatory requirements
- knowledge management
- knowledge based systems
- data model
- artificial intelligence
- machine learning
- real time