228 search results - page 15 / 46 » Reasoning on UML class diagrams |
JUCS
2010
13 years 2 months ago
2010
: This paper formalizes UML class diagrams and structural patterns as mathematical objects and provides a precise notion of conformance of a structural model specified as a class d...
ADIS
2001
13 years 8 months ago
2001
The quality of class diagrams is critical because it has a great influence on the quality of the object oriented information system (OOIS) which are finally delivered. This fact mo...
UML
2004
Springer
14 years 23 days ago
2004
Springer
An aspect-oriented design model consists of a set of aspect models and a primary model. Each of these models consists of a number of different kinds of UML diagrams. The models mus...
CCS
2004
ACM
14 years 24 days ago
2004
ACM
Security must be a first class citizen in the design of large scale, interacting, software applications, at early and all stages of the lifecycle, for accurate and precise policy ...
SAC
2008
ACM
13 years 6 months ago
2008
ACM
In this paper we investigate and propose a fully automated technique to perform conformance checking of Java implementations against UML class diagrams. In our approach, we reused...