本书采用UML建模实现了软件工程的主要过程：需求、分析、设计、代码导出、设计模型维护等。文中对协作开发...
2010.8
本书采用UML建模实现了软件工程的主要过程：需求、分析、设计、代码导出、设计模型维护等。文中对协作开发...
2010.6
本书是形式化领域入门及提高的实用指南。本书提供了使用Event-B对系统进行设计和建模的数学方法。基于改进...
2019.4
软件形式化方法已经在工业领域得到广泛应用，形式化方法已成为提高软件可信性的重要手段。但是在CPS中，软...
2018.9
本书主要介绍采用UML建模实现软件工程的主要过程，包括需求、分析、设计、代码导出、设计模型维护等，对协...
2010.8