UMLによる組込みソフトウェア設計の検証支援環境の開発

国立国会図書館請求記号: Z74-E391
国立国会図書館書誌ID: 026291162

資料種別: 記事

著者: 横川智教ほか

出版者: 東京 : 情報処理推進機構技術本部ソフトウェア・エンジニアリング・センター

出版年: 2015-03

資料形態: デジタル

掲載誌名: SEC journal / 情報処理推進機構技術本部ソフトウェア・エンジニアリング・センター編 10(6)=43:2015.3

掲載ページ: p.10-17

すべて見る

全国の図書館の所蔵

国立国会図書館以外の全国の図書館の所蔵状況を表示します。

連携機関・データベースの一覧

所蔵のある図書館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください

その他

CiNii Research
検索サービス
連携先のサイトで、CiNii Researchが連携している機関・データベースの所蔵状況を確認できます。
この本の所蔵を確認

書誌情報

この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。

デジタル

資料種別: 記事
タイトル: UMLによる組込みソフトウェア設計の検証支援環境の開発
著者・編者: 横川智教
天嵜聡介
佐藤洋一郎他
著者標目: 横川智教
天嵜聡介
佐藤洋一郎
並列タイトル等: Tool Support for Verification Environment of Embedded Software Design with UML
タイトル（掲載誌）: SEC journal / 情報処理推進機構技術本部ソフトウェア・エンジニアリング・センター編
巻号年月日等（掲載誌）: 10(6)=43:2015.3
掲載巻: 10
掲載号: 6
掲載通号: 43
掲載ページ: 10-17
掲載年月日（W3CDTF）: 2015-03
ISSN（掲載誌）: 1349-8622
ISSN-L（掲載誌）: 1349-8622
出版事項（掲載誌）: 東京 : 情報処理推進機構技術本部ソフトウェア・エンジニアリング・センター
出版地（国名コード）: JP
本文の言語コード: jpn
NDLC: ZM13
対象利用者: 一般
コレクション（個別）: 国立国会図書館デジタルコレクション > 電子書籍・電子雑誌 > 独立行政法人
https://dl.ndl.go.jp/collections/B00033
オンライン閲覧公開範囲: 国立国会図書館内限定公開
デジタル化資料送信: 図書館・個人送信対象外
遠隔複写可否（NDL）: 不可
所蔵機関: 国立国会図書館
請求記号: Z74-E391
関連情報（URI）: http://dl.ndl.go.jp/info:ndljp/pid/11105066
関連情報（国立国会図書館永続的識別子）: info:ndljp/pid/11105066
http://dl.ndl.go.jp/info:ndljp/pid/11105066
連携機関・データベース: 国立国会図書館 : 国立国会図書館雑誌記事索引
https://ndlsearch.ndl.go.jp
書誌ID（NDLBibID）: 026291162
http://id.ndl.go.jp/bib/026291162
整理区分コード: 632