Knowledge acquisition and integration on specification change- A method for systematic reuse

S. Matsuura, Shinichi Honiden

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Abstract

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.

Original languageEnglish
Title of host publicationProceedings - 1995 Asia Pacific Software Engineering Conference, APSEC 1995
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages364-373
Number of pages10
ISBN (Electronic)0818671718, 9780818671715
DOIs
Publication statusPublished - 1995 Jan 1
Externally publishedYes
Event1995 Asia Pacific Software Engineering Conference, APSEC 1995 - Brisbane, Australia
Duration: 1995 Dec 61995 Dec 9

Publication series

NameProceedings - 1995 Asia Pacific Software Engineering Conference, APSEC 1995

Conference

Conference1995 Asia Pacific Software Engineering Conference, APSEC 1995
CountryAustralia
CityBrisbane
Period95/12/695/12/9

Fingerprint

Knowledge acquisition
Specifications
Software engineering
Computer systems
Profitability

ASJC Scopus subject areas

  • Software
  • Safety, Risk, Reliability and Quality

Cite this

Matsuura, S., & Honiden, S. (1995). Knowledge acquisition and integration on specification change- A method for systematic reuse. In Proceedings - 1995 Asia Pacific Software Engineering Conference, APSEC 1995 (pp. 364-373). [496985] (Proceedings - 1995 Asia Pacific Software Engineering Conference, APSEC 1995). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/APSEC.1995.496985

Knowledge acquisition and integration on specification change- A method for systematic reuse. / Matsuura, S.; Honiden, Shinichi.

Proceedings - 1995 Asia Pacific Software Engineering Conference, APSEC 1995. Institute of Electrical and Electronics Engineers Inc., 1995. p. 364-373 496985 (Proceedings - 1995 Asia Pacific Software Engineering Conference, APSEC 1995).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Matsuura, S & Honiden, S 1995, Knowledge acquisition and integration on specification change- A method for systematic reuse. in Proceedings - 1995 Asia Pacific Software Engineering Conference, APSEC 1995., 496985, Proceedings - 1995 Asia Pacific Software Engineering Conference, APSEC 1995, Institute of Electrical and Electronics Engineers Inc., pp. 364-373, 1995 Asia Pacific Software Engineering Conference, APSEC 1995, Brisbane, Australia, 95/12/6. https://doi.org/10.1109/APSEC.1995.496985
Matsuura S, Honiden S. Knowledge acquisition and integration on specification change- A method for systematic reuse. In Proceedings - 1995 Asia Pacific Software Engineering Conference, APSEC 1995. Institute of Electrical and Electronics Engineers Inc. 1995. p. 364-373. 496985. (Proceedings - 1995 Asia Pacific Software Engineering Conference, APSEC 1995). https://doi.org/10.1109/APSEC.1995.496985
Matsuura, S. ; Honiden, Shinichi. / Knowledge acquisition and integration on specification change- A method for systematic reuse. Proceedings - 1995 Asia Pacific Software Engineering Conference, APSEC 1995. Institute of Electrical and Electronics Engineers Inc., 1995. pp. 364-373 (Proceedings - 1995 Asia Pacific Software Engineering Conference, APSEC 1995).
@inproceedings{731d22ab33db4318b5e267b088ed87cb,
title = "Knowledge acquisition and integration on specification change- A method for systematic reuse",
abstract = "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.",
author = "S. Matsuura and Shinichi Honiden",
year = "1995",
month = "1",
day = "1",
doi = "10.1109/APSEC.1995.496985",
language = "English",
series = "Proceedings - 1995 Asia Pacific Software Engineering Conference, APSEC 1995",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "364--373",
booktitle = "Proceedings - 1995 Asia Pacific Software Engineering Conference, APSEC 1995",

}

TY - GEN

T1 - Knowledge acquisition and integration on specification change- A method for systematic reuse

AU - Matsuura, S.

AU - Honiden, Shinichi

PY - 1995/1/1

Y1 - 1995/1/1

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.

ER -