loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
35th Annual Simulation Symposium
Simulator for E-LOTOS Specifications
San Diego, California
April 14-April 18
ISBN: 0-7695-1552-5
ASCII Text
x 
 
Francisco Isidro Massetto, Wanderley Lopes de Souza, Sergio Donizetti Zorzo, "Simulator for E-LOTOS Specifications," Simulation Symposium, Annual, pp. 0389, 35th Annual Simulation Symposium, 2002.
 
 
BibTex
x
 
@article{ 10.1109/SIMSYM.2002.1000176,
author = {Francisco Isidro Massetto and Wanderley Lopes de Souza and Sergio Donizetti Zorzo},
title = {Simulator for E-LOTOS Specifications},
journal ={Simulation Symposium, Annual},
volume = {0},
year = {2002},
isbn = {0-7695-1552-5},
pages = {0389},
doi = {http://doi.ieeecomputersociety.org/10.1109/SIMSYM.2002.1000176},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Simulation Symposium, Annual
TI - Simulator for E-LOTOS Specifications
SN - 0-7695-1552-5
SP
EP
A1 - Francisco Isidro Massetto,
A1 - Wanderley Lopes de Souza,
A1 - Sergio Donizetti Zorzo,
PY - 2002
KW - E-LOTOS
KW - Simulation
KW - Formal Specification
KW - Multimedia
VL - 0
JA - Simulation Symposium, Annual
ER -
 
Francisco Isidro Massetto, Federal University of S?o Carlos
Wanderley Lopes de Souza, Federal University of S?o Carlos
Sergio Donizetti Zorzo, Federal University of S?o Carlos
This article presents an approach and a tool for specification simulations accomplished in the Formal Description Technique (FDT) Enhancements to Language of Temporal Ordering Specification (E-LOTOS). Based on defined inference rules for the E-LOTOS operators, the tool offers resources for interactive simulation, enabling the user to monitor the specification behavior. To illustrate the use of the approach and the tool, a multimedia application design, specification and simulation is discussed.
Index Terms:
E-LOTOS, Simulation, Formal Specification, Multimedia
Citation:
Francisco Isidro Massetto, Wanderley Lopes de Souza, Sergio Donizetti Zorzo, "Simulator for E-LOTOS Specifications," ss, pp.0389, 35th Annual Simulation Symposium, 2002
Usage of this product signifies your acceptance of the Terms of Use.