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

  • 13人登録
  • 5.00評価
    • (1)
    • (0)
    • (0)
    • (0)
    • (0)
  • 1レビュー
  • CQ出版 (2012年3月24日発売)
  • Amazon.co.jp ・雑誌
  • / ISBN・EAN: 4910016190526

Interface (インターフェース) 2012年 05月号 [雑誌]の感想・レビュー・書評

並び替え:

表示形式:

表示件数:

  • 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月号 [雑誌]を本棚に「積読」で登録しているひと

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

ツイートする