Reusable software components need expressive specifications. This paper outlines a rigorous
foundation of model − based contracts, a method to equip classes with strong contracts …

… The above sections illustrate how algorithmic components can be specified and refined
in contract form. This section discusses how these can be reused in the development of an …

… Figure 2 shows a case where the abstract component being specified captures the idea of
stacks. The intuitive behavior of stacks-the middle of the Informal column in Fig. 2-is initially …

por reusable software components" progr m modules designed for l kE ox us ge in r itr ryD a
priori unknown ontexts" qu lity ssur ne is p rti E ul rly import nt nd e sily justifiedF elthough …

… of components make them an inappropriate medium for specifying reusable components in a
component … arises in designing and specifying a reusable component; see Fig. 5. In Queue. …

… Components-of-Expertise approach (Steels, 1990)). A central issue is how these reusable
components … problems with the current definition of reusable components, and we outline a …

… must be implemented in accordance to a component model, which specifies standards and
conventions that must be followed by the developers of the system, distinguishing them from …

… reusable component can have an expression associated with it based on these name/value
pairs that determines if it can be reused … specified that only allows a component to be reused …

… Specifying Compound Concepts We can now specify compound concepts as a composition
of components. A speci cation states how the components' interfaces \plug together", …

… This is repeated until the level of detail allows the coding of the specified components.
The steps involved include the design of the architecture of the whole system or subsystems, …