Techniques for Embedding Executable Specifications in Software Component Interfaces.
Ross McKegneyTerry ShepardPublished in: ICCBSS (2003)
Keyphrases
- software components
- formal specification
- software systems
- software reuse
- building blocks
- software development
- attribute grammars
- formal methods
- web services
- concurrent systems
- control flow
- commercial off the shelf
- vector space
- software modules
- software repositories
- user interface
- reusable components
- data hiding
- artificial intelligence
- open source
- case study
- data flow
- relational databases
- software architecture
- recommender systems