Incremental Software Development Method Based on Abstract Interpretation

Authors:
N. Yoshioka;M. Suzuki;T. Katayama
Affiliations:
School of Information Science, Japan Advanced Institute of Science and Technology, 1-1 Asahidai Tastunokuchi Ishikawa Japan;School of Information Science, Japan Advanced Institute of Science and Technology, 1-1 Asahidai Tastunokuchi Ishikawa Japan;School of Information Science, Japan Advanced Institute of Science and Technology, 1-1 Asahidai Tastunokuchi Ishikawa Japan
Venue:
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Year:
1998

Citing 6
Cited 1

Strictness analysis—a practical approach

Proc. of a conference on Functional programming languages and computer architecture
Abstract interpretation of declarative languages

Abstract interpretation of declarative languages
Programming from specifications (2nd ed.)

Programming from specifications (2nd ed.)
JSP and JSD: The Jackson Approach to Software Development

JSP and JSD: The Jackson Approach to Software Development
Composite Structure Design

Composite Structure Design
The Theory and Practice of Transforming Call-by-need into Call-by-value

Proceedings of the Fourth 'Colloque International sur la Programmation' on International Symposium on Programming

Evolutionary domains: a basis for sound software evolution

IWPSE '01 Proceedings of the 4th International Workshop on Principles of Software Evolution

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.