| dc.contributor.author | Hamann, Lars | |
| dc.contributor.author | Gogolla, Martin | |
| dc.contributor.author | Kuhlmann, Mirco | |
| dc.contributor.editor | Engels, Gregor | |
| dc.contributor.editor | Karagiannis, Dimitris | |
| dc.contributor.editor | Mayr, Heinrich C. | |
| dc.date.accessioned | 2019-01-17T12:59:34Z | |
| dc.date.available | 2019-01-17T12:59:34Z | |
| dc.date.issued | 2010 | |
| dc.identifier.isbn | 978-3-88579-255-0 | |
| dc.identifier.issn | 1617-5468 | |
| dc.identifier.uri | http://dl.gi.de/handle/20.500.12116/19695 | |
| dc.description.abstract | 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. | de |
| dc.language.iso | de | |
| dc.publisher | Gesellschaft für Informatik e.V. | |
| dc.relation.ispartof | Modellierung 2010 | |
| dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-161 | |
| dc.title | Zur Validierung von Kompositionsstrukturen in UML mit USE | de |
| dc.type | Text/Conference Paper | |
| dc.pubPlace | Bonn | |
| mci.reference.pages | 169-177 | |
| mci.conference.sessiontitle | Regular Research Papers | |
| mci.conference.location | Klagenfurt | |
| mci.conference.date | 24.-26. März 2010 | |
