TOOLS
1999
IEEE
14 years 8 months ago
1999
IEEE
In designing languages, we strive for consistency and elegance. In object-oriented languages, simple data types have always been a problem in that they do not quite fit in with th...
TOOLS
1999
IEEE
14 years 8 months ago
1999
IEEE
Component-based software engineering (CBSE) spans a range of technologies and engineering practices. Engineering practices for component-based systems (e.g., design, integrate, te...
TOOLS
1999
IEEE
14 years 8 months ago
1999
IEEE
TOOLS
1999
IEEE
14 years 8 months ago
1999
IEEE
TOOLS
1999
IEEE
14 years 8 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 8 months ago
1999
IEEE
TOOLS
1999
IEEE
14 years 8 months ago
1999
IEEE
TOOLS
1999
IEEE
14 years 8 months ago
1999
IEEE
TOOLS
1999
IEEE
14 years 8 months ago
1999
IEEE
TOOLS
1999
IEEE
14 years 8 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...