オブジェクト指向分析における機能モデルの正当性検証手法
スポンサーリンク
概要
- 論文の詳細を見る
オブジェクト指向分析では(1)オブジェクト間の関連を表すモデル,(2)システムの動的な振舞いを表すモデル,(3)システムにおけるデータの変換過程を表す機能モデルを導くことを目標としている.これらのモデルは,あるシステムを異なる観点から眺めたものであり,モデル間に矛盾があってはならない.しかし,人手でモデルの正当性やモデル間の整合性をチェックすることは,大変な労力をともなうため,これらを計算機支援によりチェックすることで,より正確なモデルを容易に作成することができる.本研究では,データの移動や変化をアニメーションとして表示することによって,機能モデルの正当性を検証するとともに,機能モデルと残る2つのモデル間の整合性を利用者に確認してもらう手法を提案する.
- 一般社団法人情報処理学会の論文
- 1993-09-27
著者
-
星野 聰
京都大学名誉教授
-
服部 芳明
(株) 日立製作所 システム開発研究所
-
星野 聰
京都大学大型計算機センター
-
星野 聰
京都大学
-
大西 淳
京都大学大型計算機センター
-
大西 淳
京都大学 工学部
-
服部 芳明
京都大学
関連論文
- 重点領域研究「沖縄の歴史情報研究」の課題と研究成果
- 要求フレームに基づいたソフトウェア要求仕様化技法
- 要求定義のための要求フレーム
- 直接実行可能な日本語要求仕様
- コンテクストを導入した要求定義の知的支援
- 実行時エラーのプログラム相談システム『Consult:R』
- コンパイルエラーのプログラム相談システム『Consult:C』の評価
- Consult(コンパイル編)のシステム化について
- プログラム相談プロジェクトConsultの全体構想
- FORTRANコンパイルエラーに対するプログラム相談の自動化
- オブジェクト指向分析における機能モデルの正当性検証手法
- ビジュアルな仕様言語処理系の開発
- ビデオ撮影による古文書の効率的画像入力法と自動接続処理 (人文科学とコンピュータ)
- 歴史研究への期待 (特集 日本史研究の情報化)
- 文化によるインタ-ネット利用の相違について (特集 インタ-ネットと学術情報)
- ビデオによる古文書の効率的画像入力法と自動接続処理
- 映像データの収集利用方式の開発
- 学術情報データベースの構成と利用 日本史データベース (学術情報データベースの構成と利用)
- 歴史研究と計算機利用 : 古典テキストの処理 ( 『情報について考える』)
- INFORMANT(インフォーマント)4(2)掲載記事紹介 : 複数の歴史書のデータベース化と索引の作成・利用
- タイ語字書の入力法と入力特性
- 史書の本文の研究を支援するツールについて
- 漢籍(樊南文集)のデータベース化と冊子索引作成(p.40〜75) : "INFORMANT"3(1)(1985.03)掲載論文要約
- 東洋学文献類目データベースの研究と開発
- 中国学へのデータベースの応用 : 第13回ドクメンテーション・シンポジウム概要
- 科学情報デ-タベ-ス
- 行列の固有値固有ベクトル計算ライブラリの問題点 (数値計算のアルゴリズム)
- Fortranの最適化と数値計算 (数値計算のアルゴリズムの研究)
- Davies, Swann, Campey法による関数の極小化の一解析 (科学計算基本ライブラリーのアルゴリズム)
- ライブラリ作成上の問題点について (科学計算基本ライブラリーのアルゴリズムの研究会報告集)
- LZWテキスト圧縮における静的辞書の利用方式
- 法隆寺献納宝物の香木の刻銘と焼印について
- 計算機可読形テキストによる古代の休日の分析 : 第18回ドクメンテーションシンポジュウム発表内容
- オブジェクト指向分析における機能モデル検証支援
- オブジェクト指向分析におけるモデル間の整合性検証支援
- ビジュアルなソフトウェア要求定義支援
- ビジュアルな要求言語
- 簡単な日本経済モデル解釈のためのエキスパートシステム
- ソフトウェア要求定義のためのコミュニケーションモデル
- ビデオ画像利用のための経済的なシステム
- 情報の電子化技術－入門から応用まで ８ デザイン技法:デザイン技法