Abstract. Component-based programming is about how to create application programs from prefabricated components with new software that provides both glue between the components, an...
Model programs are high-level behavioral specifications used for software testing and design analysis. Composition of model programs is a versatile technique that, at one end of t...