Loading... loading....
Cheaper price than regular books. Find here reasons to use CDJapan eBooks!

VDM + + Niyoru Keishiki Shiyo Kijutsu

VDM++による形式仕様記述 - 本位田真一/監修 荒木啓二郎/監修 石川冬樹/著

VDM + + Niyoru Keishiki Shiyo Kijutsu
eBooks Edition
If you want to read eBooks on PC, click here.
Viewer Type viewer_image Neowing eBook Reader
Price 4180 yen
Points You Earn 41 points (1%)
Compatible Devices
Release Date Feb 14, 2020(JST)

Description in Japanese


明確な仕様の記述と検証を行わずして、抵当な開発を行うことは出来ない! ソフトウェア開発では、上流工程を自然言語で表現する。このため論理的不一致などがおき、手戻りが発生する。これを解決する方法として考えられたのが、数学を用いた形式手法である。本書は、この手法の一つであるVDMとオブジェクト指向記述言語VDM++について実践的に解説する。

Translate Description

*As it is a machine translation, the result may not provide an accurate description. Please use it only as a reference. *Not available within the China mainland region.

More published by Kindai Kagaku Sha

Browse similar eBooks