Fixing inconsistencies in UML design models

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2007, Pages 292-301

  Egyed, Alexander ^a  

^a Teknowledge Corporation   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; MATHEMATICAL MODELS; UNIFIED MODELING LANGUAGE;

DESIGN MODELS; FIXING INCONSISTENCIES;

SOFTWARE DESIGN;

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

References (16)

1. Balzer, R.: "Tolerating Inconsistency," Proceedings of 13th International Conference on Software Engineering (ICSE-13), May 1991, pp.158-165.
2. Boehm B. W.: A Spiral Model of Software Development and Enhancement. IEEE Computer 21(5), 1988, pp.61-72.
3. Bohner, S.A., Arnold, R. S.: Software Change Impact Analysis. IEEE Computer Society Press, 1991.
4. Briand, L. C., Labiche, Y., and O'Sullivan, L.: "Impact Analysis and Change Management of UML Models ," Proc. of the International Conference on Software Maintenance, Amsterdam, The Netherlands, 2003, pp.256.
5. Dohyung, K.: "Java MPEG Player," http://peace.snu. ac.kr/dhkim/java/MPEG/, 1999.
6. th International Conference on Software Engineering (ICSE), Shanghai, China, 2005.
7. Egyed, A.: "UML/Analyzer: A Tool for the Instant Consistency Checking of UML Models," Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), Minneapolis, USA, May 2006.
8. 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.
9. Fickas, S., Feather, M., Kramer, J.: Proceedings of ICSE-97 Workshop on Living with Inconsistency. Boston, USA, 1997.
10. Hunter A. and Nuseibeh B.: Managing Inconsistent Specifications: Reasoning, Analysis, and Action. ACM Transactions on Software Engineering and Methodology 7(4), 1998, pp.335-367.
11. Nentwich, C., Emmerich, W., and Finkelstein, A.: "Consistency Management with Repair Actions," Proc. of the 25th International Conference on Software Engineering (ICSE), Portland, USA, 2003, pp.455-464.
12. 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.
13. th International Conference on Software Engineering (ICSE), Edinburgh, United Kingdom, May 2004, pp.491-500.
14. Rajlich V. and Gosavi P.: Incremental Change in Object-Oriented Programming. IEEE Software 21(4), 2004, pp.62-69.
15. Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual. Addison Wesley, 1999.
16. van Der Straeten, R., Mens, T., Simmonds, J., and Jonckers, V.: "Using Description Logic to Maintain Consistency between UML Models," Proceedings of 6th International Conference on the Unified Modeling Language (UML 2003), October 2003.