Zur Validierung von Kompositionsstrukturen in UML mit USE

Zusammenfassung
In der Softwareentwicklung rücken Modelle zunehmend in den Fokus des Entwicklungsprozesses. Dadurch steigen auch die Anforderungen an deren Qualität. Mit dem an der Universität Bremen entwickelten UML/OCL-Werkzeug USE können bereits bestimmte Qualitätsaspekte von Modellen statisch und dynamisch analysiert werden. Dieser Artikel beschreibt neue Modellierungselemente der UML 2 und zeigt, welchen Beitrag eine Weiterentwicklung von USE auf dem Weg zu einer integrierten Semantik der UML 2 Kompositionsstrukturen leisten kann.
  • Vollständige Referenz
  • BibTeX
Hamann, L., Gogolla, M. & Kuhlmann, M., (2010). Zur Validierung von Kompositionsstrukturen in UML mit USE. In: Engels, G., Karagiannis, D. & Mayr, H. C. (Hrsg.), Modellierung 2010. Bonn: Gesellschaft für Informatik e.V.. (S. 169-177).
@inproceedings{mci/Hamann2010,
author = {Hamann, Lars AND Gogolla, Martin AND Kuhlmann, Mirco},
title = {Zur Validierung von Kompositionsstrukturen in UML mit USE},
booktitle = {Modellierung 2010},
year = {2010},
editor = {Engels, Gregor AND Karagiannis, Dimitris AND Mayr, Heinrich C.} ,
pages = { 169-177 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
DateienGroesseFormatAnzeige
169.pdf149.8Kb PDF Öffnen

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken

Mehr Information

ISBN: 978-3-88579-255-0
ISSN: 1617-5468
Datum: 2010
Sprache: de (de)
Typ: Text/Conference Paper
Sammlungen

Zur Langanzeige