loading...
Using Jaza to Animate RoZ Specifications of UML Class Diagrams
Columbia, Maryland April 24-April 28
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SEW.2006.3930th Annual IEEE/NASA Software Engine ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Y. Ledru, "Using Jaza to Animate RoZ Specifications of UML Class Diagrams," Software Engineering Workshop, Annual IEEE/NASA Goddard, pp. 253-262, 30th Annual IEEE/NASA Software Engineering Workshop SEW-30 (SEW'06), 2006.
 
 
BibTex
x
 
@article{ 10.1109/SEW.2006.39,
author = {Y. Ledru},
title = {Using Jaza to Animate RoZ Specifications of UML Class Diagrams},
journal ={Software Engineering Workshop, Annual IEEE/NASA Goddard},
volume = {0},
year = {2006},
issn = {1550-6215},
pages = {253-262},
doi = {http://doi.ieeecomputersociety.org/10.1109/SEW.2006.39},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Software Engineering Workshop, Annual IEEE/NASA Goddard
TI - Using Jaza to Animate RoZ Specifications of UML Class Diagrams
SN - 1550-6215
SP253
EP262
A1 - Y. Ledru,
PY - 2006
KW - null
VL - 0
JA - Software Engineering Workshop, Annual IEEE/NASA Goddard
ER -
 
Y. Ledru, Universite Joseph Fourier, IMAG, France
One of the goals of the integration of formal and graphical methods is to reuse tool support associated with formal methods. This paper reports on a combination of the Jaza Z animator with the RoZ tool. RoZ produces a Z specification from an annotated UML class diagram. It also generates the specification of basic operations associated to the diagram. The paper recalls the principles of the RoZ tool, gives a typical animation session, and discusses how RoZ and class diagrams must be adapted to support animation.
Citation:
Y. Ledru, "Using Jaza to Animate RoZ Specifications of UML Class Diagrams," sew, pp.253-262, 30th Annual IEEE/NASA Software Engineering Workshop SEW-30 (SEW'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.