書誌事項

SpecC仕様記述言語と方法論

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

(Design wave books)

CQ出版, 2000.12

タイトル別名

SpecC : specification language and methodology

タイトル読み

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

大学図書館所蔵 件 / 34

この図書・雑誌をさがす

注記

文献: p303-306

内容説明・目次

内容説明

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

目次

  • 第1章 はじめに
  • 第2章 システム・レベル設計での基本的な論点
  • 第3章 SpecC言語
  • 第4章 SpecC方法論
  • 第5章 SpecCを用いたシステム・レベル設計
  • 第6章 結論

「BOOKデータベース」 より

関連文献: 1件中  1-1を表示

詳細情報

  • NII書誌ID(NCID)
    BA50470972
  • ISBN
    • 4789833534
  • 出版国コード
    ja
  • タイトル言語コード
    jpn
  • 本文言語コード
    jpn
  • 原本言語コード
    eng
  • 出版地
    東京
  • ページ数/冊数
    xiii, 309p
  • 大きさ
    24cm
  • 分類
  • 件名
  • 親書誌ID
ページトップへ