loading...
A Refinement Based Framework for Computing Loop Behavior
Columbia, MD, USA March 06-March 08
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SEW.2007.8731st IEEE Software Engineering Worksh ...
 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 
 
Ali Mili, "A Refinement Based Framework for Computing Loop Behavior," Software Engineering Workshop, Annual IEEE/NASA Goddard, pp. 144-153, 31st IEEE Software Engineering Workshop (SEW 2007), 2007.
 
 
BibTex
x
 
@article{ 10.1109/SEW.2007.87,
author = {Ali Mili},
title = {A Refinement Based Framework for Computing Loop Behavior},
journal ={Software Engineering Workshop, Annual IEEE/NASA Goddard},
volume = {0},
year = {2007},
issn = {1550-6215},
pages = {144-153},
doi = {http://doi.ieeecomputersociety.org/10.1109/SEW.2007.87},
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 - A Refinement Based Framework for Computing Loop Behavior
SN - 1550-6215
SP144
EP153
A1 - Ali Mili,
PY - 2007
VL - 0
JA - Software Engineering Workshop, Annual IEEE/NASA Goddard
ER -
 
The development, certification and evolution of de- pendable software requires the ability to analyze soft- ware artifacts in all their extensive detail. This, in turn, is contingent upon availability of reliable, certified tools that can rigorously analyze the behavior and properties of software artifacts. One of the most difficult challenges in the development of such a tool is the ability to derive the function of a loop from a static analysis of its source code. In this paper, we discuss the main tenets of our approach to this problem, based on a relation-theoretic refinement calculus, and outline its results, insights, and prospects. Function extraction, loop functions, loop invariants, relational calculus, refinement calculus, computing loop behavior.
Citation:
Ali Mili, "A Refinement Based Framework for Computing Loop Behavior," sew, pp.144-153, 31st IEEE Software Engineering Workshop (SEW 2007), 2007
Usage of this product signifies your acceptance of the Terms of Use.