| 講演名 | 1995/9/28 要求と形式仕様のやわらかい設計支援システム 宗 国煥, 福沢 尚司, 高橋 薫, 神長 裕明, 白鳥 則郎, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 通信システム開発において、初期段階ではシステム要求が頻繁に修正され、その結果が全システムに影響を及ぼす。その理由で、我々は、システム要求の変化に応じて自動的にシステムの形式仕様を獲得するために、命題論理に基づいてシステム要求を記述する、新しい方法論を提案してきた。また、システム要求の論理的エラーを検証する方法と、仕様の詳細化についても研究してきた。本稿では、上記の方法論をやわらかく支援できる設計支援システムを構成することについて議論する。また、チェックした論理的エラーに対して、システム要求の段階に反映する方法についても述べる。 |
| 抄録(英) | In the field of communicating system development, it is often necessary to modify or change system requirements which may influence the whole system design in the early stage. Therefore, we have proposed a new flexible methodology for describing system requirements based on propositional logic, which copes with the modifications or changes in the system requirements, in order to obtain the formal specification of the system automatically. We have also proposed a validation method for system requirements that may contain some kinds of logical errors, and a refinement method of system requirement. In this paper, we will discuss a configuration of a flexible design support system suppoting our software development methodology. The reflection of detected logical errors will also be discussed for rewriting system requirements. |
| キーワード(和) | やわらかいソフトウェア開発法 / システム要求 / 形式仕様 / 設計支援システム |
| キーワード(英) | flexible software development method / system requirement / formal specification / design support system |
| 資料番号 | SSE95-67,IN95-38,CS95-87 |
| 発行日 |
| 研究会情報 | |
| 研究会 | SSE |
|---|---|
| 開催期間 | 1995/9/28(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Switching Systems Engineering (SSE) |
|---|---|
| 本文の言語 | ENG |
| タイトル（和） | 要求と形式仕様のやわらかい設計支援システム |
| サブタイトル（和） | |
| タイトル（英） | A Flexible Design Support System for Requirement and Formal Specification |
| サブタイトル（和） | |
| キーワード(1)（和/英） | やわらかいソフトウェア開発法 / flexible software development method |
| キーワード(2)（和/英） | システム要求 / system requirement |
| キーワード(3)（和/英） | 形式仕様 / formal specification |
| キーワード(4)（和/英） | 設計支援システム / design support system |
| 第 1 著者 氏名（和/英） | 宗 国煥 / K.H. Song |
| 第 1 著者 所属（和/英） | 東北大学電気通信研究所 情報科学研究科 Research Institute of Electrical Communication, Graduate School of Information Sciences, Tohoku University |
| 第 2 著者 氏名（和/英） | 福沢 尚司 / S. Fukuzawa |
| 第 2 著者 所属（和/英） | 東北大学電気通信研究所 情報科学研究科 Research Institute of Electrical Communication, Graduate School of Information Sciences, Tohoku University |
| 第 3 著者 氏名（和/英） | 高橋 薫 / K. Takahashi |
| 第 3 著者 所属（和/英） | 仙台電波工業高等専門学校 Sendai National College of Technology |
| 第 4 著者 氏名（和/英） | 神長 裕明 / H. Kaminaga |
| 第 4 著者 所属（和/英） | 山形大学工学部電子工学科 Faculty of Engineering, Yamagata Univ. |
| 第 5 著者 氏名（和/英） | 白鳥 則郎 / N. Shiratori |
| 第 5 著者 所属（和/英） | 東北大学電気通信研究所 情報科学研究科 Research Institute of Electrical Communication, Graduate School of Information Sciences, Tohoku University |
| 発表年月日 | 1995/9/28 |
| 資料番号 | SSE95-67,IN95-38,CS95-87 |
| 巻番号（vol） | vol.95 |
| 号番号（no） | 266 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |