Semi-Automatic Program Construction from Specifications Using Library Modules

Authors:
Fujio Nishida;Shinobu Takamatsu;Yoneharu Fujita;Tadaaki Tani
Affiliations:
Fukui Institute of Technology, Fukui, Japan;Univ. of Osaka Prefecture, Osaka, Japan;Oita Univ., Oita, Japan;Univ. of Osaka Prefecture, Osaka, Japan
Venue:
IEEE Transactions on Software Engineering
Year:
1991

Citing 13
Cited 7

Domain-Specific Automatic Programming

IEEE Transactions on Software Engineering - Special issue on artificial intelligence and software engineering
Specification directed module testing

IEEE Transactions on Software Engineering
Generation and consistency checking of design and program structures

IEEE Transactions on Software Engineering
Software bases and software archives: alternatives to support software reuse

ACM '87 Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow
A Machine-Oriented Logic Based on the Resolution Principle

Journal of the ACM (JACM)
A Complete Mechanization of Second-Order Type Theory

Journal of the ACM (JACM)
Program Transformation Systems

ACM Computing Surveys (CSUR)
On the criteria to be used in decomposing systems into modules

Communications of the ACM
Program development by stepwise refinement

Communications of the ACM
Studies in Automatic Programming Logic

Studies in Automatic Programming Logic
English-Japanese translation through case-structure conversion

COLING '80 Proceedings of the 8th conference on Computational linguistics
Construction of a modular and portable translation system

COLING '86 Proceedings of the 11th coference on Computational linguistics
Japanese-English translation through internal expressions

COLING '82 Proceedings of the 9th conference on Computational linguistics - Volume 1

Specification matching for software reuse: a foundation

SSR '95 Proceedings of the 1995 Symposium on Software reusability
Models and languages for component description and reuse

ACM SIGSOFT Software Engineering Notes
Techniques for semi-automated implementation of state-oriented, real-time formal specifications in Ada

WADAS '92 Proceedings of the ninth Washington Ada symposium on Ada: Empowering software users and developers
Storing and Retrieving Software Components: A Refinement Based System

IEEE Transactions on Software Engineering
A formal approach for specification and classification of software components

SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Predictive Software

Automated Software Engineering
Automatic construction and optimization of knowledge mesh for self-reconfiguration of knowledgeable manufacturing system

Expert Systems with Applications: An International Journal

Quantified Score

Hi-index	0.01

Visualization

Abstract

A method of semiautomatic specification refinement and program generation using library modules, is described. Users write their specifications and modify and rearrange them so that they can be refined with the aid of the library modules. When a specification is given, a refinement system, called MAPS (module-aided program construction system) searches for library modules applicable to the given specification, replaces the specification with a more detailed description written in the operation part of the modules, and converts the refined specification into a program written in a programming language designated by the user. Case-like expressions or pseudo-natural language expressions are used for describing user's specifications and specifications for library modules.