オブジェクト指向設計における一貫性チェックについて

スポンサーリンク

概要

• 論文の詳細を見る
• 一般社団法人情報処理学会の論文
• 1998-03-17

著者

• 宇都宮 公訓

  波大学電子・情報工学系

• 宇都宮 公訓

  筑波大学電子・情報工学系

• 原 勝彦

  筑波大学第三学群情報学類

関連論文

• OMTへの構造化言語の導入と一貫性支援について
• モジュールの予見性を評価する一方法
• 3.3.39 高並列計算機のアーキテクチャに関する基礎的研究(3.3 経常研究,3. 研究業務)
• 3.3.34 高並列計算機のアーキテクチャに関する基礎的研究(3.3 経常研究,3. 研究業務)
• 3.3.42 高並列計算機のアーキテクチャに関する基礎的研究(3.3 経常研究,3. 研究業務)
• 3.3.39 災害現象の動的シミュレーション手法の開発研究(II)(3.3 経常研究,3. 研究業務)
• 状態機械を用いた分析設計を支援するシステムについて
• 衛星データ解析手法の知的検索システムについて
• 3.3.39 災害現象の動的シミュレーション手法の開発研究(II)(3.3 経常研究,3. 研究業務)
• 構造化分析用ミニ仕様書チェッカについて
• オブジェクト指向設計における一貫性チェックについて
• OMTにおけるモデルの一貫性について
• 命令セットアーキテクチャ 5. 命令セットアーキテクチャの評価 (命令セットアーキテクチャ)
• 萩原 宏 著, "マイクロプログラミング", 産業図書, A5判, 343p, \3,300, 1977
• FORTRAN型フローチャート言語FFLの設計と試作
• OMTにおけるオブジェクト設計の一貫性チェックについて
• プログラム実行監視システム用コンパイラとシミュレータについて
• プログラム実行監視用コードの生成について
• 74-3 多数多比較のためのサーチメモリ
• マイクロプログラミング特集号を出すにあたって (マイクロプログラミング)
• プログラム解析システム : PANSY
• 71-6 インターリーブド記憶組織に関する研究
• 70-52 EXCLUSIVE OR, LOGICAL EQUIVALENCEスイッチング回路の最小化
• 70-51 主項を生成するための新しいアルゴリズム
• 70-54 ディジタルシステム設計言語の試み
• 70-50 スイッチング関数のDisjunctive Decomposition を求める一方法
• 70-47 ISDS : 計算機命令の集合を設計するプログラム
• 70-46 プロセス制御用言語の試み
• 70-31 ファン・インを限定されたNANDネット・ワークの設計自動化
• 70-25 診断用テストパターン発生の一方法
• 70-24 分割リスト技法による2段ANDORネットワーク構成法
• 70-18 論理設計自動発生プログラム(ALERT)で用いている手法
• 70-12 発見的方法によるスイッチング関数式の簡単化
• 70-5 多出力組合せ論理を構成するアルゴリズム
• 70-4 小型計算機の自動チェック
• 69-31 2段多出力スイッチング回路の計算機による簡略化
• 69-27 計算機によるブール関数略最小化のアルゴリズム
• 68-44. 計算機による計算機システム評価シミュレーション
• 68-42. 機械診断の構造的理論

もっと見る 閉じる

スポンサーリンク