Design Tool Assessment for Safety-Critical Software Development.
Andrew J. KorneckiJanusz ZalewskiPublished in: SEW (2003)
Keyphrases
- design tools
- safety critical
- software development
- formal methods
- fault tolerant
- computer aided
- safety analysis
- embedded systems
- software engineering
- agent architecture
- software systems
- support systems
- software architecture
- software components
- adaptive systems
- instructional design
- regulatory requirements
- development process
- case study
- knowledge management
- cooperative
- multi agent
- artificial intelligence
- real time