Zur Kurzanzeige

Formal verification of UML diagrams: A first step towards code generation

dc.contributor.authorSmith, Jeffrey E.
dc.contributor.authorKokar, Mieczyslaw K.
dc.contributor.authorBaclawski, Kenneth
dc.contributor.editorEvans, Andy
dc.contributor.editorFrance, Robert B.
dc.contributor.editorMoreira, Ana M. D.
dc.contributor.editorRumpe, Bernhard
dc.date.accessioned2020-01-07T12:34:43Z
dc.date.available2020-01-07T12:34:43Z
dc.date.issued2001
dc.identifier.isbn3-88579-335-0
dc.identifier.issn1617-5468
dc.identifier.urihttp://dl.gi.de/handle/20.500.12116/30856
dc.language.isoen
dc.relation.ispartofPractical UML-based rigorous development methods - Countering or integrating the extremists, workshop of the pUML-group held together with the UML 2001
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Proceedings, Volume P-7
dc.titleFormal verification of UML diagrams: A first step towards code generationen
dc.typeText/Conference Paper
dc.pubPlaceBonn
mci.reference.pages224-240
mci.conference.sessiontitleRegular Research Papers
mci.conference.locationToronto, Canada
mci.conference.dateOctober 1st, 2001


Dateien zu dieser Ressource

DateienGrößeFormatAnzeige

Zu diesem Dokument gibt es keine Dateien.

Zur Kurzanzeige