Interface (インターフェース) 2012年 05月号 [雑誌]

  • CQ出版
5.00
  • (1)
  • (0)
  • (0)
  • (0)
  • (0)
  • 本棚登録 :14
  • レビュー :1
  • Amazon.co.jp ・雑誌
  • / ISBN・EAN: 4910016190526

感想・レビュー・書評

並び替え
表示形式
表示件数
  • 1
    形式手法による組込ソフトウェア開発 第1回 藤倉俊幸

    下位要求から上位要求に向かってやじるしを引く

    要求の形式化

    命題論理による要求検証

    参考文献
    リアルタイムシステムの構造化分析 リアルタイムシステムの仕様書作成手法 Derek J. Haltley


    現場で役立つプログラミングのちょい技 邑中雅樹

    処理の痕跡を残してみる
    gcc -save-temps test.c
    ファイルtest.i, test.s, test.oができる。

    test.iの解説は、#includeファイルの呼び出し関係を示す。
    前処理後の状態。

    test.sアセンブラ

    Mac OSX, iOSはMach-Oフォーマットでbinutilsの支援は限定。

    3.
    TOPEPRSカーネル用シミュレーション慣用TISEの使い方。本田晋也
    Toppers integrated simulation environment

全1件中 1 - 1件を表示

この本を読んでいる人は、こんな本も本棚に登録しています。

有効な左矢印 無効な左矢印
ブライアン カー...
有効な右矢印 無効な右矢印

Interface (インターフェース) 2012年 05月号 [雑誌]はこんな雑誌です

Interface (インターフェース) 2012年 05月号 [雑誌]を本棚に登録しているひと

ツイートする