An Algebraic Semantics for Contract-Based Software Components.
Michel BidoitRolf HennickerPublished in: AMAST (2008)
Keyphrases
- software components
- software systems
- software reuse
- software development
- formal semantics
- software modules
- building blocks
- formal specification
- commercial off the shelf
- web services
- reusable components
- supply chain
- java programs
- development environments
- component based architecture
- software engineering
- object oriented
- reinforcement learning