Conservative claims about the probability of perfection of software-based systems.
Xingyu ZhaoBev LittlewoodAndrey PovyakaloDavid WrightPublished in: ISSRE (2015)
Keyphrases
- computer systems
- commercial software
- probability distribution
- safety critical
- complex systems
- intelligent systems
- formal methods
- software developers
- embedded systems
- retrieval systems
- test cases
- data processing
- software development
- source code
- maintenance activities
- expert systems
- software packages
- software engineers
- real time
- programming environments
- computing systems
- software tools
- software components
- software architecture
- distributed systems
- management system
- information systems