本間 圭 | 宮城大学大学院事業構想学研究科
スポンサーリンク
概要
関連著者
-
本間 圭
宮城大学大学院事業構想学研究科
-
富樫 敦
宮城大学事業構想学部
-
富樫 敦
宮城大学大学院事業構想学研究科
-
富樫 敦
宮城大学大学院事業構想学部デザイン情報学科
-
高橋 薫
仙台高等専門学校
-
高橋 薫
東北大
-
高橋 薫
仙台電波工業高等専門学校
-
高橋 薫
仙台電波工業高等専門学校 情報通信工学科
-
和泉 諭
東北大学電気通信研究所
-
和泉 諭
東北大学電気通信研究所:東北大学大学院情報科学研究科
-
和泉 諭
東北大学電気通信研究所:情報科学研究科
-
阿部 雄貴
仙台高等専門学校
-
高橋 佳嗣
宮城大学大学院事業構想学研究科
-
北野 優
宮城大学事業構想学研究科
-
北野 優
宮城大学大学院事業構想学研究科:有限会社アイ・シー・ティ
-
本間 圭
宮城大学事業構想学研究科
-
高橋 佳嗣
宮城大学事業構想学研究科
-
北野 優
宮城大学大学院事業構想学研究科
-
上崎 達也
宮城大学大学院事業構想学研究科
-
宮内 一平
宮城大学大学院事業構想学研究科
-
齋藤 敬
宮城大学大学院事業構想学研究科
-
鈴木 博勝
宮城大学大学院事業構想学研究科
-
松田 豊臣
宮城大学大学院事業構想学研究科
-
鈴木 博勝
宮城大学事業構想学部事業計画学科
-
松田 豊臣
宮城大学事業構想学研究科情報デザイン領域システム設計分野
-
佐藤 祐太
宮城大学事業構想学部
-
齋藤 敬
宮城大学大学院事業構想学研究科事業構想学専攻
-
齋藤 敬
宮城大学大学院 事業構想学研究科 事業構想学専攻
著作論文
- 変数を用いたWebアプリケーションのモデル化と形式的手法による検査(ワークショップ(査読付き),「次世代経営情報技術」,その他)
- 形式的手法によるWebアプリケーションのモデル化と検証
- 中小規模のサーバーAPI構築に適したWeb API frameworkの設計開発(Web2.0時代のビジネスモデル-検索エンジンと利用技術-)
- 1B-3 画面遷移を用いたWebアプリケーションのモデル化とSPINによる検証(プログラム検証と品質管理,一般セッション,ソフトウェア科学・工学)
- Webアプリケーションの変数を用いたモデル化と形式的手法による検査
- 画面遷移設計を基盤とした小規模Webシステム開発用Web APIフレームワークとNST・褥瘡システム開発への応用(セッション2:アプリケーション(1))
- 形式的手法によるWebアプリケーションのモデル化と検証
- Webアプリケーションの変数を用いたモデル化と形式的手法による検査
- 2Z-6 NuSMVを用いたオントロジ検証(人工知能一般(3),学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
- 2P-2 形式的手法と検査ツールによるモデル検査事例と考察(ソフトウェアの検査・検証,学生セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- B-015 モデル検査を用いたオントロジの検証(ソフトウェア,一般論文)