Software Prototyping with Reusable Components
スポンサーリンク
概要
- 論文の詳細を見る
Recently, a prototyping method has attracted attention as a software specification method. Though many methods have been proposed, no standard method has been established. This paper proposes a prototyping method with reusable components based on knowledge engineering. This method provides support to even nonexpert personnel in selecting and combining individual software components to satisfy their requirements rapidly. The proposed method is realized by an expert system, which consists of a component inference part, a parameter inference part, and an execution part. The component inference part selects the appropriate components to satisfy a user's requirement, and to determine the purpose of combining components. The parameter inference part combines parameters based on logical attribute and physical attribute. The execution part activates and carries out the roles indicated in the combined components. As an application example, an image processing expert system is described.
- 一般社団法人情報処理学会の論文
- 1987-01-31
著者
-
Sueda Naomichi
Systems & Software Engineering Division Toshiba Corporation
-
Hoshi Akira
Systems & Software Engineering Division Toshiba Corporation
-
Uchihira N
Toshiba Corp. Kawasaki‐shi Jpn
-
HONIDEN SHINICHI
Systems & Software Engineering Division, Toshiba Corporation
-
UCHIHIRA NAOSHI
Systems & Software Engineering Division, Toshiba Corporation
-
MIKAME KAZUO
Systems & Software Engineering Division, Toshiba Corporation
-
Mikame Kazuo
Systems & Software Engineering Division Toshiba Corporation
-
Honiden Shinichi
Systems & Software Engineering Division Toshiba Corporation
-
Uchihira Naoshi
System Engineering Laboratory Of Corporate Research And Development Center Toshiba Corporation
関連論文
- Software Prototyping with Reusable Components
- Practical Program Validation for State-Based Reactive Concurrent Systems : Harmonization of Simulation and Verification
- Special Section on Concurrent System Technology
- A High-Level Petri Net for Accurate Modeling of Reactive and Concurrent Systems (Special Section on Description Models for Concurrent Systems and Their Applications)
- A Nonmonotonic Temporal Logic and Its Kripke Semantics
- An Analysis of Simulation between Petri Nets through Rewriting Logic
- Performance Evaluation by Qpit*i