SpecC仕様記述言語と方法論

Author(s)

• Gajski, Daniel D.
• 木下, 常雄 キノシタ, ツネオ
• 冨山, 宏之 トミヤマ, ヒロユキ

Bibliographic Information

SpecC仕様記述言語と方法論

Daniel D.Gajski [ほか] 著 ; 木下常雄, 冨山宏之訳

（Design wave books）

CQ出版, 2000.12

Other Title

SpecC : specification language and methodology

Title Transcription

Spec C シヨウ キジュツ ゲンゴ ト ホウホウロン

Access to Electronic Resource 1 items

• SpecC仕様記述言語と方法論

  2000

  NDL Digital Collections

  Limited

Note

文献: p303-306

Description and Table of Contents

Description

ハードウェアとソフトウェアを統合して、エンベデッド・システムの仕様を記述するための新しい言語ＳｐｅｃＣの解説書です。

Table of Contents

• 第１章　はじめに
• 第２章　システム・レベル設計での基本的な論点
• 第３章　ＳｐｅｃＣ言語
• 第４章　ＳｐｅｃＣ方法論
• 第５章　ＳｐｅｃＣを用いたシステム・レベル設計
• 第６章　結論

by "BOOK database"

Details

• NCID: BA50470972
• ISBN:
  • 4789833534
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpn
• Original Language Code: eng
• Place of Publication: 東京
• Pages/Volumes: xiii, 309p
• Size: 24cm
• Classification:
  • NDC8 : 007.64
  • NDC9 : 007.64
• Subject Headings:
  • BSH : 電子計算機 -- プログラミング
• Parent Bibliography ID:
  • BN12037320