Incremental software development method based on abstract interpretation

Nobukazu Yoshioka, Masato Suzuki, Takuya Katayama

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Citations (Scopus)

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.

Original languageEnglish
Title of host publicationProceedings of the 9th International Workshop on Software Specification and Design, IWSSD 1998
PublisherAssociation for Computing Machinery, Inc
Pages126-134
Number of pages9
ISBN (Electronic)0818684399, 9780818684395
DOIs
Publication statusPublished - 1998 Apr 16
Externally publishedYes
Event9th International Workshop on Software Specification and Design, IWSSD 1998 - Mie, Japan
Duration: 1998 Apr 161998 Apr 18

Publication series

NameProceedings of the 9th International Workshop on Software Specification and Design, IWSSD 1998

Conference

Conference9th International Workshop on Software Specification and Design, IWSSD 1998
Country/TerritoryJapan
CityMie
Period98/4/1698/4/18

ASJC Scopus subject areas

  • Computer Science Applications
  • Software

Fingerprint

Dive into the research topics of 'Incremental software development method based on abstract interpretation'. Together they form a unique fingerprint.

Cite this