Zur Kurzanzeige

dc.contributor.authorGogolla, Martin
dc.contributor.authorRichters, Mark
dc.contributor.authorBohling, Jörn
dc.contributor.authorLindow, Arne
dc.contributor.authorBüttner, Fabian
dc.contributor.authorZiemann, Paul
dc.contributor.editorRumpe, Bernhard
dc.contributor.editorHesse, Wolfgang
dc.date.accessioned2019-10-16T08:54:12Z
dc.date.available2019-10-16T08:54:12Z
dc.date.issued2004
dc.identifier.isbn3-88579-374-1
dc.identifier.issn1617-5468
dc.identifier.urihttp://dl.gi.de/handle/20.500.12116/29240
dc.language.isode
dc.publisherGesellschaft für Informatik e.V.
dc.relation.ispartofModellierung 2004
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Proceedings, Volume P-45
dc.titleWerkzeugunterstützung für die Validierung von UML- und OCL-Modellen durchautomatische Snapshot-Generierungde
dc.typeText/Conference Paper
dc.pubPlaceBonn
mci.reference.pages280-281
mci.conference.sessiontitleRegular Research Papers
mci.conference.locationMarburg
mci.conference.date23.-26. März 2004


Dateien zu dieser Ressource

Thumbnail

Zur Kurzanzeige