Engineering and Employing Reusable Software Components for Modular Verification.
Daniel WelchMurali SitaramanPublished in: ICSR (2017)
Keyphrases
- software components
- software systems
- software development
- software reuse
- building blocks
- web services
- software engineering
- software modules
- engineering design
- commercial off the shelf
- formal specification
- reusable components
- development environments
- model checking
- java programs
- software artifacts
- software architecture
- information technology
- artificial intelligence