A Language for Building Verified Software Components.
Gregory KulczyckiMurali SitaramanJoan KroneJoseph E. HollingsworthWilliam F. OgdenBruce W. WeidePaolo BucciCharles T. CookSvetlana Drachova-StrangBlair DurkeeHeather K. HartonWayne D. HeymDustin HoffmanHampton SmithYu-Shan SunAditi TagoreNighat YasminDiego ZaccaiPublished in: ICSR (2013)
Keyphrases
- software components
- software development
- software systems
- software reuse
- software modules
- component based development
- building blocks
- programming language
- web services
- natural language
- formal specification
- commercial off the shelf
- java programs
- case study
- semi automatic
- software engineering
- development environments
- reusable components