Cited By
View all- Katayama TTamai T(2001)Evolutionary domainsProceedings of the 4th International Workshop on Principles of Software Evolution10.1145/602461.602484(107-113)Online publication date: 10-Sep-2001
Incremental Software Development Method Based on Abstract Interpretation
Authors: 
N. Yoshioka, M. Suzuki, T. KatayamaAuthors Info & Claims
Page 126
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.
References
[1]
{1} Glenford J. Myers, editor. Composite / Structured Design. Litton Educational Publishing, 1978.
[2]
{2} A. Mycroft. The theory and practice of transforming call-by-need into call-by-value. In Proceedings of the 4th International Symposium on Programming/Colloque International sur la Programmation, volume 83 of LNCS, pages 269-281. Springer, 1980.
[3]
{3} C. Clack and S. L. Peyton Jones. Strictness analysis - A practical approach. In Functional Programming Languages and Computer Architecture, volume 201 of LNCS, pages 35-49. Springer, 1985.
[4]
{4} John R. Cameron, editor. JSP And JSD: The Jackson Approach to Software Development (Second Edition) . Michael Jackson Systems, Limited, 1989.
[5]
{5} Nobukazu Yoshioka, Masato Suzuki, and Kakuya Katayama. Ability for Description of an Incremental Programming Method Based on Abstract Interpretation(ISDR). Computer software, 14(2):85-89, 1997.
[6]
{6} Lori A. Clarke. A System to Generate Test Data and Symbolically Execute Programs. IEEE trans. of software engineering, SE-2(3):215-222, 1976.
[7]
{7} William E. Howden. Symbolic Testing and the DISSECT Symbolic Evaluation System. IEEE trans. of software engineering, SE-3(4):266-278, 1977.
[8]
{8} Samon Abramsky and Chris Hankin, editors. Abstract Interpretation of Declarative Language. Ellis Horwood Limited, 1987.
[9]
{9} Carroll Morgan, editor. Programming from Specifications Second Edition. Prentice Hall, 1994.
[10]
{10} Nobukazu Yoshioka, Masato Suzuki, and Kakuya Katayama. An Incremental Programming Using Abstract Interpretation. In Foundation of Software Engineering III, pages 142-145. JSSST, 1996.
- Incremental Software Development Method Based on Abstract Interpretation
Recommendations
Correct Architecture Refinement
Special issue on software architectureA method is presented for the stepwise refinement of an abstract architecture into a relatively correct lower level architecture that is intended to implement it. A refinement step involves the application of a predefined refinement pattern that ...
Trace-Based Abstract Interpretation of Operational Semantics
We present trace-based abstract interpretation, a unification of several lines of research on applying Cousot-Cousot-style abstract interpretation a.i. to operational semantics definitions (such as flowchart, big-step, and small-step semantics) that ...
π-ARL: an architecture refinement language for formally modelling the stepwise refinement of software architectures
A key aspect of the formal development of any software system is the specification and stepwise refinement of its architecture. In a stepwise refinement, a sequence of steps starting from an abstract specification of the architecture leads to a concrete,...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
April 1998
164 pages
ISBN:0818684399
Copyright © Copyright (c) 1998 Institute of Electrical and Electronics Engineers, Inc. All rights reserved.
Sponsors
Publisher
IEEE Computer Society
United States
Publication History
Published: 16 April 1998
Check for updates
Author Tags
Qualifiers
- Article
Conference
IWSSD98
Sponsor:
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 270Total Downloads
- Downloads (Last 12 months)36
- Downloads (Last 6 weeks)3
Reflects downloads up to 20 Dec 2024
Other Metrics
Citations
Cited By
View all- Katayama TTamai T(2001)Evolutionary domainsProceedings of the 4th International Workshop on Principles of Software Evolution10.1145/602461.602484(107-113)Online publication date: 10-Sep-2001
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in