Webアプリケーションの変数を用いたモデル化と形式的手法による検査
スポンサーリンク
概要
著者
-
富樫 敦
宮城大学大学院事業構想学部デザイン情報学科
-
和泉 諭
東北大学電気通信研究所
-
本間 圭
宮城大学大学院事業構想学研究科
-
高橋 薫
仙台高等専門学校
-
和泉 諭
東北大学電気通信研究所:東北大学大学院情報科学研究科
関連論文
- ベクトル空間法を基礎としたカテゴリーマッピング法によるWebページの自動分類(セッション1:検索)
- 変数を用いたWebアプリケーションのモデル化と形式的手法による検査(ワークショップ(査読付き),「次世代経営情報技術」,その他)
- 形式的手法によるWebアプリケーションのモデル化と検証
- 中小規模のサーバーAPI構築に適したWeb API frameworkの設計開発(Web2.0時代のビジネスモデル-検索エンジンと利用技術-)
- 健康支援システムにおける生体情報の効果的な獲得手法の設計(ポストIPネットワーキング,ネットワークモデル,インターネットトラヒック,TCP/IP,マルチメディア通信,ネットワーク管理,リソース管理,プライベートネットワーク,NW安全性及び一般)
- 共生コンピューティングに基づく利用者にやさしい見守り型健康支援システムの設計(ユビキタスNW,オーバーレイネットワーク,VPN,DDoS,ネットワークセキュリティ,P2P通信,ネットワークソフトウェア,一般)
- やさしい見守り型健康支援システムの実現に向けて(セッション3:ユビキタス(1))
- オントロジを利用した健康支援システムの提案とその評価(Webインテリジェンス,情報洪水時代のネットワークサービス)
- 1B-3 画面遷移を用いたWebアプリケーションのモデル化とSPINによる検証(プログラム検証と品質管理,一般セッション,ソフトウェア科学・工学)
- Webアプリケーションの変数を用いたモデル化と形式的手法による検査
- オントロジを利用した健康支援システムの設計と実装
- F_010 オントロジに基づいた健康アドバイス導出システム(F分野:人工知能・ゲーム)
- F_009 健康アドバイス導出のための領域オントロジと推論ルール(F分野:人工知能・ゲーム)
- F_008 Bluetooth通信を用いた生体情報監視システムの構築(F分野:人工知能・ゲーム)
- 健康に関する領域オントロジと健康アドバイス導出ルールの構築(経営や情報技術双方の知識や立場を越えた相互理解を醸成するモデリング及びモデリングフレームワークを研究する : 特に今回はセマンティックWEBの活用にフォーカスする)
- 状態遅延と入力遅延を導入したオートマトンによるディジタル論理とPLCの仕様化
- オントロジーに基づいた暗号学習用のe-Learningシステム(e-Learning教育システムの成果と目指すべきもの/一般)
- オートマトンモデルに基づいたディジタルロジックの仕様化と検証
- 状態マシンモデルに基づいたセキュリテイプロトコルの仕様化
- エージェントによるファイル交換システム
- エージェントによるアプリケーション共有
- 種々の手法によるディジタルロジックの仕様記述とそれらの比較
- 複数グループ間におけるスケジュール調整支援システムの開発
- オブジェクト指向を導入した状態マシン記述
- A State Machine with Time Constraint
- 契約ネットプロトコルの形式的仕様化と解析
- 状態マシンモデルに基づいた並行システムの複合的仕様化手法
- 命題論理に基づいた並行システムの制約付き仕様記述
- 場と有限状態機械の概念に基づいたモバイル並行システムの仕様化手法とその適用(マルチメディアコミュニケーションシステム)
- 有限状態モデルに基づくモバイルシステムの仕様化
- 移動性を考慮した有限状態モデルに基づく並行システムの仕様化
- 動的再構成システムの仕様化と検証
- 画面遷移設計を基盤とした小規模Webシステム開発用Web APIフレームワークとNST・褥瘡システム開発への応用(セッション2:アプリケーション(1))
- Composition Method of Service and protocol Specifications
- 並行計算πFを用いたモバイルシステム管理
- 動的再構成システム仕様の挙動検証
- 地理的制約を考慮した並行計算
- 位相的観点に基づく段階的仕様記述
- 位相的観点からの仕様記述
- 時制論理に基づくプロトコルの LOTOS 仕様の合成
- LOTOSに基づいたプロトコルの論理検証支援システムの実現
- LOTOS仕様の分割支援システム
- 形式的手法によるWebアプリケーションのモデル化と検証
- オブジェクト指向を導入した状態マシン記述
- 共生型健康支援システムにおけるセンサデータの効果的な獲得手法
- 共生型健康支援システムにおけるセンサデータの効果的な獲得手法
- 共生型健康支援システムにおけるセンサデータの効果的な獲得手法
- Webアプリケーションの変数を用いたモデル化と形式的手法による検査
- 並行計算πFを用いたモバイルシステム管理
- 有限状態モデルに基づくモバイルシステムの仕様化
- 2Z-4 プライバシーを考慮した個人・組織情報検索システム(人工知能一般(3),学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
- F-036 OWLによる個人・組織情報のモデル化とプライバシーの取扱い(人工知能・ゲーム,一般論文)
- RO-004 学生の研究活動におけるプロジェクトマネジメントの有効性(O分野:情報システム,査読付き論文)
- RO-003 理念共有型の地域産学協同IT人材育成体系の形成(O分野:情報システム,査読付き論文)
- 3F-2 やさしい見守り型健康支援システムにおけるセンサデータを用いた知識フィルタリング手法(センシングシステム(1),一般セッション,ネットワーク,情報処理学会創立50周年記念)
- 共生型健康支援システムにおけるセンサデータの効果的な獲得手法
- M-041 やさしい見守り型健康支援システムにおける生体情報の効果的な獲得手法(ユビキタス・モバイルコンピューティング,一般論文)
- M-040 やさしい見守り型健康支援システムにおけるセンサデータに基づく効果的な推論方式の検討(ユビキタス・モバイルコンピューティング,一般論文)
- M-039 エージェント指向ミドルウェアに基づくやさしい見守り型健康支援システム(ユビキタス・モバイルコンピューティング,一般論文)
- 2Z-6 NuSMVを用いたオントロジ検証(人工知能一般(3),学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
- 2P-2 形式的手法と検査ツールによるモデル検査事例と考察(ソフトウェアの検査・検証,学生セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- B-015 モデル検査を用いたオントロジの検証(ソフトウェア,一般論文)
- D-3-5 NuSMVを用いたRBACモデルの検証(D-3.ソフトウェアサイエンス,一般セッション)
- 自学型習熟度別プログラミング教育の実践
- 国際交流を中心とした海外研修旅行が学生にもたらす効果
- 消費電力観測値に基づく生活状況推定システムの設計(品質制御,輻輳制御,信頼性技術,IPTV,コンテンツネットワーク,ネットワークソフトウェア及び一般)
- 電力の有効利用を実現する生活行動プランニング手法(品質制御,輻輳制御,信頼性技術,IPTV,コンテンツネットワーク,ネットワークソフトウェア及び一般)
- 地域に開かれた高専を目指した取組み
- B-016 ロールオントロジーに基づいた個人・組織情報への動的なアクセス制御(開発支援・プロジェクト管理,B分野:ソフトウェア)
- B-005 モデル検査ツールNuSMVを用いたオントロジー検証(テスト・検証,B分野:ソフトウェア)
- M-053 健康管理支援のためのクラスタリングに基づくセンサデータの獲得手法(位置情報とセンサネットワーク,M分野:ビキタス・モバイルコンピューティング)
- B-023 RBACモデルの形式検証(電子文書・ソフトウェア科学,B分野:ソフトウェア)
- ユーザコンテキストに基づいた個人・組織情報へのアクセス制御(経路・アクセス制御,応用,インターネットやイントラネットの信頼性,品質,計測,監視,セキュリティ,トラヒック理論及び一般)
- ユーザ指向消費電力可視化システムの提案(ポストIPネットワーキング,新世代ネットワーク,ネットワークモデル,インターネットトラピック,TCP/IP,マルチメディア通信,ネットワーク管理 リソース管理,プライベートネットワーク,NW安全性及び一般)
- A-7-11 ユーザコンテキストに基づいた個人・組織情報へのアクセス制御(A-7.情報セキュリティ)
- D-3-2 RBACモデルの検証支援ツール(D-3, ソフトウェアサイエンス)
- O-005 グリーン指向ネットワーク管理フレームワークに基づくIP電話システムの自律化制御(O分野:情報システム,一般論文)
- M-031 消費電力計測器なしのグリーン指向ネットワーク管理フレームワークの提案(M分野:ユビキタス・モバイルコンピューティング,一般論文)
- M-032 ネットワークシステムの省電力化のためのプランニング手法(M分野:ユビキタス・モバイルコンピューティング,一般論文)
- スマートメータを利用した使用機器の推定手法の提案(ポストIPネットワーキング,次世代・新世代ネットワーク(NGN),障害対策・BCP,ネットワークコーディング,セッション管理(SIP・IMS),相互接続技術/標準化,ネットワーク構成管理及び一般)