Zur Validierung von Kompositionsstrukturen in UML mit USE
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.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.identifier.isbn | 978-3-88579-255-0 | |
dc.identifier.pissn | 1617-5468 | |
dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/19695 | |
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 | |
gi.citation.endPage | 177 | |
gi.citation.publisherPlace | Bonn | |
gi.citation.startPage | 169 | |
gi.conference.date | 24.-26. März 2010 | |
gi.conference.location | Klagenfurt | |
gi.conference.sessiontitle | Regular Research Papers |
Dateien
Originalbündel
1 - 1 von 1