Comparison of Object Oriented Technology Automatic Codes Generating Tools for Safety Critical Real-time Software.
Farahzad BehiDaniel Penny IIIPublished in: Software Engineering Research and Practice (2006)
Keyphrases
- safety critical
- formal methods
- object oriented technology
- real time
- fault tolerant
- safety analysis
- embedded systems
- nuclear power plant
- object oriented systems
- agent architecture
- adaptive systems
- support systems
- object oriented
- model checking
- formal specification
- decision support
- low cost
- learning systems
- knowledge based systems
- software engineering
- control system
- software systems
- software maintenance
- web services
- virtual enterprise
- e learning
- supply chain
- artificial intelligence