19 search results - page 2 / 4 » Reasoning on UML Class Diagrams is EXPTIME-hard |
68
Voted
DLOG
2004
14 years 11 months ago
2004
121
Voted
WIFT
1998
IEEE
15 years 2 months ago
1998
IEEE
The Unified Modeling Language (UML) is likely to become an important industry standard language for modelling object-oriented systems. However, its use as a precise analysis tool ...
78
Voted
DLOG
2010
14 years 8 months ago
2010
Abstract. UML class diagrams (UCDs) are the de-facto standard formalism for the analysis and design of information systems. By adopting formal language techniques to capture constr...
AI
2005
Springer
14 years 10 months ago
2005
Springer
89
Voted
UML
2001
Springer
15 years 2 months ago
2001
Springer
: This paper introduces the Calculating with Concepts (CC) technique, which has been developed to improve the precision of UML class diagrams and allows the formal reasoning based ...