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

• 横川 智教

• 天嵜 聡介

• 佐藤 洋一郎

書誌事項

タイトル別名

• UML ニ ヨル クミコミ ソフトウェア セッケイ ノ ケンショウ シエン カンキョウ ノ カイハツ
• Tool Support for Verification Environment of Embedded Software Design with UML

抄録

コレクション : 国立国会図書館デジタルコレクション > 電子書籍・電子雑誌 > 独立行政法人

収録刊行物

• SEC journal / 情報処理推進機構技術本部ソフトウェア・エンジニアリング・センター 編

  SEC journal / 情報処理推進機構技術本部ソフトウェア・エンジニアリング・センター 編 10 (6), 10-17, 2015-03

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

詳細情報

• CRID: 1523106605942313216
• NII論文ID: 40020415660
• NII書誌ID: AA12006098
• ISSN: 13498622
• NDL書誌ID: 026291162
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I026291162
• 本文言語コード: ja
• NDL 雑誌分類:
  • ZM13(科学技術--科学技術一般--データ処理・計算機)
• データソース種別:
  • NDL
  • CiNii Articles