Validation of Ultrahigh Dependability for Software-Based Systems.
Bev LittlewoodLorenzo StriginiPublished in: Commun. ACM (1993)
Keyphrases
- complex systems
- computer systems
- commercial software
- software systems
- expert systems
- enterprise systems
- technical issues
- safety critical
- building blocks
- learning systems
- intelligent systems
- distributed systems
- software components
- embedded systems
- software tools
- industrial strength
- software packages
- hardware platforms
- network services
- artificial intelligence
- highly modular
- software engineers
- software package
- development process
- web services
- multimedia
- information systems