Incremental software development method based on abstract interpretation

Nobukazu Yoshioka, Masato Suzuki, Takuya Katayama

研究成果: Conference contribution

4 被引用数 (Scopus)

抄録

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.

本文言語English
ホスト出版物のタイトルProceedings of the 9th International Workshop on Software Specification and Design, IWSSD 1998
出版社Association for Computing Machinery
ページ126-134
ページ数9
ISBN(電子版)0818684399, 9780818684395
DOI
出版ステータスPublished - 1998 4月 16
外部発表はい
イベント9th International Workshop on Software Specification and Design, IWSSD 1998 - Mie, Japan
継続期間: 1998 4月 161998 4月 18

出版物シリーズ

名前Proceedings of the 9th International Workshop on Software Specification and Design, IWSSD 1998

Conference

Conference9th International Workshop on Software Specification and Design, IWSSD 1998
国/地域Japan
CityMie
Period98/4/1698/4/18

ASJC Scopus subject areas

  • コンピュータ サイエンスの応用
  • ソフトウェア

フィンガープリント

「Incremental software development method based on abstract interpretation」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル