loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
24 th. EUROMICRO Conference Volume 1 (EUROMICRO'98)
On the Effectiveness of Slicing Hierarchical State Machines: A Case Study
Västerås, Sweden
August 25-August 27
ISBN: 0-8186-8646-4
ASCII Text
x 
 
Mats P.E. Heimdahl, Jeffrey M. Thompson, Michael W. Whalen, "On the Effectiveness of Slicing Hierarchical State Machines: A Case Study," EUROMICRO Conference, vol. 1, pp. 10435, 24 th. EUROMICRO Conference Volume 1 (EUROMICRO'98), 1998.
 
 
BibTex
x
 
@article{ 10.1109/EURMIC.1998.711837,
author = {Mats P.E. Heimdahl and Jeffrey M. Thompson and Michael W. Whalen},
title = {On the Effectiveness of Slicing Hierarchical State Machines: A Case Study},
journal ={EUROMICRO Conference},
volume = {1},
year = {1998},
issn = {1089-6503},
pages = {10435},
doi = {http://doi.ieeecomputersociety.org/10.1109/EURMIC.1998.711837},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - EUROMICRO Conference
TI - On the Effectiveness of Slicing Hierarchical State Machines: A Case Study
SN - 1089-6503
SP
EP
A1 - Mats P.E. Heimdahl,
A1 - Jeffrey M. Thompson,
A1 - Michael W. Whalen,
PY - 1998
KW - null
VL - 1
JA - EUROMICRO Conference
ER -
 
Mats P.E. Heimdahl, University of Minnesota
Jeffrey M. Thompson, University of Minnesota
Michael W. Whalen, University of Minnesota
Formal specifications can be hundreds of pages in length — a reflection of the size and complexity of the systems being specified. Lengthy documents are difficult to read, understand, and use. Program slicing was developed to address these issues for programs. In this paper, we apply similar techniques to formal specifications expressed as hierarchical state machines. We present a two tiered approach to slicing (or simpli.cation) of hierarchical state machines. We have applied our techniques to a large case study and present empirical data highlighting the reduction and simplification capabilities of our approach to large specifications.
Citation:
Mats P.E. Heimdahl, Jeffrey M. Thompson, Michael W. Whalen, "On the Effectiveness of Slicing Hierarchical State Machines: A Case Study," euromicro, vol. 1, pp.10435, 24 th. EUROMICRO Conference Volume 1 (EUROMICRO'98), 1998
Usage of this product signifies your acceptance of the Terms of Use.