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...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	International Conference on Software Engineering: Proceedings of the 26th International Conference on Software Engineering; 23-28 May 2004 S. 232 - 241
1. Verfasser:	Berenbach, Brian
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	Washington, DC, USA IEEE Computer Society 23.05.2004
Schriftenreihe:	ACM Conferences
Schlagworte:	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-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!