DMCA
Verification of xUML Specifications (2002)
by
In The Context
,
Günter Graw
,
Peter Herrmann
| Venue: | Workshop in Software Model Engineering (WISMEUML’2002 |
BibTeX
@INPROCEEDINGS{Context02verificationof,
author = {In The Context and Günter Graw and Peter Herrmann},
title = {Verification of xUML Specifications},
booktitle = {Workshop in Software Model Engineering (WISMEUML’2002},
year = {2002}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
This paper deals with the application of verification techniques in the context of MDA. The main emphasis is on the UML profile xUML and on TLA based verification and specification methods.
