1B-4 実時間スケジューリングを想定したエレベータシステムヘのモデル検査適用(プログラム検証と品質管理,一般セッション,ソフトウェア科学・工学)
スポンサーリンク
概要
- 論文の詳細を見る
- 2009-03-10
著者
関連論文
- 1B-4 実時間スケジューリングを想定したエレベータシステムヘのモデル検査適用(プログラム検証と品質管理,一般セッション,ソフトウェア科学・工学)
- モデル検査によるソフトウェア上流設計の品質向上技術 (特集 ソフトウェアエンジニアリング)
- 実用化に向けたモデル検査適用手法の開発 (特集 イノベーションを加速するフロントローディング設計)
- 制御ソフトウェア開発のための参照モデル
- 参照モデルに基づくオブジェクト指向フレームワーク開発手法
- 相関ルールの評価指標について
- オブジェクト指向によるエアコン制御シミュレータの開発 ( インターネットによるソフトウェア開発環境および一般)
- B-002 ユーザ満足度を損ねずにエネルギー消費を極小化させる要求分析手法(ソフトウェア,一般論文)
- 変更パターンに基づくオブジェクト部品化方法
- グラスレス3Dレグザ(REGZA)の開発効率と品質を向上させるソフトウェアプラットフォームの構築 (特集 先進の3Dテレビ グラスレス3Dレグザ(REGZA))
- 要求管理の為の組織パターン分類の提案(人とチームのマネジメント)