Logo des Repositoriums
 

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

Kurzanzeige
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.pissn1617-5468
dc.identifier.urihttps://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
gi.citation.endPage240
gi.citation.publisherPlaceBonn
gi.citation.startPage224
gi.conference.dateOctober 1st, 2001
gi.conference.locationToronto, Canada
gi.conference.sessiontitleRegular Research Papers

Dateien

Sammlungen

P007 - Practical UML-based rigorous development methods - Countering or integrating the extremists, workshop of the pUML-group held together with the UML 2001