小飼 敬 | 茨城工業高等専門学校
スポンサーリンク
概要
関連著者
-
小飼 敬
茨城工業高等専門学校
-
上田 賀一
茨城大学大学院理工学研究科
-
上田 賀一
茨城大学工学部
-
上田 賀一
茨城大
-
滝沢 陽三
茨城工業高等専門学校
-
滝沢 陽三
茨城高専
-
滝沢 陽三
茨城工高専
-
小飼 敬
茨城大学工学部
-
上田 賀一
茨城大学
-
小飼 敬
茨城大学 工学部 情報工学科
-
上田 賀一
茨城大学工学部情報工学科
-
山田 真
茨城工業高等専門学校
-
中野 喜之
茨城大学工学部:日立中部ソフトウェア(株)
-
上田 賀一
茨城大学 工学部 情報工学科
-
中野 利彦
日立製作所大みか工場
-
高橋 勇喜
日立 大みか工場
-
村田 和英
茨城工業高等専門学校電子情報工学科
-
大久保 訓
日立製作所
-
中野 利彦
日立製作所
-
塚本 明
茨城大学
-
三浦 靖一郎
福島工業高等専門学校 電気工学科
-
中野 喜之
茨城大学 工学部 情報工学科
-
金村 星吉
茨城大学 工学部 情報工学科
-
高橋 大輔
茨城大学 工学部 情報工学科
-
須田 猛
茨城工業高等専門学校
-
寺中 慎介
茨城大学大学院理工学研究科
-
村上 祥平
茨城大学工学部
-
木梨 充高
茨城大学工学部情報工学科
-
上田 賀一
Ibaraki University
-
野村 幸司
茨城大学工学部情報工学科
-
大塚 聖也
茨城大学工学部情報工学科
-
藤田 充典
茨城大学工学部情報工学科
-
平井 譲
茨城大学 工学部 情報工学科
-
根本 昌樹
福島工業高等専門学校
-
中島 震
特集編集委員
-
中島 震
国立情報学研究所:総合研究大学院大学
-
鈴木 三男
福島工業高等専門学校
-
村田 和英
茨城工業高等専門学校
-
菊池 大輔
茨城工業高等専門学校産業技術システムデザイン工学専攻
-
金村 星吉
茨城大学工学部情報工学科
-
中島 震
国立情報学研究所 アーキテクチャ科学研究系:科学技術振興機構 Sorst
-
中島 震
情報・システム研究機構国立情報学研究所:科学技術振興機構さきがけ
-
野口 拓也
茨城工業高等専門学校産業技術システムデザイン工学専攻
-
吉成 偉久
茨城工業高等専門学校
-
中島 震
情報・システム研究機構 情報学研
-
高橋 勇喜
日立製作所
-
柳 翔太
茨城大学
-
大久保 訓
株式会社日立製作所
-
高橋 勇喜
株式会社日立製作所
-
中野 利彦
株式会社日立製作所
-
大沼 侑司
茨城大学
-
藤澤 一博
茨城工業高等専門学校産業技術システムデザイン工学専攻
-
中島 震
国立情報学研究所|総合研究大学院大学
-
中島 震
国立情報学研
-
布施 雅彦
福島工業高等専門学校
-
小嶋 隆太
茨城工業高等専門学校産業技術システムデザイン工学専攻
-
平井 譲
茨城大学工学部:(現)三菱電機株式会社
-
越田 弘樹
茨城工業高等専門学校産業技術システムデザイン工学専攻
-
中島 震
総合研究大学院大学|国立情報学研究所
-
布施 雅彦
福島工業高等専門学校一般教科
-
中山 悟視
福島工業高等専門学校一般教科
-
根本 昌樹
福島工業高等専門学校一般教科
-
西山 公紀
福島工業高等専門学校一般英語
-
土川 洋史
茨城工業高等専門学校
-
小山 恭平
茨城大学
-
大森 祐貴
茨城大学
-
三浦 靖一郎
福島工業高等専門学校電気工学科
著作論文
- ディスクレスによるプログラミング演習室システム開発
- プロトタイピング指向言語Brambleの開発
- メタ階層アーキテクチャによるモデリングとリポジトリシステム
- オブジェクト指向モデル記述言語のインタプリタ処理系の開発
- 形式手法Alloyを用いた図式モデルのための段階的検証方法(形式手法(2)(学生セッション))
- デザインパターン利用促進のためのモデリング支援ツールの開発(開発支援(学生セッション))
- アクティビティ図主導のモデリング支援ツールの開発(協調開発(学生セッション))
- メタ階層を用いたプロトタイピング手法の提案
- ドメイン情報を利用した要求モデルの生成支援環境
- メタ階層化による図式モデルの形式的記述
- オブジェクト指向設計と実装のつながりに関する考察
- メタ階層モデル記述言語Brambleの分散オブジェクト環境への対応
- イントラネット形態によるソフトウェアリポジトリの構成の検討
- ディスクレスによるプログラミング演習室システムの開発
- B-013 YAMLを用いたJavaプログラムコードのリファクタリングの提案(B分野:ソフトウェア,一般論文)
- 安価なPCを用いたアプライアンス指向サーバの構築と運用
- 情報制御システム記述モデルの検証項目記述とSPINによる確認
- 情報制御システム記述言語RASYSによるモデル記述の網羅性検査ツールの開発
- 茨城高専における教育用電子計算機演習室の更新について
- B-012 SPINによる検証支援ツールの開発(ソフトウェア,一般論文)
- 2ZF-6 ケアプランにおけるアセスメント支援ツールの開発(健康・ケア情報システム,学生セッション,コンピュータと人間社会)
- 5R-2 ウェブクリッピングによる情報収集を支援するアプリケーションの開発(Web応用,学生セッション,データベースとメディア)
- B-013 VDMによる検証支援ツールの開発(ソフトウェア,一般論文)
- 有限Alloy記述の段階的な構築について
- ディスクレスによるプログラミング演習室システムの構築
- 複数の分野の混成グループによるソフトウェア開発の方法論に関する検討
- 情報制御システムのモデル検査における反例分析支援ツールの開発
- 福島・茨城両高専における外部電子メールシステムと学内SNS の導入の有効性について