スポンサーリンク
株式会社東芝ソフトウェア技術センター | 論文
- 10-220 東芝グループにおけるITスキル標準の開発と展開 : 個人別テーラーメード教育カルテによる推進(オーガナイズドセッション「企業における技術者継続教育」)
- 機能多重度を用いた保守性見積もり手法の提案と評価
- アーキテクチャ指向設計手法ACEの紹介
- ソフトウェア品質保証システムESQUT : 仕様書段階における評価技術
- 超逐次プログラミング : 高信頼並行プログラムの新しい開発手法の提案
- 並列プログラムの知的プログラミング支援システムMENDELS(3) : 時制論理からの同期部の自動生成
- ソフトウェア技術者教育 (特集 ソフトウェアエンジニアリング)
- 対話型システムの画面遷移設計方法 : 遷移の設計・検証・最適化
- 負荷テスト支援システムの開発
- LB-4 組込みソフトウェア開発を対象とした高速ハードウェアシミュレーション手法(B. ソフトウェア)
- プログラムの静的解析と動的解析の相互補完によるプログラム理解・開発支援プロセス
- トランザクション概念の拡張による業務継続性の検討(セッション9C : ビジネストランザクション)
- トランザクション概念の拡張による業務継続性の検討(ビジネストランザクション)(「夏のデータベースワークショップ(DBWS2003)」一般)
- 4A-4 QEMUによるHW/SW協調シミュレータの構築(設計・検証技術,一般セッション,アーキテクチャ,情報処理学会創立50周年記念)
- ユーザ満足度を損ねずに省エネルギーを目指す要求適正化手法 : 開発コストを考慮した省エネルギー仕様選択
- 5ZC-6 並行プログラムに関するテスト・デバッグ方式
- 組込み制御用ソフトウェア次世代テスト・デバッグシステム
- 反例を利用した網羅性の高いプロパティ集合生成手法(高位検証,デザインガイア2008-VLSI設計の新しい大地)
- 反例を利用した網羅性の高いプロパティ集合生成手法(高位検証,デザインガイア2008-VLSI設計の新しい大地)
- 反例を利用した網羅性の高いプロパティ集合生成手法(高位検証,デザインガイア2008-VLSI設計の新しい大地-)