228 search results - page 6 / 46 » Reasoning on UML class diagrams |
FOIKS
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Automatic debugging of UML class diagrams helps in the visual specification of software systems because users cannot detect errors in logical inconsistency easily. This p...
APSEC
2005
IEEE
14 years 1 months ago
2005
IEEE
While aspect-oriented modeling has been recognized as a useful means of improving the modularity of software design, the de facto standard modeling language UML lacks first-class...
DEXA
2005
Springer
14 years 28 days ago
2005
Springer
The widespread use of XML brings new challenges for its integration into general software development processes. In particular, it is necessary to keep the consistency between di...
SAC
2006
ACM
13 years 7 months ago
2006
ACM
We propose a rule-based approach for transforming B abstract machines into UML diagrams. We believe that important insight into the structure underlying a B model can be gained by...
VISSOFT
2005
IEEE
14 years 29 days ago
2005
IEEE
The paper presents and assesses a layout scheme for UML class diagrams that takes into account the architectural importance of a class in terms of its stereotype (e.g., boundary, ...