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クリエイターズスタンプ配信中☆
【電子ストア】最高5,000円分ギフト券プレゼント中!お買い物時にご利用ください!
電子書籍をはじめて購入いただく方にもれなく!\39ギフト券プレゼント!
特集一覧へ