loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2007 31st Annual International Computer Software and Applications Conference
Iterative Planning in the Context of Automated Code Synthesis
Beijing, China
July 24-July 27
ISBN: 0-7695-2870-8
ASCII Text
x 
 
Jicheng Fu, Farokh B. Bastani, I-Ling Yen, "Iterative Planning in the Context of Automated Code Synthesis," Computer Software and Applications Conference, Annual International, vol. 1, pp. 251-259, 2007 31st Annual International Computer Software and Applications Conference, 2007.
 
 
BibTex
x
 
@article{ 10.1109/COMPSAC.2007.132,
author = {Jicheng Fu and Farokh B. Bastani and I-Ling Yen},
title = {Iterative Planning in the Context of Automated Code Synthesis},
journal ={Computer Software and Applications Conference, Annual International},
volume = {1},
year = {2007},
issn = {0730-3157},
pages = {251-259},
doi = {http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2007.132},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Computer Software and Applications Conference, Annual International
TI - Iterative Planning in the Context of Automated Code Synthesis
SN - 0730-3157
SP251
EP259
A1 - Jicheng Fu,
A1 - Farokh B. Bastani,
A1 - I-Ling Yen,
PY - 2007
KW - null
VL - 1
JA - Computer Software and Applications Conference, Annual International
ER -
 
Jicheng Fu, University of Texas at Dallas
Farokh B. Bastani, University of Texas at Dallas
I-Ling Yen, University of Texas at Dallas

Software development process has become increasingly complex and expensive due to the growing size and criticality of modern software systems. Deficiencies during the development process lead to significant quality problems that can hamper both the initial development as well as subsequent maintenance activities. Hence, it is imperative to develop advanced techniques to increase the overall software dependability and reduce its development cost and time.

Automated code synthesis is a promising method of achieving the above goals. It is a constructive process that can be used to generate programs from specifications. It can accelerate the development process and simplify verification tasks. However, current automated code synthesis techniques have only limited abilities and are mostly able to generate sequential codes.

Citation:
Jicheng Fu, Farokh B. Bastani, I-Ling Yen, "Iterative Planning in the Context of Automated Code Synthesis," compsac, vol. 1, pp.251-259, 2007 31st Annual International Computer Software and Applications Conference, 2007
Usage of this product signifies your acceptance of the Terms of Use.