Incremental software development method based on abstract interpretation

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

Volumn , Issue , 1998, Pages 126-134

  Yoshioka, Nobukazu ^a   Suzuki, Masato ^a   Katayama, Takuya ^a  

^a JAPAN ADVANCED INSTITUTE OF SCIENCE AND TECHNOLOGY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; MODEL CHECKING; SPECIFICATIONS;

ABSTRACT INTERPRETATIONS; COMPLEX SOFTWARE; DESIGN ARTIFACTS; DESIGN ERRORS; DESIGN PHASE; INCREMENTAL SOFTWARE DEVELOPMENT; ITS DATA; STEPWISE REFINEMENT;

SOFTWARE DESIGN;

EID: 1442272526     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/iwssd.1998.667927     Document Type: Conference Paper

References (10)

1. Glenford J. Myers, editor. Composite / Structured Design. Litton Educational Publishing, 1978.
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. 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. John R.Cameron, editor. JSP And JSD: The Jack- son Approach to Software Development (Second Edi- tion). Michael Jackson Systems, Limited, 1989.
5. Nobukazu Yoshioka, Masato Suzuki, and Kakuya Katayama. Ability for Description of an Incremental Programming Method Based on Abstract Interpreta- tion(ISDR). Computer software, 14(2):85-89, 1997.
6. Lori A. Clarke. A System to Generate Test Data and Symbolically Execute Programs. IEEE trans. of soft- ware engineering, SE-2(3):215-222, 1976.
7. William E. Howden. Symbolic Testing and the DIS- SECT Symbolic Evaluation System. IEEE trans. of software engineering, SE-3(4):266-278, 1977.
8. Samon Abramsky and Chris Hankin, editors. Abstract Interpretation of Declarative Language. Ellis Horwood Limited, 1987.
9. Carroll Morgan, editor. Programming from Specications Second Edition. Prentice Hall, 1994.
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.