Formal Limits on Determining Reliabilities of Component-Based Software Systems.
Martin KappesChandra M. R. KintalaReinhard KlemmPublished in: ISSRE (2000)
Keyphrases
- software systems
- requirements specification
- software engineering
- source code
- software design
- software development
- software components
- software developers
- software maintenance
- functional requirements
- software architecture
- software engineers
- software projects
- component based software
- software evolution
- multi agent systems
- software quality
- development effort
- object oriented systems
- linux kernel
- complex software systems
- formal specification
- software testing
- formal methods
- open source
- case study
- maintenance activities
- software requirements
- information systems
- database