No |
68123 |
標題(和) |
形式仕様の開発における機能要求への反映 |
標題(英) |
Changes in Function Requirement by Modification of Formal Specification |
研究会名(和) |
交換システム; 情報ネットワ-ク; 通信方式 |
研究会名(英) |
Switching Systems Engineering; Information Networks; Communieation Systems |
開催年月日 |
1995-09-28 |
終了年月日 |
1995-09-29 |
会議種別コード |
2 |
共催団体名(和) |
|
資料番号 |
SSE95-65 // IN95-36 // CS95-85 |
抄録(和) |
本稿では,合成された形式仕様を変更した時にその変更を機能要求に反映するアルゴリズムを提案し,そのアルゴリズムを実装した開発支援環境を示す. |
抄録(英) |
In development of sophisticated system,it takes a lot of efforts to describe a specification of the whole system from user requirements.One reason is ambiguity and inconsistency in the requirements.In addition to this,the whole cannot be obtained at once.As a solution to this problem,we had proposed a methodology for the automatic synthesis of system specification by formally spcifying the requirements in "functions" form.However,in the case that the synthesized specification is modeified during the veridication process,this modified part will be lost whenever the specification is resynthesized according to the changes in requirements.In this paper,we proposed an algorithm which maps any change in synthesized specification to the function requirements.Futhermore,a support environment to develop the formal specification from function requirements is implemented. |
収録資料名(和) |
電子情報通信学会技術研究報告 |
収録資料の巻号 |
Vol.95 No.266〜271 |
ページ開始 |
67 |
ページ終了 |
72 |
キーワード(和) |
支援環境 |
キーワード(英) |
Support Environment |
本文の言語 |
JPN |
著者(和) |
白鳥則郎 |
著者(ヨミ) |
シラトリノリオ |
著者(英) |
Shiratori Norio |
所属機関(和) |
山形大学工学部電子工学科 |
所属機関(英) |
Department of Electrical Engineering,Faculty of Engineering,Yamagata University |
著者(和) |
神長裕明 |
著者(ヨミ) |
カミナガヒロアキ |
著者(英) |
Kaminaga Hiroaki |
所属機関(和) |
山形大学工学部電子工学科 |
所属機関(英) |
Department of Electrical Engineering,Faculty of Engineering,Yamagata University |
著者(和) |
高橋薫 |
著者(ヨミ) |
タカハシカオル |
著者(英) |
Takahashi Kaoru |
所属機関(和) |
仙台電波工業高等専門学校 |
所属機関(英) |
Sendai National College of Technology |
著者(和) |
臼井伸幸 |
著者(ヨミ) |
ウスイノブユキ |
著者(英) |
Usui Nobuyuki |
所属機関(和) |
東北大学電気通信研究所 |
所属機関(英) |
Research Institute of Electrical Communication,Tohoku University |