loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
30th Annual IEEE/NASA Software Engineering Workshop SEW-30 (SEW'06)
Using Jaza to Animate RoZ Specifications of UML Class Diagrams
Columbia, Maryland
April 24-April 28
ISBN: 0-7695-2624-1
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.