WEKO3
-
RootNode
アイテム
仕様獲得支援システム:K-SCORE(1) : システム概要と仕様実行部
https://ipsj.ixsq.nii.ac.jp/records/119511
https://ipsj.ixsq.nii.ac.jp/records/11951194a6c051-37b1-413b-a2b1-01bff25e73d0
名前 / ファイル | ライセンス | アクション |
---|---|---|
![]() |
|
Item type | National Convention(1) | |||||
---|---|---|---|---|---|---|
公開日 | 1990-09-04 | |||||
タイトル | ||||||
タイトル | 仕様獲得支援システム:K-SCORE(1) : システム概要と仕様実行部 | |||||
言語 | ||||||
言語 | jpn | |||||
資源タイプ | ||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||
資源タイプ | conference paper | |||||
著者所属 | ||||||
(株)東芝システム・ソフトウエア技術研究所 | ||||||
著者所属 | ||||||
(株)東芝システム・ソフトウエア技術研究所 | ||||||
著者所属 | ||||||
(株)東芝システム・ソフトウエア技術研究所 | ||||||
論文抄録 | ||||||
内容記述タイプ | Other | |||||
内容記述 | 要求定義技術の研究は、かなり昔から行われている。しかし、方法論としての研究が多く、支援ツールで実用的なものの開発は少ない.その理由は、要求定義が行われるその場所で使える安価な計算機がなかったことが大きい。しかし、最近では、ラップトップ型のワークステーションが普及しつつあり、こう言った意味での障害は減少している。これにともない、支授ツールも従来のグラフィックエディタ+チェッカのレベルから、より積櫨的な意味での仕様獲得支援ツールの研究が盛んになってきている。我々も、こう言った観点で仕様獲得技術を研究中であるが、その一環として仕様の不具合点を効率的に発見する仕様デバッガの研究は既に報告した。本報告では、仕様獲得支援システムK-SCORE(Knowledge-based support system for Specfication C0nstruction,Refinement and Execution)全体の考え方及びシステム概要を報告する。また、そのサブシステムの一つである仕様実行部に付いて、仕様の一部である状態遷移図の獲得手法の例を示す。本システムの残りの二つのサブシステムについては連続した報告で述べる。 | |||||
書誌レコードID | ||||||
収録物識別子タイプ | NCID | |||||
収録物識別子 | AN00349328 | |||||
書誌情報 |
全国大会講演論文集 巻 第41回, 号 ソフトウェア工学, p. 131-132, 発行日 1990-09-04 |
|||||
出版者 | ||||||
言語 | ja | |||||
出版者 | 情報処理学会 |