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

S. Matsuura, S. Honiden

研究成果: Conference contribution

1 被引用数 (Scopus)

抄録

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.

本文言語English
ホスト出版物のタイトルProceedings - 1995 Asia Pacific Software Engineering Conference, APSEC 1995
出版社Institute of Electrical and Electronics Engineers Inc.
ページ364-373
ページ数10
ISBN(電子版)0818671718, 9780818671715
DOI
出版ステータスPublished - 1995 1 1
外部発表はい
イベント1995 Asia Pacific Software Engineering Conference, APSEC 1995 - Brisbane, Australia
継続期間: 1995 12 61995 12 9

出版物シリーズ

名前Proceedings - 1995 Asia Pacific Software Engineering Conference, APSEC 1995

Conference

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

ASJC Scopus subject areas

  • Software
  • Safety, Risk, Reliability and Quality

フィンガープリント 「Knowledge acquisition and integration on specification change- A method for systematic reuse」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル