Assumption Generation for Software Component Verification.
Dimitra GiannakopoulouCorina S. PasareanuHoward BarringerPublished in: ASE (2002)
Keyphrases
- software components
- software systems
- software development
- building blocks
- reusable components
- software reuse
- software modules
- asynchronous circuits
- design rationale
- artificial intelligence
- commercial off the shelf
- development environments
- generation process
- web services
- model checking
- information technology
- high level
- information systems
- machine learning