アーキテクチャ指向開発における形式手法の適用に関する考察(組込みソフトウェア開発,組込み技術とネットワークに関するワークショップETNET2013)
スポンサーリンク
概要
- 論文の詳細を見る
本研究の目的はソフトウェアアーキテクチャを中心とした実践的な記述法と検証法を確立することである.振舞い仕様と機能仕様及び詳細化関係に着目して,既存のモデル検査とテスティング技術を適切に適用するための検証モデルを提示する.本稿では単純な自動販売機を事例として,アーキテクチャ段階における仕様記述と検証例を示す.本検証モデルは,ソフトウェア開発者がアーキテクチャを記述及び検証するさいの実践的な指針となることを目指す.
- 2013-03-06
著者
-
蜂巣 吉成
南山大学情報理工学部ソフトウェア工学科
-
沢田 篤史
京都大学
-
吉田 敦
臨床検査医学,臨床検査部
-
沢田 篤史
南山大学情報理工学部
-
吉田 敦
南山大学
-
張 漢明
南山大学
-
張 漢明
南山大学情報理工学部
-
蜂巣 吉成
南山大学情報理工学部
-
野呂 昌満
南山大学情報理工学部
-
吉田 敦
南山大学情報理工学部
-
横森 励士
南山大学情報理工学部
-
蜂巣 吉成
南山大学理工学部ソフトウェア工学科
関連論文
- MVCフレームワークに基づくウェブアプリケーションの構造改善における依存性注入パターンの適用支援
- アスペクト指向技術を用いたORBミドルウェア開発方法(オブジェクト指向とWeb技術)
- 高速軽量なXQuery問い合わせプログラム生成系の設計と試作
- ソフトウェア工学科の誕生
- E-AoSAS++に基づく開発支援環境 : コード生成ツールの提案(組込み(学生セッション))
- E-AoSAS++に基づく開発支援環境 : 実行前検査ツールの提案(組込み(学生セッション))
- ソフトウェア工学科の誕生 : ソフトウェア工学によるソフトウェア工学教育カリキュラムの開発(開発/設計手法,報告)
- アスペクト指向に基づくソフトウェアアーキテクチャの文書化方式
- ソフトウェア工学科の設計
- データ型を考慮した軽量なXML文書処理系の自動生成(ソフトウェア開発を支援する基盤技術)
- ソフトウェアエンジニアリングシンポジウム2008開催報告(調査・報告・教育)
- ウインターワークショップ・イン・金沢報告 : 総括
- モデル駆動アーキテクチャに基づくホームネットワークサービスの開発支援(学生セッション A_モデル指向(1))
- 平安京ビューによるIDSデータの視覚化
- 開放型大規模ネットワークのためのIDSログ監視支援システム(不正侵入・異常検知)(新たな脅威に立ち向かうコンピュータセキュリティ技術)
- 安全なギガビットネットワークシステムKUINS-IIIの構成とセキュリティ対策(ネットワーク管理)(インターネットアーキテクチャ技術論文)
- E-AoSAS++における振舞い検証の枠組み (ソフトウェアサイエンス)
- 分散型機能協調基盤による機能連携サービス提供方法(モバイル,コンテンツ,セキュリティ,信頼性,一般)
- 4M-7 ルールセットの類似性を用いたCSSリファクタリング手法の提案(リーディングプロジェクト e-society:高信頼ソフトウェア・WebWare開発支援システム,一般セッション,リーディングプロジェクト e-society)
- ページ滞留時間を考慮し行動意図を推定するアクセスログ解析手法の提案
- 2.血液培養から分離された肺炎球菌の莢膜血清型と薬剤感受性および臨床背景の検討(一般演題,第35回獨協医学会)
- 血液培養の落とし穴 (特集 ICUにおける感染のトピックス)
- 15.キノロン耐性GBSの疫学的解析ならびに耐性機序の解明(一般演題,第34回獨協医学会)
- 44. 当院における基質拡張型βラクタマーゼ(ESBLs)産生菌検出例の検討(第31回獨協医学会発表抄録集)
- 分散協調型ホームネットワークサービス構築基盤 (ヒューマンコミュニケーション特集) -- (分散協調メディア)
- ホームネットワークサービス向けサービスシナリオ記述フレームワークのエミュレータ開発(NW性能管理, NW品質, 一般)
- 機能協調基盤ゆかりカーネルにおけるアクセス制御と振舞記述(「モバイルNWとインターネット/家電NWはどう融合するか?」【標準化(DLNA等), モバイルNW, 家電NW, 情報家電, 及び一般】)
- 分散協調基盤ミドルウェア「ゆかりコア」でのメディア処理
- 分散協調基盤ミドルウェア「ゆかりコア」でのメディア処理(モバイルと放送の融合時代を迎えて(1セグ放送, モバイル放送, 携帯放送融合サービス, 1セグ対応携帯端末, モバイルコンテンツと放送コンテンツの融合, マルチメディア配信, ディジタル放送受信機, および一般))
- ネットワーク家電のための機能協調型基盤ゆかりカーネル構想
- 機能協調型基盤ゆかりコアを用いた実生活支援サービス : NICTユビキタスホームへの展開と実装(システム・アプリケーション)
- 機能協調型家電ネットワーク基盤"ゆかりコア"おける環境適応型機能バインド機構
- 機能協調型家電ネットワークのためのサービスシナリオ記述方式(ミドルウェア・組込み)
- ゆかりコア : ネットワーク家電のための分散協調型サービス構築基盤
- On the Job Learning : 産学連携による新しいソフトウェア工学教育手法
- 並列ベクトル計算機VPP上のHPFの性能評価
- 並列ベクトル計算機VPP上のHPFの性能評価
- 食材に視覚的特徴変化を生じさせる加工における食材と加工動作の同時認識(画像・映像処理)
- 歩行時の両足床反力を用いた個人識別(パターン認識)
- D-12-27 個人識別のためのフットステップ情報利用の検討(D-12. パターン認識・メディア理解, 情報・システム2)
- 組込みソフトウェアシンポジウム2004報告(ソフトウェア工学の動向報告)
- 階層分割に基づく組込みソフトウェアの振舞い検証の支援について
- デザインパターンを用いたCDIツールのアーキテクチャとその実現
- デザインパターンを用いたCDIツールのアーキテクチャとその実現
- ウィンターワークショップ2006・イン・鴨川参加報告
- E-AoSAS++における振舞い検証の枠組み
- デザインパターンを用いたCDIツールのアーキテクチャとその実現
- デザインパターンを用いたCDIツールのアーキテクチャとその実現
- 階層分割に基づく組込みソフトウェアの振舞い検証の支援について
- 組込みソフトウェアの仕様モデルとアーキテクチャの関係に関する考察
- 遅延パーサを用いた軽量なXQuery処理系
- ウィンターワークショップ2005イン・伊豆参加報告(ソフトウェア工学の動向報告)
- 並行オブジェクト指向言語yの実行時環境
- A-16-13 グラフィックデザインミーティング映像に対するインデキシングのための操作認識(A-16. マルチメディア・仮想環境基礎)
- オブジェクト指向言語のための細粒度システム依存グラフ
- 自律的BOBモデルを用いたTRSの並列分散実行系
- VDM-SLによるソフトウェアアーキテクチャの記述法
- Web情報システムのソフトウェアアーキテクチャ
- リポジトリを用いたソフトウェア仕様記述の支援環境
- A-16-9 分散型機能協調基盤上の家電・センサ機能単位化およびその統合(A-16. マルチメディア・仮想環境基礎)
- 静的意味情報を考慮したコンポーネントのサイズメトリクス
- 静的意味情報を考慮したコンポーネントのサイズメトリクス
- 単機能分散型ネットワークドアプライアンスアーキテクチャにおける統合サービス記述の検討
- ブレイクポイント・チェッカーボードプレートによる多剤耐性緑膿菌感染症に対する治療薬選択のためのスコア化による評価
- 観測データに基づく生産加工活動認識のための物体・操作・目的情報の統合利用(テーマセッション(3))(ユビキタスコンピューティングのためのパターン認識・理解)
- A-16-17 食材加工過程の認識のための食材の視覚的特徴変化と可能な調理操作に関する知識の利用(A-16. マルチメディア・仮想環境基礎)
- 情報相分割に基づくユーザインタフェース設計
- 操作情報を中心としたユーザインタフェース設計法
- リポジトリを利用した設計情報の変化の分析と発展支援
- 操作情報を中心としたユーザインタフェース設計法
- リポジトリを利用した設計情報の変化の分析と発展支援
- 操作情報を中心としたユーザインタフェース設計法
- HTML要素の状態を考慮したCSSの拡張方法の提案(研究速報)
- パターンに基づくCSP記述の検査に関する考察
- 新生児および妊婦褥婦由来B群レンサ球菌の薬剤感受性と血清型 : 多施設共同研究1999年-2009年
- パターンに基づくCSP記述の検査に関する考察 (ソフトウェアサイエンス)
- 属性付き字句系列に基づくソースコード書き換え支援環境
- 並行システム記述におけるフォールトパターンに関する考察
- ネットワークの振る舞いに依存するシステムへの形式的手法の適用の検討
- ソフトウェア進化研究の分類と動向
- 前処理前プログラムに対する記号表の構成手法
- SOAに基づくシステムのためのアプリケーションプラットフォームのプロダクトライン化に関する研究
- アーキテクチャ指向開発における形式手法の適用に関する考察
- アーキテクチャ指向開発における形式手法の適用に関する考察
- ソフトウェア進化研究に関する動向調査 : IWPSEシリーズを題材に
- プログラミング学習における誤り訂正問題の自動生成方法の提案 (ソフトウェアサイエンス)
- プログラミング学習における誤り訂正問題の自動生成方法の提案 (システム数理と応用)
- ネットワークの振る舞いに依存するシステムへの形式的手法の適用の検討(検証と品質,ソフトウェアサイエンス、理論)
- 並行システム記述におけるフォールトパターンに関する考察(検証と品質,ソフトウェアサイエンス、理論)
- SOAアプリケーションプラットフォームのプロダクトライン化
- アーキテクチャ指向開発における形式手法の適用に関する考察(組込みソフトウェア開発,組込み技術とネットワークに関するワークショップETNET2013)
- 獨協医科大学病院における抗酸菌検出状況および固形培地と液体培地の比較検討
- アーキテクチャ指向開発における形式手法の適用に関する考察(組込みソフトウェア開発,組込み技術とネットワークに関するワークショップETNET2013)
- プログラミング学習における誤り訂正問題の自動生成方法の提案
- プログラミング演習におけるコーディング状況把握方法の考察
- プログラミング学習における誤り訂正問題の自動生成方法の提案
- ソフトウェア進化研究に関する動向調査IWPSEシリーズを題材に
- VDM-SLによるソフトウェアアーキテクチャの記述法
- コンパイル方式による高速軽量なXQuery問い合わせプログラム生成系の設計と実現