Toward a Formalism for Conservative Claims about the Dependability of Software-Based Systems.
Peter G. BishopRobin E. BloomfieldBev LittlewoodAndrey PovyakaloDavid WrightPublished in: IEEE Trans. Software Eng. (2011)
Keyphrases
- computer systems
- complex systems
- embedded systems
- real time systems
- graphical user interfaces
- case study
- management system
- distributed systems
- software development
- software systems
- safety critical
- open systems
- highly modular
- commercial software
- commercial systems
- industrial strength
- neural network
- high end
- software packages
- software maintenance
- business applications
- building blocks
- intelligent systems
- expert systems