TY - GEN
T1 - Knowledge acquisition and integration on specification change- A method for systematic reuse
AU - Matsuura, S.
AU - Honiden, S.
N1 - Funding Information:
This work was performed under the management of Information-tedmology Promotion Agency, Japan(IPA) as a part of the Industrial Science and Technology Frontier Program "New Models for Software Architectures" sponsored by NED0 (New Energy and Industrial technology Development Organization).
Publisher Copyright:
© 1995 IEEE.
Copyright:
Copyright 2019 Elsevier B.V., All rights reserved.
PY - 1995
Y1 - 1995
N2 - Our research goal as to construct an environment that mechanically supports human intellectual activities through software development with reuse. We propose a model of software development with systematic reuse in which the existent program can be altered to meet the given specification change using the program deriving process from the specification. In this paper, we consider what kinds of knowledge must be acquired when a specification is changed and how they have to be integrated so well as to implement our method on a computer system. In particular, we focus on the following points in terms of program synthesis. First, a wide spectrum language Extended ML defines a framework an which specifications, program and the elaborate deriving process can be expressed formallg on a computer system. This forms a basic unit of reusable knowledge for specification change. Second, a reuse process as formulated in which a new requirement changes the existent specification and its program is altered to meet this requirement correctly. Third we consider some conditions and a mechanism by which the knowledge can be integrated so as to obtaan an objective program automatically, amplying that we will get profit from reusing the knowledge.
AB - Our research goal as to construct an environment that mechanically supports human intellectual activities through software development with reuse. We propose a model of software development with systematic reuse in which the existent program can be altered to meet the given specification change using the program deriving process from the specification. In this paper, we consider what kinds of knowledge must be acquired when a specification is changed and how they have to be integrated so well as to implement our method on a computer system. In particular, we focus on the following points in terms of program synthesis. First, a wide spectrum language Extended ML defines a framework an which specifications, program and the elaborate deriving process can be expressed formallg on a computer system. This forms a basic unit of reusable knowledge for specification change. Second, a reuse process as formulated in which a new requirement changes the existent specification and its program is altered to meet this requirement correctly. Third we consider some conditions and a mechanism by which the knowledge can be integrated so as to obtaan an objective program automatically, amplying that we will get profit from reusing the knowledge.
UR - http://www.scopus.com/inward/record.url?scp=35848968552&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=35848968552&partnerID=8YFLogxK
U2 - 10.1109/APSEC.1995.496985
DO - 10.1109/APSEC.1995.496985
M3 - Conference contribution
AN - SCOPUS:35848968552
T3 - Proceedings - 1995 Asia Pacific Software Engineering Conference, APSEC 1995
SP - 364
EP - 373
BT - Proceedings - 1995 Asia Pacific Software Engineering Conference, APSEC 1995
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 1995 Asia Pacific Software Engineering Conference, APSEC 1995
Y2 - 6 December 1995 through 9 December 1995
ER -