第1卷，涵盖了基本的原则和技术，形式化方法和抽象造型。首先，这本书提供了一个良好的，但简单的基础上洞察离散数学：号码，电视机， cartesians ，类型，功能，的lambda演算，代数，数理逻辑。那么列车，其读者的基本财产和示范导向的规范原则和技巧。示范导向的观念，是共同的，如语言规范包括b ， vdm的-晚上八时，和z是解释，在这里用提高规范语言（出rsl ） 。这本书则涵盖的基本原则的应用（功能） ，势在必行，并发（并行）的规格规划。最后，卷载有一个全面的词汇，软件工程等，以及大量的索引和参考作用。



这些卷是适合自我学习*了软件工程师和使用的大学本科和研究生课程，软件工程等。讲师将得到一个全面的指导，以设计单元的基础上，教科书，同解决很多的演习，并在同一套完整的演讲幻灯片。-Volume 1 covers the basic principles and techniques of formal methods abstraction and modelling. First this book provides a sound, but simple basis of insight into discrete mathematics: numbers, sets, Cartesians, types, functions, the Lambda Calculus, algebras, and mathematical logic. Then it trains its readers in basic property- and model-oriented specification principles and techniques. The model-oriented concepts that are common to such specification languages as B, VDM-SL, and Z are explained here using the RAISE specification language (RSL). This book then covers the basic principles of applicative (functional), imperative, and concurrent (parallel) specification programming. Finally, the volume contains a comprehensive glossary of software engineering, and extensive indexes and references.



These volumes are suitable for self-study by practicing software engineers and for use in university undergraduate and graduate courses on software engineering. Lecturers will be supported