ウィンターワークショップ・イン・伊豆論文集

• 資料種別: 図書
• ISSN: 1344-0640
• タイトル: ウィンターワークショップ・イン・伊豆論文集
• タイトルよみ: ウィンター ワークショップ イン イズ ロンブンシュウ
• シリーズタイトル: 情報処理学会シンポジウムシリーズ = IPSJ symposium series ; v.2002 no.2
• 著者標目: 情報処理学会 ジョウホウ ショリ ガッカイ ( 00258438 )典拠
• 出版事項: 東京 : 情報処理学会
• 出版年月日等: 2002.1
• 出版年（W3CDTF）: 2002
• 数量: 78p
• 大きさ: 26cm
• 出版地（国名コード）: JP
• 本文の言語コード: jpn
• 件名標目: ソフトウェア工学--会議録 ソフトウェアコウガク カイギロク ( 01018647 )典拠
• NDC9版: 007.61 : 情報科学
• NDLC: M159
• 対象利用者: 一般
• 一般注記: 会期: 平成14年1月17日-18日; 英文併載
• 所蔵機関: 国立国会図書館
• 請求記号: M159-G4793
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 000003624136; http://id.ndl.go.jp/bib/000003624136
• 全国書誌番号: 20325359
• 目録規則: 日本目録規則1987年版改訂版
• 整理区分コード: 111

目次

■1. アーキテクチャ・組込みシステムトラック

(1) オブジェクト指向組み込みシステム開発における科学的手法の適用/ 1

(2) 現実味のあるアーキテクチャ議論へのアプローチ/ 3

(3) 形式的手法による組み込みシステム設計モデルの獲得/ 5

(4) 組み込みシステムにおけるアーキテクトについて/ 7