19 search results - page 2 / 4 » Reasoning on UML Class Diagrams is EXPTIME-hard |
DLOG
2004
13 years 6 months ago
2004
WIFT
1998
IEEE
13 years 9 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 ...
DLOG
2010
13 years 3 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
13 years 5 months ago
2005
Springer
UML
2001
Springer
13 years 9 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 ...