編集にあたって(<特集>組み込みソフトウェア開発技術)
スポンサーリンク
概要
- 論文の詳細を見る
- 一般社団法人情報処理学会の論文
- 2004-07-15
著者
-
青木 利晃
北陸先端科学技術大学院大学
-
平山 雅之
(株)東芝ソフトウェア技術センター
-
平山 雅之
情報処理推進機構ソフトウェア・エンジニアリング・センター
-
平山 雅之
東芝
-
平山 雅之
(株)東芝
-
青木 利晃
北陸先端大学院大学
-
平山 雅之
(株)東芝・ソフトウェア技術センター
関連論文
- 組込みシステムシンポジウム2006実施報告(シンポジウム/ワークショップ実施報告)
- 組込みシステムシンポジウム2006実施報告(シンポジウム/ワークショップ実施報告)
- ウインターワークショップ2008・イン・道後開催報告
- 特別セミナー「組込みソフトウェアの信頼性を考える」より 組込みソフトウェアプロジェクトの状況
- プロジェクト紹介 : 高信頼組込み用オブジェクト指向設計技術(組込み・アスペクト指向)
- 組込みシステムにおける外部環境の分析(組込み・アスペクト指向)
- 組込みシステムの外部環境分析のためのUMLプロファイル(仕様,設計,移植)
- 1L-2 モデル検査によるリアルタイムオペレーティングシステムの検証実験(リーディングプロジェクト e-society:高信頼性組み込みソフトウェア(1),一般セッション,リーディングプロジェクト e-society)
- 2.形式的手法による高信頼性組み込みソフトウェア開発(高信頼性組み込みソフトウェア開発-最新技術動向と取り組み-)
- オブジェクト指向分析モデルにおけるデータフローの形式化と解析手法
- 特集「組込みシステム工学」の編集にあたって
- 第11回ソフトウェアプロダクトライン国際会議(SPLC2007)参加報告(ソフトウェア評価/プロダクトライン)
- ソフトウェアプロセスの新しい時代に向けて : プロセスワーキンググループが目指すもの
- ソフトウェアプロジェクト予測に用いるメトリクスの削減
- ウインターワークショップ2008・イン・道後開催報告
- 組込みシステムの外部環境に着目した動作仕様検証
- コンテキストベース・プロダクトライン開発とVDM++の適用(ソフトウェアプロダクトライン開発,ソフトウェア工学の理論と実践)
- 機能モジュールの優先度評価に基づくテスト作業の効率化手法
- プログラマの視点からのソフトウェアコンポーネント評価手法
- 機能モジュールに対する優先度に基づいた選択的ソフトウェアテスト手法の提案
- FTAを利用したソフトウェアの設計検証手法
- FTAを利用したソフトウェアの設計検証手法
- システム性能評価技術 (特集 ソフトウェア品質向上技術)
- 進化する組込みシステム : 連続セミナー2009 : 事業推進委員会(委員会から)
- 組込みシステムの外部環境分析のためのUMLプロファイル(仕様,設計,移植)
- 組込みシステムの外部環境分析のためのUMLプロファイル(仕様,設計,移植,組込技術とネットワークに関するワークショップETNET2007)
- 組込みシステムの外部環境分析のためのUMLプロファイル(仕様,設計,移植,組込技術とネットワークに関するワークショップETNET2007)
- 組込みシステムの動作環境の特徴に着目した仕様分析手法の提案(セッション1)
- 組込みシステムにおける動作条件分析手法の提案
- 1 組み込みソフトウェア開発の現状(組み込みソフトウェア開発技術)
- ソフトウェアコンポーネントの利用性評価(オブジェクト指向とWeb技術)
- B-35 メトリクスと不具合の相関(検証・試験・評価,B.ソフトウェア)
- 探索型デバッグ手法におけるログの特徴値の利用
- ベイズ識別器による不具合予測のための相関ルールマイニングを用いたメトリクス絞り込み
- ソフトウェア開発データに対する相関ルールマイニングを利用した不具合増加要因の調査
- ソフトウェアプロジェクト診断のためのチェックリスト導出(レビュー,品質(学生セッション))
- 企業横断的データからのプロジェクト改善案の相関ルールマイニングによる抽出
- 相関ルールマイニングによる企業横断データにおける不具合工数密度の分析
- 相関ルールマイニングの適用によるソフトウェア生産性の決定要因の分析(学生セッション C_開発プロセス)
- UseCASEを利用したソフトウェアフォールトに対するSS-FTAの提案
- 情報技術関連のスキル標準と人材育成
- 組込みソフトウェア高品質化へのアプローチ(組込みソフト産業の実態と開発の課題)
- 欠損を含むプロジェクトデータからのプロジェクト成否予測のための特徴抽出
- Alloyを用いた構成変更支援ツールと適用実験
- モデル検査による設計検証と整合テスト
- 「ウィンターワークショップ2007・イン・那覇」開催報告(シンポジウム/ワークショップ実施報告)
- 「ウィンターワークショップ2007・イン・那覇」開催報告(シンポジウム/ワークショップ実施報告)
- 編集にあたって(高信頼性組み込みソフトウェア開発-最新技術動向と取り組み-)
- コラボレーションに基づくオブジェクト指向モデルの検証(システム検証の科学技術)
- ウィンターワークショップ・イン・石垣島参加報告(会議報告)
- 編集にあたって(組み込みソフトウェア開発技術)
- 状態遷移図の段階的構築のための論理的基盤
- (形式的仕様)振舞い近似手法を用いたステートチャートに対する不変性の検証(オブジェクト指向技術)
- ウィンターワークショップin神戸報告
- 5B-2 品質定量指標のための異なるプログラミング言語間での規模の比較の試み(プロジェクトの定量的管理,一般セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- 作業時間はWald分布にしたがう(統計(3))
- Alloy を用いた構成変更支援ツールと適用実験
- 並行オブジェクトから並行処理列への変換法(ディペンダブルソフトウェア)
- オブジェクト指向方法論のための検証フレームワークに関する研究
- 5B-1 相関ルールマイニングを利用したソフトウェアプロジェクト混乱要因の関連性に関する調査(プロジェクトの定量的管理,一般セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- 定理証明技術のオブジェクト指向分析への適用
- オブジェクト指向分析モデルの検証と公理系の提案
- 並行オブジェクトモデルから並行スレッドモデルへの変換法
- APSEC2001参加報告
- 組み込みシステム設計における並行正規表現を用いたスレッド抽出法の適用
- 定理証明システムHOLにおけるオブジェクト指向理論の構築
- 組み込みシステムの動向
- 並行動作するオブジェクトからの処理列の抽出法
- 並行動作するオブジェクトからの処理列の抽出法
- オブジェクト指向組み込みシステム開発のためのSES-Basedアプローチ
- 形式的オブジェクト指向分析モデルFO∀Mの構築法とその支援環境
- オブジェクト指向方法論のための形式的モデルの検証
- ソフトウェアプロセスの動向
- 組込みソフトウェア開発における品質保証(「信頼性・保全性・安全性の事例:情報処理・ソフトウェア編」〜信頼性ハンドブック出版から10年を経て〜)
- 飛行船自動航行システム開発におけるSysMLを用いたプロセス改善事例
- オブジェクト指向方法論のための形式的モデル
- 欠損率の高いプロジェクトデータを利用したプロジェクトの成否予測
- モデル検査ツールにより出力された反例に基づく誤り特定に関する研究
- ソースコードを構成する処理ブロックの特徴に着目したコードクローン推定技術