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

• Material Type: 図書
• ISSN: 1344-0640
• Title: ウィンターワークショップ・イン・伊豆論文集
• Title Transcription: ウィンター ワークショップ イン イズ ロンブンシュウ
• Series Title: 情報処理学会シンポジウムシリーズ = IPSJ symposium series ; v.2002 no.2
• Author Heading: 情報処理学会 ジョウホウ ショリ ガッカイ ( 00258438 )Authorities
• Publication, Distribution, etc.: 東京 : 情報処理学会
• Publication Date: 2002.1
• Publication Date (W3CDTF): 2002
• Extent: 78p
• Size: 26cm
• Place of Publication (Country Code): JP
• Text Language Code: jpn
• Subject Heading: ソフトウェア工学--会議録 ソフトウェアコウガク カイギロク ( 01018647 )Authorities
• NDC 9th ed.: 007.61 : Information science
• NDLC: M159
• Target Audience: 一般
• Note (General): 会期: 平成14年1月17日-18日; 英文併載
• Holding library: 国立国会図書館
• Call No.: M159-G4793
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 000003624136; http://id.ndl.go.jp/bib/000003624136
• National Bibliography No. (JPNO): 20325359
• Cataloging Rule: Nippon Cataloguing Rules 1987 Revised Edition
• Bibliographic Record Category (NDL): 111

Table of Contents

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

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

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

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

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