オブジェクトモデルの演繹的確認法とその有効性の検討
スポンサーリンク
概要
- 論文の詳細を見る
- 社団法人情報処理学会の論文
- 1998-10-05
著者
-
笠原 宏
東京電機大学大学院情報環境学研究科
-
笠原 宏
東京電機大学 工学部
-
久保田 吉彦
東京電機大学 工学部
-
上原 幹正
東京電機大学 工学部
-
増田 英孝
東京電機大学 工学部
-
久保田 吉彦
東京電機大学情報環境学部情報環境工学科
-
増田 英孝
東京電機大学未来科学部情報メディア学科
-
増田 英孝
東京電機大 工
-
増田 英孝
東京電機大学未来科学部
-
笠原 宏
東京電機大
関連論文
- 動的に有線網とのブリッジを提供する移動ホストの提案及び評価
- メッセージ駆動形IPコアインタフェースの一提案(アプリケーション1,FPGA応用及び一般)
- メッセージ駆動形IPコアインタフェース--任意精度計算機への適用 (コンピュータシステム)
- 任意精度対応準並列形乗除算機構の提案とRSA公開鍵暗号システムへの応用
- チップスライス化した高速RSA公開鍵暗号LSIの提案
- D-15-32 FPGA内実装によるマルチプロセッサユニットの基礎実習
- A-1-22 グリッドコンピュータと遺伝的アルゴリズムによる血管の回路モデルパラメータ高速決定法(A-1.回路とシステム,一般講演)
- D-7-3 グリッドシステムによる循環動態回路モデルパラメータ同定(D-7.MEとバイオサイバネティックスA(バイオサイバネティックス),一般講演)
- 拡張型動脈系電気回路モデルを用いた漢方内服時における行橈骨動脈圧波形変化の検討
- 五要素動脈系電気回路モデルを用いた人参湯・麻黄湯内服時における橈骨動脈圧波形の評価
- 橈骨動脈圧波形のローカリティによる形状分類法とその検討
- 橈骨動脈圧波形のローカリティによる血管硬化度の評価法とその検討
- MBE2000-49 五要素動脈系電気回路モデルを用いた麻黄湯内服時における橈骨動脈圧波形変化の評価
- MBE2000-48 橈骨動脈圧波形のローカリティによる血管年齢の評価法
- 橈骨動脈圧波形の局在する振幅変化による形状分類法
- 橈骨動脈圧波形のローカリティーによる形状分類法
- CIP法による壁面が振動する管内流れの並列計算
- 触覚センサシステムを用いた橈骨動脈圧波形の時間周期数解析による脈波形状の分類法
- 橈骨動脈圧波形の時間周波数解析と東洋医学の脈診法との対応
- 五要素電気回路モデルによる大動脈圧波形の非侵襲的推定法
- 超音波画像法を応用した脈診時における橈骨動脈周辺組織の変位量の定量化とその検討
- 橈骨動脈圧波形から導いた拡張型動脈系電気回路モデルによる循環動態の非侵襲的評価法
- 橈骨動脈における圧脈波波形の解析II
- 循環動態の無侵襲的測定のための橈骨動脈周辺組織の可視化
- 橈骨動脈圧波形から構築した五要素電気回路モデルによる循環動態の非侵襲的評価法
- 歪率による脈波形状の定量化法 : 工学的手法を用いた脈波形状の定量化
- 任意精度計算機アーキテクチャの提案(コンピュータシステム技術,FPGA応用及び一般)
- 規則性予見演算器(演算器最適化設計,FPGA応用及び一般)
- GALSシステムにおける非同期バスの実装(バス・配線アーキテクチャ,FPGA応用及び一般)
- 入出力間規則性予見方式による回路設計法 (集積回路)
- 入出力間規則性予見方式による回路設計法 (電子部品・材料)
- 規則性予見減算器
- 2C-8 インスタンスモデルベースのクラス図検証システムの構築
- 対話的にオブジェクトモデルを確認するためのインスタンス図導出システムの作成
- オブジェクトモデルの演繹的確認法とその有効性の検討
- オブジェクト指向開発技術の問題点の分岐と解決法の提案 : エレベータ作業計画作成システムの移植・拡張の事例による
- オブジェクトモデルの演繹的確認のためのインスタンス図生成手法
- オブジェクトモデル作成時の過程における四要素の役割分担についての考察
- オブジェクトモデル作成時の過程とその支援機能の検討
- オブジェクトモデルを構築する際に可能な支援機能の実装
- オブジェクトモデル構築の過程とその支援機能の検討
- 初心者を考慮したオブジェクト図エディタの構築
- 初心者を考慮したオブジェクト図エディタの検討
- フールエ解析による橈骨動脈脈圧脈波の定量化の有用性
- マルチユーザで利用可能なオブジェクト図エディタの構築
- アプリケーション実行時GUI部品カスタマイズ機能の評価実験
- グループ内でのOOA/OODのモデル構築を行なうための抽象化支援システム
- ユーザレベルでカスタマイズ可能なGUI部品の交換・付加機能
- 実アプリケーションを利用したユーザ自身によるGUIレイアウト変更実験
- ASIA(Available and selectable Interface Adaptor) : ユーザが状況に応じて選択可能なインタフェースアダプタ
- アプリケーション実行時GUIレイアウト変更機能の評価実験
- アプリケーション実行時 GUI レイアウト変更機能
- D-15-15 コラボレーションシステムを用いたコンピュータプログラミング教育その 2
- D-15-14 コラボレーションシステムを用いたコンピュータプログラミング教育その 1
- 完全自立形スケーラブルIPコアの設計法と楕円曲線暗号処理システムへの適用(組み込みシステム)
- システムLSIコアの各種盗用防止機構
- 超高精度整数乗算器の高速化とモジュール化
- D-6-12 バス形ネットワークにおけるアクセス権制御機構の一提案
- A-7-19 任意精度対応冗長2進除算器の公開鍵暗号処理ハードウェアへの応用
- 規則性予見演算器(演算器最適化設計,FPGA応用及び一般)
- GALSシステムにおける非同期バスの実装(バス・配線アーキテクチャ,FPGA応用及び一般)
- メッセージ駆動形IPコアインタフェースの一提案(アプリケーション1,FPGA応用及び一般)
- メッセージ駆動形IPコアインタフェースの一提案(アプリケーション1,FPGA応用及び一般)
- 規則性予見演算器(演算器最適化設計,FPGA応用及び一般)
- GALSシステムにおける非同期バスの実装(バス・配線アーキテクチャ,FPGA応用及び一般)
- メッセージ駆動形IPコアインタフェースの一提案(アプリケーション1,FPGA応用及び一般)
- 規則性予見演算器(演算器最適化設計,FPGA応用及び一般)
- GALSシステムにおける非同期バスの実装(バス・配線アーキテクチャ,FPGA応用及び一般)
- 完全自立形を指向したIPコアの設計法(システムLSIの応用と要素技術,専用プロセッサ,プロセッサ,DSP,画像処理技術,及び一般)
- 集積回路内IPコア間の暗号化通信方式(システムLSIの応用と要素技術,専用プロセッサ,プロセッサ,DSP,画像処理技術,及び一般)
- 完全自立形を指向したIPコアの設計法(システムLSIの応用と要素技術,専用プロセッサ,プロセッサ,DSP,画像処理技術,及び一般)
- 集積回路内IPコア間の暗号化通信方式(システムLSIの応用と要素技術,専用プロセッサ,プロセッサ,DSP,画像処理技術,及び一般)
- 完全自立形を指向したIPコアの設計法(システムLSIの応用と要素技術,専用プロセッサ,プロセッサ,DSP,画像処理技術,及び一般)
- 集積回路内IPコア間の暗号化通信方式(システムLSIの応用と要素技術,専用プロセッサ,プロセッサ,DSP,画像処理技術,及び一般)
- 橈骨動脈圧脈波解析による循環系薬剤の作用の非観血的評価
- 循環動態パラメータによる脈波形状の一定量化法 : 四要素集中定数モデルのパラメータを用いた脈波形状の定量化
- GALSシステムにおける非同期バスのFPGAによる実装(デザインガイア2009-VLSI設計の新しい大地)
- GALSシステムにおける非同期バスのFPGAによる実装(デザインガイア2009-VLSI設計の新しい大地)
- 任意精度対応準並列形乗除算機構の提案とRSA公開鍵暗号システムへの応用
- 任意精度計算機アーキテクチャの提案(コンピュータシステム技術,FPGA応用及び一般)
- 任意精度計算機アーキテクチャの提案(コンピュータシステム技術,FPGA応用及び一般)
- 任意精度計算機アーキテクチャの提案(コンピュータシステム技術,FPGA応用及び一般)
- メッセージ駆動形IPコアインタフェース : 任意精度計算機への適用(高性能コンピュータシステム,デザインガイア2009-VLSI設計の新しい大地-)
- 入出力間規則性予見方式による回路設計法(デザインガイア2009-VLSI設計の新しい大地)
- 入出力間規則性予見方式による回路設計法(デザインガイア2009-VLSI設計の新しい大地)
- VIPを用いた無線ネットワークのための移動計算機環境の実験
- P-17 橈骨動脈波解析による〓血評価の試み
- 任意精度計算機アーキテクチャの提案と試作 : メモリ管理機構について(高性能コンピュータシステム,デザインガイア2009-VLSI設計の新しい大地-)
- 任意精度計算機アーキテクチャの提案と試作 : 命令制御機構について(高性能コンピュータシステム,デザインガイア2009-VLSI設計の新しい大地-)
- ホスト移動を支援するプロキシサーバの実装とその評価
- ホスト移動を支援するプロキシ/リレーサーバを利用した拡張型移動ホスト
- ホスト移動を支援するプロキシサーバの提案
- B-7-73 移動機能を支援するプロキシサーバを利用した移動ホストの検討
- 人のファジィ的な感覚に合うメソッドの決定を行なうSmalltalk-80とその応用
- 冗長2進表現を用いた除算器のチップスライス化
- 冗長2進表現を用いた除算器のチップスライス化
- 冗長2進表現を用いた除算器のチップスライス化
- チップスライス化した高速RSA公開鍵暗号LSIの提案
- チップスライス化した高速RSA公開鍵暗号LSIの提案
- Smalltalk-80による知識に基づく図形変形機能