loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
17th IEEE International Conference on Automated Software Engineering (ASE'02)
VIATRA — Visual Automated Transformations for Formal Verification and Validation of UML Models
Edinburgh, UK
September 23-September 27
ISBN: 0-7695-1736-6
ASCII Text
x 
 
György Csertán, Gábor Huszerl, István Majzik, Zsigmond Pap, András Pataricza, Dániel Varró, "VIATRA — Visual Automated Transformations for Formal Verification and Validation of UML Models," Automated Software Engineering, International Conference on, pp. 267, 17th IEEE International Conference on Automated Software Engineering (ASE'02), 2002.
 
 
BibTex
x
 
@article{ 10.1109/ASE.2002.1115027,
author = {György Csertán and Gábor Huszerl and István Majzik and Zsigmond Pap and András Pataricza and Dániel Varró},
title = {VIATRA — Visual Automated Transformations for Formal Verification and Validation of UML Models},
journal ={Automated Software Engineering, International Conference on},
volume = {0},
year = {2002},
issn = {1527-1366},
pages = {267},
doi = {http://doi.ieeecomputersociety.org/10.1109/ASE.2002.1115027},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Automated Software Engineering, International Conference on
TI - VIATRA — Visual Automated Transformations for Formal Verification and Validation of UML Models
SN - 1527-1366
SP
EP
A1 - György Csertán,
A1 - Gábor Huszerl,
A1 - István Majzik,
A1 - Zsigmond Pap,
A1 - András Pataricza,
A1 - Dániel Varró,
PY - 2002
KW - null
VL - 0
JA - Automated Software Engineering, International Conference on
ER -
 
György Csertán, Budapest University of Technology and Economics
Gábor Huszerl, Budapest University of Technology and Economics
István Majzik, Budapest University of Technology and Economics
Zsigmond Pap, Budapest University of Technology and Economics
András Pataricza, Budapest University of Technology and Economics
Dániel Varró, Budapest University of Technology and Economics
The VIATRA (VIsual Automated model TRAnsformations) framework is the core of a transformation-based veri-fication and validation environment for improving the quality of systems designed using the Unified Modeling Language by automatically checking consistency, completeness, and dependability requirements. In the current paper, we present an overview of (i) the major design goals and decisions, (ii) the underlying formal methodology based on metamodeling and graph transformation (iii) the software architecture based upon the XMI standard, (iv) and several benchmark applications of the VIATRA framework.
Citation:
György Csertán, Gábor Huszerl, István Majzik, Zsigmond Pap, András Pataricza, Dániel Varró, "VIATRA — Visual Automated Transformations for Formal Verification and Validation of UML Models," ase, pp.267, 17th IEEE International Conference on Automated Software Engineering (ASE'02), 2002
Usage of this product signifies your acceptance of the Terms of Use.