pagetop

本 Bメソッドによる形式仕様記述 ソフトウェアシステムのモデル化とその検証

ほしい!に追加 twitter
本-Bメソッドによる形式仕様記述 ソフトウェアシステムのモデル化とその検証
著者: 来間啓伸 (著)
定価 ¥3,888(税込)
BOOKFANポイント: 180 pt
or
Tポイント: 108 pt (Yahoo!ウォレット決済利用時)

商品情報

出版社名
近代科学社
シリーズ名
トップエスイー実践講座 1
発行年月
2007年 12月
ISBNコード
9784764903470
版型
--
ページ数
213P
平均評価
(まだ評価がありません)
ブクレポ
0件

新刊お知らせ登録一覧へ »

来間啓伸 OFF

内容紹介

日本初!待望のBメソッド解説書。
実際の開発への適用を意識した実用指向の内容で、形式手法の理解と習得に格好の書。

※本データはこの商品が発売された時点の情報です。

目次

第1章 形式手法概論/第2章 形式仕様の作成/第3章 抽象機械/第4章 仕様から実装へのステップ/第5章 リファインメント/第6章 インプリメンテーション/第7章 事例研究/第8章 次のステップ/付録

著者情報

来間 啓伸
1983年広島大学大学院理学研究科博士課程前期修了。1984年株式会社日立製作所。2006年総合研究大学院大学複合科学研究科修了。博士(学術)。現在、株式会社日立製作所システム開発研究所・国立情報学研究所特任教授。ソフトウェア工学の研究に従事。形式手法、コンピュータ・セキュリティ、自律分散システムに興味を持つ(本データはこの書籍が刊行された当時に掲載されていたものです)
うれしい全品送料無料♪全商品5%ポイント還元!<a href="index.php?module=ecrlist&action=plist&it=BK"target="_parent">▼新刊・予約はコチラ!</a>
ご注意!ラッピング、お届け日の指定は承れません!
大量一括注文窓口はこちら!
出版社共同企画!もれなく100ptプレゼント!
BOOKFANのツイッターをフォローする♪
BOOKFANキャラクター大集合!LINEクリエイターズスタンプ配信中☆
コミック全巻セットはこちら★
特集一覧へ
ブクポン
アンケートに答えてポイントゲット!
アンケート一覧へ