《使用VDM进行系统软件开发,第二版》

《SYSTEMATIC SOFTWARE DEVELOPMENT USING VDM, SECOND EDITION》

使用VDM进行系统软件开发,第二版

简介:

本书的目的是促进形式化方法在计算机系统规范和设计中的更广泛应用。VDM 是在工业环境中开发的,是最广泛使用的形式化方法之一。本书之所以使用 VDM,是因为它已经达到了一定的成熟度和接受度:它已经被教授了很多年,并被广泛应用于各种应用中。此外,英国标准协会 (BSI) 为 VDM 制定标准的工作也是本书修订版的推动力之一。

英文简介:

The aim of this book is to contribute to the wider use of formal methods in the specification and design of computer systems. VDM was developed in an industrial environment and is one of the most widely used formal methods. VDM is used in this book because it has achieved a level of maturity and acceptance: it has been taught for many years and has been used in a wide variety of applications. Furthermore, the British Standards Institution (BSI) work on developing a standard for VDM has been one of the stimuli for this revised edition.

语言
英文/English
在线查阅
Download

最后更新:2025-03-15 16:46:55

←《数学系统和控制理论中的未解决问题》

→《计算问题:思想、算法、源代码(原名:程序员的算法)》