オブジェクト指向に基づく要求記述からの形式的仕様の導出手法
スポンサーリンク
概要
- 論文の詳細を見る
コンピュータによるソフトウェア開発の支援環境が整備されつつあり,要求定義のための優れた表記法が考え出された.しかしそれらの表記法を用いた定義はまだ開発者の手によるものが主流であり,要求者の要求が十分に反映されずに開発が進むことが多い.このため自然言語による要求記述から初期の形式的仕様を生成する手法が必要になる.特に開発パラダイムがオブジェクト指向である場合,実世界の対象を記述から直接抽出できれば非常に有利である.本研究は,日本語で書かれた非形式的な要求記述からオブジェクトモデル化技法(OMT)で使用されるオブジェクトモデルの情報を直接抽出する手法およびその支援システムを提案する.
- 一般社団法人情報処理学会の論文
- 1993-09-21
著者
関連論文
- MASの情報共有のための記述言語SMASHの提案(学生セッション,一般)
- UMLとSimulinkのモデル変換手法の検討
- フィードバック情報収集機能の組み込み可能なフレームワークの開発(協調作業(2))
- アスペクト指向を用いたマッシュアップ構築支援システムの開発(Webサービス・システム連携(学生セッション))
- 演習教育を対象としたUML設計の詳細度判定手法の提案(オントロジ,教育(学生セッション))
- オブジェクト指向設計の構造的欠陥検出モデルの検討(レビュー,品質(学生セッション))
- 組込みシステム設計のためのUML拡張とレビュー支援ツール(組込み(学生セッション))
- ドメイン情報を利用した要求モデルの生成支援環境
- WEB議事録を用いたソフトウェア開発プロセスの管理(協調作業(1))
- 真性実世界と擬似実世界のオブジェクト指向モデリングの違いとその典型記述例での検証
- プロトタイピングのためのモデル記述言語と支援環境
- 異機種分散のためのクラス管理サーバ方式の提案
- 実行履歴情報を用いたオブジェクト指向ソフトウェアテスト手法の提案
- UML設計に対するパターン指向リファクタリング適用の検討
- 初学者を対象とした段階的UML設計手法の提案
- オブジェクト指向開発法によるグル-プウェア開発基盤モデルの提案
- カスタマイズ可能なダイアグラム自動レイアウトツールの設計と試作
- ソフトウェアリポジトリ構築のためのファセット分類アプローチ
- 紙面の地盤情報を電子化する技術開発と今後の方向性 (特集 地盤情報) -- (各組織での取組み)
- UMLによる組込みシステム記述言語SysMLのモデル化の検討(モデルとメトリクス,プロジェクト管理とモニタリング,一般)
- B-12 顧客によるソフトウェア要求定義のための方法論の考察(開発技術,B.ソフトウェア)
- 保守過程における自然言語を用いた要求記述支援システムの検討
- 顧客による要求分析のための手法とその支援システム
- 要求仕様導出支援システムにおける辞書構築手法
- 自然言語記述による要求仕様導出支援システムの提案
- 要求仕様からモデル図情報を抽出するシステムDESPER
- 要求者支援のための記述解析システムASREDの開発
- 図式的プロセス記述によるアプリケーション自動/対話実行支援システムの設計
- オブジェクト指向パラダイムに基づくプログラミング言語の視覚化
- メタモデルに基づくプロセスモデルの記述と実行
- オブジェクト指向に基づく要求記述からの形式的仕様の導出手法
- オブジェクト指向に基づく要求記述からの形式的仕様の導出手法
- 情報制御システム記述モデルの検証項目記述とSPINによる確認
- 情報制御システム記述言語RASYSによるモデル記述の網羅性検査ツールの開発
- UMLモデリングにGUI設計の取り込みを考慮した設計支援ツールの提案(学生セッション H_開発支援)
- ビジュアル・プログラミングのための制御構造のオブジェクト化と視覚化
- 有限Alloy記述の段階的な構築について
- UMLとの比較に基づくオブジェクト指向分析設計記述言語OONJの評価
- UMLとの比較評価に基づくオブジェクト指向分析設計記述言語OONJの記述技法の特徴
- 実世界を直截に記述可能なOOJ記述環境の開発とその利用効果
- 離散構造化モデル記述言語系OOJの構築と効果的な利用法-分析からプログラムまでの一貫開発とV&V評価実現の検討-
- OOJ上に構築するソフトウェアV&Vのためのテスト環境の提案と実装
- V&V評価の仕組みを組み込んだOOJ記述環境の開発と評価
- 離散・構造化モデル記述言語系OOJの構築と科学技術計算教育への適用 -分析からプログラムまでの一貫開発とV&V評価実現の検討-
- 要求記述からオブジェクト構造による形式的仕様への導出について
- 情報制御システムのモデル検査における反例分析支援ツールの開発
- Simulinkモデルの品質特性分析支援ツールの開発と適用事例(一般)
- 実行履歴解析によるUMLシーケンス図の抽象化手法(一般)