Computer-aided design validation of safety-critical software systems.
Jin-Ki HongRex E. GantenbeinSung Y. ShinPublished in: ACIS Int. J. Comput. Inf. Sci. (2000)
Keyphrases
- computer aided design
- software systems
- safety critical
- embedded systems
- software intensive systems
- software engineering
- object oriented
- computer aided
- reverse engineering
- fault tolerant
- formal methods
- software development
- source code
- agent architecture
- computer graphics
- software architecture
- software components
- support systems
- metamodel
- multi agent systems
- design process
- software evolution
- component based software
- computer assisted
- design patterns
- software testing
- real time
- knowledge acquisition
- distributed systems
- relational databases
- complex software systems
- case study
- data mining