DocumentCode
415753
Title
The evaluation of large, complex UML analysis and design models
Author
Berenbach, Brian
Author_Institution
Siemens Corporate Res. Inc., Princeton, NJ, USA
fYear
2004
fDate
23-28 May 2004
Firstpage
232
Lastpage
241
Abstract
This paper describes techniques for analyzing large UML models. The first part of the paper describes heuristics and processes for creating semantically correct UML analysis and design models. The second part of the paper briefly describes the internal DesignAdvisor research tool that was used to analyze Siemens models. The results are presented and some interesting conclusions are drawn.
Keywords
formal verification; heuristic programming; software performance evaluation; specification languages; systems analysis; DesignAdvisor research tool; Siemens model analysis; Unified Modeling Language; complex UML analysis evaluation; design model evaluation; large UML analysis evaluation; large UML models; semantically correct UML analysis; semantically correct UML design models; Business; Cognition; Embedded software; Guidelines; Humans; Inspection; Software engineering; Testing; Unified modeling language;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering, 2004. ICSE 2004. Proceedings. 26th International Conference on
ISSN
0270-5257
Print_ISBN
0-7695-2163-0
Type
conf
DOI
10.1109/ICSE.2004.1317445
Filename
1317445
Link To Document