A type system for counting instances of software components.

Marc Bezem Dag Hovland Hoang Truong

Published in: Theor. Comput. Sci. (2012)

Keyphrases

software components
software systems
software development
software reuse
building blocks
web services
software modules
software engineering
java programs
reusable components
case study
component based architecture
data sets
purchasing behavior
commercial off the shelf
software engineers
artificial intelligence