WEKO3
アイテム
システム要求と形式仕様のやわらかい設計支援環境とその試作
https://ipsj.ixsq.nii.ac.jp/records/129822
https://ipsj.ixsq.nii.ac.jp/records/129822f8475906-30e3-4350-b798-5ed76e3ce84c
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
KJ00001330048.pdf (270.2 kB)
|
|
| Item type | National Convention(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 1996-03-06 | |||||
| タイトル | ||||||
| タイトル | システム要求と形式仕様のやわらかい設計支援環境とその試作 | |||||
| タイトル | ||||||
| 言語 | en | |||||
| タイトル | A Flexible Design Support Environment for System Requirements and Formal Specifications, and Its Prototyping | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||
| 資源タイプ | conference paper | |||||
| 著者所属 | ||||||
| 東北大学電気通信研究所/情報科学研究科 | ||||||
| 著者所属 | ||||||
| 東北大学電気通信研究所/情報科学研究科 | ||||||
| 著者所属 | ||||||
| 仙台電波工業高等専門学校 | ||||||
| 著者所属 | ||||||
| 山形大学工学部電子工学科 | ||||||
| 著者所属 | ||||||
| 東北大学電気通信研究所/情報科学研究科 | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| Reseach Institute of Electrical Communication, Graduate School of Information Sciences, Tohoku Univ. | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| Reseach Institute of Electrical Communication, Graduate School of Information Sciences, Tohoku Univ. | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| Sendai National College of Technology | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| Faculty of Engineering, Yamagata Univ. | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| Reseach Institute of Electrical Communication, Graduate School of Information Sciences, Tohoku Univ. | ||||||
| 論文抄録 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | システム設計工程における初期段階では,設計対象のシステムに対する機能要求が頻繁に追加・変更される.これら作業は,既に設計済みのシステムの再設計を必要とし,最悪の場合システム全体の再設計を必要とする.これらの設計作業を支援する一手法として,我々はやわらかい設計支援方法論の構築を目指している.この支援法の特徴は,次の3点にまとめることができる.(1)命題論理に基づいた機能要求記述法を用いてシステムを機能要求仕様化する.(2)このシステム要求仕様から,合成法を用いて,システムの動作仕様である形式仕様を自動合成する.(3)システム要求が変化した場合,これを合成法に基づいて自動的に形式仕様に反映させる.現在では,この開発法をより効果的に遂行するため,次の3つの手法に対して研究を行っている.(a)システム要求が含んでいる論理エラーの検証法,(b)形式仕様上での論理エラー訂正の機能要求仕様への反映法,(c)システム要求と形式仕様の詳細化法.本稿では,以上の手法を包括的に支援する設計支援環境と,その試作について述べる. | |||||
| 書誌レコードID | ||||||
| 収録物識別子タイプ | NCID | |||||
| 収録物識別子 | AN00349328 | |||||
| 書誌情報 |
全国大会講演論文集 巻 第52回, 号 ソフトウェア工学, p. 79-80, 発行日 1996-03-06 |
|||||
| 出版者 | ||||||
| 言語 | ja | |||||
| 出版者 | 情報処理学会 | |||||
