This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
13th International Workshop on Program Comprehension (IWPC'05)
Comprehension by Derivation
St. Louis, Missouri
May 15-May 16
ISBN: 0-7695-2254-8
ASCII Text
x 
 
Douglas R. Smith, "Comprehension by Derivation," International Conference on Program Comprehension, pp. 3-9, 13th International Workshop on Program Comprehension (IWPC'05), 2005.
 
 
BibTex
x
 
@article{ 10.1109/WPC.2005.13,
author = {Douglas R. Smith},
title = {Comprehension by Derivation},
journal ={International Conference on Program Comprehension},
volume = {0},
year = {2005},
issn = {1092-8138},
pages = {3-9},
doi = {http://doi.ieeecomputersociety.org/10.1109/WPC.2005.13},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - International Conference on Program Comprehension
TI - Comprehension by Derivation
SN - 1092-8138
SP3
EP9
A1 - Douglas R. Smith,
PY - 2005
KW - null
VL - 0
JA - International Conference on Program Comprehension
ER -
 
Douglas R. Smith, Kestrel Institute, Palo Alto, California
We argue that to comprehend a software system is to have a handle on its requirements, specifications, and design decisions. These kinds of information support the reuse of system code for a variety of purposes and support its ongoing extension, migration, and evolution. Our work at Kestrel Institute has focused on ways to mechanize the development and evolution of software from formal specifications. By-products of such a process include formal records of design decisions and proofs, as well as executable code. In this approach, reuse can take place at non-code levels, including domain theories, specifications, and design knowledge. Evolution takes place by modifying requirements, specifications, or design decisions, and then reusing previous design structures. When restricted to particular application domains, the generation of correct-by-construction code from specifications can be completely automatic.
Citation:
Douglas R. Smith, "Comprehension by Derivation," icpc, pp.3-9, 13th International Workshop on Program Comprehension (IWPC'05), 2005
Usage of this product signifies your acceptance of the Terms of Use.