ログイン 新規登録
言語:

WEKO3

  • トップ
  • ランキング


インデックスリンク

インデックスツリー

  • RootNode

メールアドレスを入力してください。

WEKO

One fine body…

WEKO

One fine body…

アイテム

  1. 全国大会
  2. 41回
  3. ソフトウェア工学

仕様獲得支援システム:K-SCORE(1) : システム概要と仕様実行部

https://ipsj.ixsq.nii.ac.jp/records/119511
https://ipsj.ixsq.nii.ac.jp/records/119511
94a6c051-37b1-413b-a2b1-01bff25e73d0
名前 / ファイル ライセンス アクション
KJ00003118607.pdf KJ00003118607.pdf (199.8 kB)
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
出版者 情報処理学会
戻る
0
views
See details
Views

Versions

Ver.1 2025-01-21 04:31:36.200547
Show All versions

Share

Mendeley Twitter Facebook Print Addthis

Cite as

1990, 仕様獲得支援システム:K-SCORE(1) : システム概要と仕様実行部: 情報処理学会, 131–132 p.

Loading...

エクスポート

OAI-PMH
  • OAI-PMH JPCOAR
  • OAI-PMH DublinCore
  • OAI-PMH DDI
Other Formats
  • JSON
  • BIBTEX

Confirm


Powered by WEKO3


Powered by WEKO3