Reliable Software Systems Design: Defect Prevention, Detection, and Containment.
Gerard J. HolzmannRajeev JoshiPublished in: VSTTE (2005)
Keyphrases
- software systems
- software design
- software architecture
- software engineering
- functional requirements
- complex software systems
- metamodel
- design patterns
- source code
- high assurance
- embedded systems
- software testing
- software development
- software maintenance
- software evolution
- development effort
- product lines
- component based software
- object oriented systems
- dynamic reconfiguration
- software intensive systems
- case study
- artificial intelligence
- building blocks
- distributed systems
- relational databases
- information technology
- multi agent systems
- cooperative
- databases