“荒木 啓二郎”の電子書籍一覧
九州大学大学院システム情報科学研究院情報工学部門教授。工学博士。
“荒木 啓二郎”に関連する電子書籍を1件掲載しています。1 ~ 1 件目をご紹介します。
VDM++による形式仕様記述
- 税込価格:4,180円
- 出版社:近代科学社
- 販売開始日:2019/08/15
- 明確な仕様の記述と検証を行わずして、抵当な開発を行うことは出来ない!
ソフトウェア開発では、上流工程を自然言語で表現する。このため論理的不一致などがおき、手戻りが発生する。これを解決する方法として考えられたのが、数学を用いた形式手法である。本書は、この手法の一つであるVDMとオブジェクト指向記述言語VDM++について実践的に解説する。
検索結果 1 件中 1 件~ 1 件を表示 |
- 予約購入について
-
- 「予約購入する」をクリックすると予約が完了します。
- ご予約いただいた商品は発売日にダウンロード可能となります。
- ご購入金額は、発売日にお客様のクレジットカードにご請求されます。
- 商品の発売日は変更となる可能性がございますので、予めご了承ください。