Validating software architectures for high reliability.
Willa K. EhrlichR. ChanW. J. DonnellyH. H. ParkM. B. SaltzmanP. VermaPublished in: ISSRE (1996)
Keyphrases
- high reliability
- software architecture
- high precision
- low cost
- description language
- software engineering
- distributed systems
- software systems
- low overhead
- architectural design
- reference model
- embedded software
- security requirements
- design patterns
- remote control
- functional requirements
- case study
- software evolution
- real time
- software development
- open source
- reference architecture
- autonomous agents
- information technology
- commercial off the shelf