UML/analyzer: A tool for the instant consistency checking of UML models

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2007, Pages 793-796

  Egyed, Alexander ^a  

^a Teknowledge Corporation   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

MATHEMATICAL MODELS; USABILITY ENGINEERING;

ANNOTATIONS; BLACK-BOX ENTITIES; DESIGN MODELS; UML;

SOFTWARE DESIGN;

EID: 34548727966     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSE.2007.91     Document Type: Conference Paper

References (8)

1. Balzer, R.: "Tolerating Inconsistency," Proceedings of 13th International Conference on Software Engineering (ICSE-13), May 1991, pp.158-165.
2. Dohyung, K.: "Java MPEG Player," http://peace.snu.ac.kr/ dhkim/java/MPEG/, 1999.
3. Egyed, A.: "Instant Consistency Checking for the UML," Proceedings of the 28th International Conference on Software Engineering (ICSE), Shanghai, China, May 2005.
4. Egyed A. and Balzer B.: Integrating COTS Software into Systems through Instrumentation and Reasoning. International Journal of Automated Software Engineering (JASE) 13(1), 2006, pp.41-64.
5. Fickas, S., Feather, M., Kramer, J.: Proceedings of ICSE-97 Workshop on Living with Inconsistency. Boston, USA, 1997.
6. Nentwich C., Capra L., Emmerich W., and Finkelstein A.: xlinkit: a consistency checking and smart link generation service. ACM Transactions on Internet Technology (TOIT) 2(2), 2002, pp.151-185.
7. Robins, J. and others: "ArgoUML," http://argouml.tigris.org/ .
8. Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual. Addison Wesley, 1999.