228 search results - page 13 / 46 » Reasoning on UML class diagrams |
ICSM
2005
IEEE
15 years 3 months ago
2005
IEEE
In the work presented here, we introduce a method to automatically generate a subset of a UML class model based on a user-defined criterion. The goal of this work is to allow us to...
INFSOF
2007
14 years 9 months ago
2007
: Correct functioning of object-oriented software depends upon the successful integration of classes. While individual classes may function correctly, several new faults can arise ...
FMSD
2007
14 years 9 months ago
2007
This paper addresses the graphical representation of static aspects of B specifications, using UML class diagrams. These diagrams can help understand the specification for stakeho...
ATAL
2004
Springer
15 years 3 months ago
2004
Springer
In this paper we present an agent-oriented modeling language, called MAS-ML, and an approach for mapping its diagrams into Java implementations. MAS-ML extends the UML meta-model ...
FASE
2003
Springer
15 years 2 months ago
2003
Springer
Abstract. One of the principal uses of UML is the modelling of synchronous object-oriented software systems, in which the behaviour of each of several classes is modelled using a s...