自動生成された候補からの選択によるソフトウェア要求モデル構築とプログラム生成

• Item type: Trans(1)
• 公開日: 2003-11-15
• タイトル: 自動生成された候補からの選択によるソフトウェア要求モデル構築とプログラム生成
• タイトル / 言語: en
• タイトル: Selective Defining of Software Requirements Models and Program Generation
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 発表概要
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• 著者所属: 早稲田大学理工学部情報学科
• 著者所属: 早稲田大学大学院理工学研究科
• 著者所属(英): en
• 著者所属(英): Department of Information and Computer Science, Waseda Univeristy
• 著者所属(英): en
• 著者所属(英): Graduate School of Science and Engineering, Waseda University
• 著者名: 会田, 拓己; 大須賀, 節雄
• 著者名(英): Takumi, Aida; Setsuo, Ohsuga
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: コンピュータ技術の応用分野で利用されるソフトウェア要求仕様モデルの構築支援とプログラム生成手法を提案する．ソフトウェアの不具合の原因は，要求仕様の不正確さや誤解釈にあることが多い．ソフトウェア設計依頼者の分野における機能に関する領域知識を基に支援システムが自動的に要求仕様モデルの候補を複数生成する．その中から設計依頼者が最も要求に合致したモデルを選択する．要求モデル候補は機能モデルとして構成される．また，要求モデルは，プログラムとして成立するための制約を満たすように生成されるため，構造的な不正確さや矛盾は除去される．この結果，モデルはシミュレーションおよびプログラムへの変換が容易になる．一方，機能知識のみでは要求仕様モデルを1つに絞り込めないときに，明示的な知識によらず設計依頼者の選択行為に委ねることで，獲得が困難な領域知識を記述することなく設計に反映させることが可能になる．このように，コンピュータ技術知識による作業と要求仕様構築における専門領域知識による作業とを分離することで，コミュニケーションギャップに起因する不具合を減らすことが可能になる．さらに，機能知識および要求仕様モデル構築事例，モデル選択行為の記録は，次回の設計に利用することが可能である．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: This presentation proposes a method of constructing a requirements model of a software which is used in an application domain, and translating a requirements model into a program. A failure of software is caused by incorrectness of a requirements model or misunderstanding by those who reads a requirements model. In order to create a correct requirements model without ambiguity, a supporting system that we propose builds requirements-model candidates. The most appropriate model is selected by a client who needs a software. The merits of the proposed method are the work division; the one division is the computer-domain work that structuring requirements models, which are satisfied with program constraints, from formal knowledge is accomplished with software expertise, and the other is the client’s domain work that defining domain-specific knowledge that can be repeatedly used as elements of requirements models and finding the best candidate with expertise in their mind, not described knowledge.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA11464814
• 書誌情報: 情報処理学会論文誌プログラミング（PRO）; 巻 44, 号 SIG15(PRO19), p. 71-71, 発行日 2003-11-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7802
• 出版者 / 言語: ja
• 出版者: 情報処理学会