TY - GEN
T1 - Incremental software development method based on abstract interpretation
AU - Yoshioka, Nobukazu
AU - Suzuki, Masato
AU - Katayama, Takuya
PY - 1998/4/16
Y1 - 1998/4/16
N2 - Stepwise Refinement is a well-known effective method for developing a large and complex software product. In traditional methods, a program is refined with respect to its function and the method is only applied in its design phase. In consequence, data defined at each step is too abstract to allow its execution and it is hard to find design errors by executing design artifacts. In this paper, we propose a method: Incremental Software development method based on Data Reification (ISDR), in which a program is refined from its data reification point of view and can be executed using Abstract Interpretation. One of the advantages of ISDR is that we can interpret intermediate programs which are not finished completely, so that errors can be detected at an earlier stage of software development than in traditional methods.
AB - Stepwise Refinement is a well-known effective method for developing a large and complex software product. In traditional methods, a program is refined with respect to its function and the method is only applied in its design phase. In consequence, data defined at each step is too abstract to allow its execution and it is hard to find design errors by executing design artifacts. In this paper, we propose a method: Incremental Software development method based on Data Reification (ISDR), in which a program is refined from its data reification point of view and can be executed using Abstract Interpretation. One of the advantages of ISDR is that we can interpret intermediate programs which are not finished completely, so that errors can be detected at an earlier stage of software development than in traditional methods.
UR - http://www.scopus.com/inward/record.url?scp=1442272526&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=1442272526&partnerID=8YFLogxK
U2 - 10.1109/iwssd.1998.667927
DO - 10.1109/iwssd.1998.667927
M3 - Conference contribution
AN - SCOPUS:1442272526
T3 - Proceedings of the 9th International Workshop on Software Specification and Design, IWSSD 1998
SP - 126
EP - 134
BT - Proceedings of the 9th International Workshop on Software Specification and Design, IWSSD 1998
PB - Association for Computing Machinery, Inc
T2 - 9th International Workshop on Software Specification and Design, IWSSD 1998
Y2 - 16 April 1998 through 18 April 1998
ER -