上田 賀一 | 茨城大学工学部情報工学科
スポンサーリンク
概要
関連著者
-
上田 賀一
茨城大学工学部情報工学科
-
上田 賀一
茨城大学大学院理工学研究科
-
上田 賀一
茨城大学
-
上田 賀一
茨城大
-
上田 賀一
茨城大学工学部
-
池田 陽祐
茨城大学大学院理工学研究科
-
畠山 正行
現在,茨城大学工学部情報工学科
-
三塚 恵嗣
株式会社日立システムズ
-
畠山 正行
茨城大学工学部
-
小飼 敬
茨城工業高等専門学校
-
三塚 恵嗣
茨城大学大学院理工学研究科
-
畠山 正行
茨城大学工学部情報工学科
-
佐藤 美穂
茨城大学
-
中野 利彦
日立製作所大みか工場
-
加藤木 和夫
茨城県立産業技術短期大学
-
高橋 勇喜
日立 大みか工場
-
佐藤 美穂
茨城大学大学院理工学研究科
-
田村 真吾
茨城大学大学院理工学研究科 現在,株式会社リコー
-
大木 幹生
群馬工業高等専門学校電子情報工学科
-
原 彬寛
茨城大学工学部情報工学科
-
田村 真吾
茨城大学大学院理工学研究科
-
大久保 訓
日立製作所
-
中野 利彦
日立製作所
-
加藤木 和夫
現在,茨城県立産業技術短期大学
-
池田 陽祐
現在,茨城大学大学院理工学研究科情報・システム科学専攻
-
三塚 恵嗣
現在,株式会社日立システムズ
-
大木 幹生
現在,群馬工業高等専門学校教育研究支援センター
-
上田 賀一
現在,茨城大学工学部情報工学科
-
大木 幹生
現在,群馬工業高等専門学校
-
畠山 正行
現在,茨城大学工学部
-
石井 直宏
名古屋工業大学知能情報システム学科
-
石田 直樹
茨城大学
-
川崎 結花
茨城大学
-
寺中 慎介
茨城大学大学院理工学研究科
-
村上 祥平
茨城大学工学部
-
飯村 拓志
茨城大学
-
大月 康弘
茨城大学
-
石井 直宏
名古屋工業大学
-
中島 震
特集編集委員
-
中島 震
国立情報学研究所:総合研究大学院大学
-
清水 俊吾
名古屋工業大学知能情報システム学科
-
中島 震
国立情報学研究所 アーキテクチャ科学研究系:科学技術振興機構 Sorst
-
中島 震
情報・システム研究機構国立情報学研究所:科学技術振興機構さきがけ
-
須田 千賀子
茨城大学
-
影山 智一
茨城大学
-
高野 純知
茨城大学
-
森 淳郎
茨城大学
-
三塚 恵嗣
茨城大学大学院理工学研究科情報工学専攻
-
中島 震
情報・システム研究機構 情報学研
-
高橋 勇喜
日立製作所
-
柳 翔太
茨城大学
-
大久保 訓
株式会社日立製作所
-
高橋 勇喜
株式会社日立製作所
-
中野 利彦
株式会社日立製作所
-
大沼 侑司
茨城大学
-
寺島 正義
刈谷病院
-
中島 震
国立情報学研究所|総合研究大学院大学
-
中島 震
国立情報学研
-
中島 震
総合研究大学院大学|国立情報学研究所
-
大木 幹生
群馬工業高等専門学校教育研究支援センター
-
三塚 恵嗣
株式会社日立情報システムズ
-
池田 陽祐
茨城大学大学院理工学研究科博士後期課程情報・システム科学専攻
著作論文
- 演習教育を対象としたUML設計の詳細度判定手法の提案(オントロジ,教育(学生セッション))
- 組込みシステム設計のためのUML拡張とレビュー支援ツール(組込み(学生セッション))
- 形式手法Alloyを用いた図式モデルのための段階的検証方法(形式手法(2)(学生セッション))
- WEB議事録を用いたソフトウェア開発プロセスの管理(協調作業(1))
- UML設計を対象とした品質評価モデルの検討
- UMLモデルを対象にした設計品質評価のためのメトリクスの提案(モデルとメトリクス,プロジェクト管理とモニタリング,一般)
- 真性実世界と擬似実世界のオブジェクト指向モデリングの違いとその典型記述例での検証
- グラフィカルなモデル記述によるプロトタイピング支援システムの開発
- 周波数解析のためのComplex Demodulation法の改良
- 睡眠脳波解析における紡錘波の自動検出法
- 睡眠脳波における紡錘波の出現パタ-ンの推定
- 多チャネル脳波における睡眠紡錘波の出現形態の推定
- 睡眠紡錘波の周波数解析における計測手法の検討
- カルマンフィルタによる睡眠脳波中の紡錘波の分離とその認識
- 睡眠時における聴覚誘発電位の検出
- デバイス擬似コンポーネントに基づいたUML設計の検査手法の提案(検証・検査手法)
- デバイス擬似コンポーネントに基づいたUML設計の検査手法の提案(検証・検査手法)
- 実行履歴情報を用いたオブジェクト指向ソフトウェアテスト手法の提案
- UML設計に対するパターン指向リファクタリング適用の検討
- 初学者を対象とした段階的UML設計手法の提案
- UMLによる組込みシステム記述言語SysMLのモデル化の検討(モデルとメトリクス,プロジェクト管理とモニタリング,一般)
- 情報制御システム記述モデルの検証項目記述とSPINによる確認
- 情報制御システム記述言語RASYSによるモデル記述の網羅性検査ツールの開発
- 有限Alloy記述の段階的な構築について
- UMLとの比較に基づくオブジェクト指向分析設計記述言語OONJの評価
- UMLとの比較評価に基づくオブジェクト指向分析設計記述言語OONJの記述技法の特徴
- 実世界を直截に記述可能なOOJ記述環境の開発とその利用効果
- 離散構造化モデル記述言語系OOJの構築と効果的な利用法-分析からプログラムまでの一貫開発とV&V評価実現の検討-