Reliability specification for component-based software.
Xiaoguang MaoJohn MayPublished in: IASTED Conf. on Software Engineering and Applications (2004)
Keyphrases
- component based software
- software systems
- integration testing
- web applications
- high level
- black box
- database systems
- information technology
- asynchronous circuits
- reliability analysis
- formal specification
- highly reliable
- specification language
- data mining
- search engine
- provably correct
- formal methods
- data sets
- software development
- feature space
- decision trees
- information systems