软件开发的形式化工程方法:结构化+面向对象+形式化_360百科 《软件开发的形式化工程方法》首次开创了一个新技术,即形式化工程方法,把传统的形式化方法和软件工程有机结合起来。它提供了一个严密、系统、有效的软件开发方法,其实用性超过了目前所有形式化方法。这正好可以满足学术界、软件工程类学生对学习... 详情>>内容简介 - 作者简介 - 编辑推荐 - 目录作者:(日本)刘少英出版时间: 2008出版社:清华大学出版社书名:软件开发的形式化工程方法:结构化+面向对象+形式化ISBN
面向协同产品开发过程的多主体资源配置-《计算机集成制造系统》2013年... 2013年10月15日 - 针对这一问题,首先提出一种面向协同产品开发过程的两阶段多主体资源配置方法,该方法包括设计主体的本地选择与管理主体的仲裁两阶段;其次提出设...(共7...
面向集成电路封装过程的监测方法研究与系统实现-《浙江大学》2018年... 2018年10月15日 - 第四章集成电路封装过程质量检测算法研究.集成电路(Integrated circuit,IC,又称芯片)封装过程是集成电路制造业中关键生产过程,封装质量的优劣直接影响...
Java面向对象编程-异常产生的过程视频_在线视频教程-CSDN程序员研修院 2021年8月19日 - Java编程基础是本门课程的前导课程,学习本门课程需要先学习Java基本语法,本门课程系统介绍了Java面向对象的内容,包括继承,多态,抽象类,接口,内部类,构...