資料詳細

  • 1 件中、 1 件目

形式手法の技術講座 貸出可

佐原 伸／著 -- ソフト・リサーチ・センター -- 2008.4 -- 007.63

所蔵

所蔵件数は 1 件です。現在の予約件数は 0 件です。

所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
地下書庫 /007.6/ｻ/ 116062134 成人一般 可能 iLisvirtual

ページの先頭へ

資料詳細

タイトル 形式手法の技術講座
タイトルカナ ケイシキ シュホウ ノ ギジュツ コウザ
副書名 ソフトウェアトラブルを予防する
著者 佐原 伸 ／著  
著者カナ サハラ シン
出版者 ソフト・リサーチ・センター
出版年 2008.4
ページ数 7,195p
大きさ 21cm
一般件名 ソフトウェア工学
ISBN13桁 978-4-88373-258-6 国立国会図書館 カーリル GoogleBooks WebcatPlus
言語 jpn
分類記号 007.63
内容紹介 日本の大規模システムの開発に、実際に形式手法(フォーマルメソッド)を適用した経験に基づき、その概要や、適用の第一歩となる形式仕様記述言語について解説する。高品質ソフトウェア開発の現場担当者に向けた本。

ページの先頭へ