階層分割に基づく組込みソフトウェアの振舞い検証の支援について
スポンサーリンク
概要
- 論文の詳細を見る
- 2010-08-09
著者
関連論文
- MVCフレームワークに基づくウェブアプリケーションの構造改善における依存性注入パターンの適用支援
- 組込みシステムシンポジウム2006実施報告(シンポジウム/ワークショップ実施報告)
- 組込みシステムシンポジウム2006実施報告(シンポジウム/ワークショップ実施報告)
- アスペクト指向技術を用いたORBミドルウェア開発方法(オブジェクト指向とWeb技術)
- 高速軽量なXQuery問い合わせプログラム生成系の設計と試作
- ウインターワークショップ2008・イン・道後開催報告
- 4. ソフトウェアエンジニアリング領域(J07-SE)(情報専門学科カリキュラム標準J07)
- E-AoSAS++に基づく開発支援環境 : コード生成ツールの提案(組込み(学生セッション))
- E-AoSAS++に基づく開発支援環境 : 実行前検査ツールの提案(組込み(学生セッション))
- ソフトウェア工学科の誕生 : ソフトウェア工学によるソフトウェア工学教育カリキュラムの開発(開発/設計手法,報告)
- アスペクト指向に基づくソフトウェアアーキテクチャの文書化方式
- ソフトウェア工学科の設計
- データ型を考慮した軽量なXML文書処理系の自動生成(ソフトウェア開発を支援する基盤技術)
- ソフトウェアエンジニアリングシンポジウム2008開催報告(調査・報告・教育)
- 開発履歴中のソースコードを対象とした更新の重要度を評価する手法の提案(ソフトウェア工学)
- 携帯電話制御ソフトウェアのアスペクト指向実現(アスペクト指向)
- アスペクト指向ソフトウェアアーキテクチャスタイルの提案(アスペクト指向)
- 4M-7 ルールセットの類似性を用いたCSSリファクタリング手法の提案(リーディングプロジェクト e-society:高信頼ソフトウェア・WebWare開発支援システム,一般セッション,リーディングプロジェクト e-society)
- 2.血液培養から分離された肺炎球菌の莢膜血清型と薬剤感受性および臨床背景の検討(一般演題,第35回獨協医学会)
- 特集「ソフトウェア工学」の編集にあたって
- On the Job Learning : 産学連携による新しいソフトウェア工学教育手法
- サマーワークショップ・イン・立山 開催報告
- パネル討論 : ネットワークソフトウェアの開発を考える
- 階層分割に基づく組込みソフトウェアの振舞い検証の支援について
- ウインターワークショップ2008・イン・道後開催報告
- ウィンターワークショップ2006・イン・鴨川参加報告
- 飛行船制御を題材としたプロジェクト型ソフトウェア開発実習
- 階層分割に基づく組込みソフトウェアの振舞い検証の支援について
- 21世紀へのソフトウェア開発技術
- OO'97オブジェクト指向モデリングワークショップ報告
- 組込みソフトウェアの仕様モデルとアーキテクチャの関係に関する考察
- 「ウィンターワークショップ2007・イン・那覇」開催報告(シンポジウム/ワークショップ実施報告)
- 「ウィンターワークショップ2007・イン・那覇」開催報告(シンポジウム/ワークショップ実施報告)
- ウィンターワークショップ2005イン・伊豆参加報告(ソフトウェア工学の動向報告)
- 特集「オブジェクト指向とWeb技術」の編集にあたって
- ソフトウェア工学は工学足りえるか
- パネル討論 : ソフトウェア新工法へ向けて
- ソフトウェアのモジュール間通信を考慮した信頼度成長モデル(信頼性)
- 特集「組込みシステム工学」の編集にあたって
- ブレイクポイント・チェッカーボードプレートによる多剤耐性緑膿菌感染症に対する治療薬選択のためのスコア化による評価
- HTML要素の状態を考慮したCSSの拡張方法の提案(研究速報)
- パターンに基づくCSP記述の検査に関する考察
- 新生児および妊婦褥婦由来B群レンサ球菌の薬剤感受性と血清型 : 多施設共同研究1999年-2009年
- 属性付き字句系列に基づくソースコード書き換え支援環境
- 並行システム記述におけるフォールトパターンに関する考察
- 特集「ソフトウェア工学」の編集にあたって
- 前処理前プログラムに対する記号表の構成手法
- アーキテクチャ指向開発における形式手法の適用に関する考察
- アーキテクチャ指向開発における形式手法の適用に関する考察
- 並行システム記述におけるフォールトパターンに関する考察(検証と品質,ソフトウェアサイエンス、理論)
- アーキテクチャ指向開発における形式手法の適用に関する考察(組込みソフトウェア開発,組込み技術とネットワークに関するワークショップETNET2013)
- 獨協医科大学病院における抗酸菌検出状況および固形培地と液体培地の比較検討
- アーキテクチャ指向開発における形式手法の適用に関する考察(組込みソフトウェア開発,組込み技術とネットワークに関するワークショップETNET2013)
- プログラミング学習における誤り訂正問題の自動生成方法の提案
- プログラミング学習における誤り訂正問題の自動生成方法の提案
- 特集「ソフトウェア工学」の編集にあたって
- 特集「ソフトウェア工学」の編集にあたって