Logo des Repositoriums
 

An axiomatic formalization of UML models

Kurzanzeige
dc.contributor.authorAoki, Toshiaki
dc.contributor.authorTateishi, Takaaki
dc.contributor.authorKatayama, Takuya
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:45Z
dc.date.available2020-01-07T12:34:45Z
dc.date.issued2001
dc.description.abstractThough it is widely recognized that object-oriented methodologies are most effective in developing large scale software, it is still dif cult to apply high level computer support to it, as current methodologies are informal, especially at their upstream phases. This means that we cannot expect sophisticated supports for checking consistency among analysis models and validating/verifying their appropriateness. As quality of analysis models determines that of succeeding design and implementation phases, formalization of the analysis phase is very important. In this paper, we propose a formal approach to analysis phase, consisting of (1)formal analysis models, (2)uni cation of the models, (3)an axiom system for consistency veri cation and (4)veri cation environment.en
dc.identifier.isbn3-88579-335-0
dc.identifier.pissn1617-5468
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/30860
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.titleAn axiomatic formalization of UML modelsen
dc.typeText/Conference Paper
gi.citation.endPage28
gi.citation.publisherPlaceBonn
gi.citation.startPage13
gi.conference.dateOctober 1st, 2001
gi.conference.locationToronto, Canada
gi.conference.sessiontitleRegular Research Papers

Dateien

Originalbündel
1 - 1 von 1
Vorschaubild
Name:
02.pdf
Größe:
461.82 KB
Format:
Adobe Portable Document Format
Herunterladen

Sammlungen

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