《软件开发的形式化工程方法》首次开创了一个新技术，即形式化工程方法，把传统的形式化方法和软件工程有机结合起来。它提供了一个严密、系统、有效的软件开发方法，其实用性超过了目前所有形式化方法。这正好可以满足学术界、软件工程类学生对学习... 详情>>内容简介 - 作者简介 - 编辑推荐 - 目录作者：(日本)刘少英出版时间： 2008出版社：清华大学出版社书名：软件开发的形式化工程方法:结构化+面向对象+形式化ISBN

2013年10月15日 - 针对这一问题,首先提出一种面向协同产品开发过程的两阶段多主体资源配置方法,该方法包括设计主体的本地选择与管理主体的仲裁两阶段;其次提出设...(共7...

2018年10月15日 - 第四章集成电路封装过程质量检测算法研究.集成电路(Integrated circuit,IC,又称芯片)封装过程是集成电路制造业中关键生产过程,封装质量的优劣直接影响...

2021年8月19日 - Java编程基础是本门课程的前导课程,学习本门课程需要先学习Java基本语法,本门课程系统介绍了Java面向对象的内容,包括继承,多态,抽象类,接口,内部类,构...