TOOLS
1999
IEEE
14 years 3 months ago
1999
IEEE
TOOLS
1999
IEEE
14 years 3 months ago
1999
IEEE
This paper summarises a tutorial entitled Analysis by Contract. Using fragments from a simple case study concerning a video store, the paper shows how a type model can provide the...
TOOLS
1999
IEEE
14 years 3 months ago
1999
IEEE
TOOLS
1999
IEEE
14 years 3 months ago
1999
IEEE
TOOLS
1999
IEEE
14 years 3 months ago
1999
IEEE
TOOLS
1999
IEEE
14 years 3 months ago
1999
IEEE
TOOLS
1999
IEEE
14 years 3 months ago
1999
IEEE
The Unified Modeling Language is extensible, and so can be regarded as a family of languages. Implicitly or explicitly, any particular UML model should be accompanied by a definit...
TOOLS
1999
IEEE
14 years 3 months ago
1999
IEEE
In this paper we enhance the SOFA Component Description Language with a semantic description of a component's functionality. There are two key requirements this description a...
TOOLS
1999
IEEE
14 years 3 months ago
1999
IEEE
the right abstractions is important for managing the complexity of your system. Three t abstractions used today are object, component and agent. Many similarities exist these abst...
TOOLS
1999
IEEE
14 years 3 months ago
1999
IEEE