The Evaluation of Large, Complex UML Analysis and Design Models

This paper describes techniques for analyzing largeUML models. The first part of the paper describesheuristics and processes for creating semantically correctUML analysis and design models. The second part of thepaper briefly describes the internal DesignAdvisorresearch tool that was used to analyze...

Full description

Saved in:
Bibliographic Details
Published in:International Conference on Software Engineering: Proceedings of the 26th International Conference on Software Engineering; 23-28 May 2004 pp. 232 - 241
Main Author: Berenbach, Brian
Format: Conference Proceeding
Language:English
Published: Washington, DC, USA IEEE Computer Society 23.05.2004
Series:ACM Conferences
Subjects:
Applied sciences
Computer science; control theory; systems
Computing methodologies > Modeling and simulation > Model development and analysis
Computing methodologies > Modeling and simulation > Model development and analysis > Model verification and validation
Exact sciences and technology
Software
Software and its engineering > Software creation and management > Software development process management > Software development methods
Software and its engineering > Software creation and management > Software development process management > Software development methods > Rapid application development
Software and its engineering > Software notations and tools > General programming languages > Language types
Software engineering
Theory of computation > Logic > Programming logic
Theory of computation > Semantics and reasoning > Program reasoning
Theory of computation > Semantics and reasoning > Program reasoning > Program specifications
Unified modelling language
Software development
Semantics
Modeling
Heuristic method
ISBN:9780769521633, 0769521630
ISSN:0270-5257
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:This paper describes techniques for analyzing largeUML models. The first part of the paper describesheuristics and processes for creating semantically correctUML analysis and design models. The second part of thepaper briefly describes the internal DesignAdvisorresearch tool that was used to analyze Siemens models.The results are presented and some interestingconclusions are drawn.
Bibliography:SourceType-Conference Papers & Proceedings-1
ObjectType-Conference Paper-1
content type line 25
ISBN:9780769521633
0769521630
ISSN:0270-5257
DOI:10.5555/998675.999428