推荐下载
-
软件工程原理方法与应用课件
这是一套很好的软件工程PPT课件，有兴趣的同学可以下回去学习呀！
39 2019-01-16 -
软件工程方法与实践习题答案
这是窦万峰编写的软件工程与实践课后习题答案详细解答，对学生学习有很大帮助，便于理解和学习
51 2019-07-09 -
软件工程方法篇
周之英的现代软件工程，方法篇完全版，纯PDF版本。
13 2019-09-24 -
软件工程方法.pdf
Software Engineering Method.pdf
35 2019-06-23 -
论文研究信息物理融合系统可信软件形式化建模与分析.pdf
论文研究-信息物理融合系统可信软件形式化建模与分析.pdf, 从多Agent系统的角度，以Petri网和π演算为语义基础，建立了一种信息物理融合系统（cyber-physical systems，C
24 2020-07-17 -
一种软件加密模型的形式化描述
软件加密技术是软件版权保护的有效手段之一．但以往这方面的研究和公开的文献大多数是从某种具体技术的实现上着手的，缺乏系统的观念和理论的指导。鉴于此，论文在简要地介绍了加密软件的特点后，结合有穷自动机理论
19 2019-09-11 -
软件工程学与软件工程教案
本人自行整理的软件工程学与软件工程教案，欢迎对编程爱好者提供帮助
31 2020-05-23 -
B方法讲义形式化开发软件方法之一
B方法，形式化开发软件的方法之一。有利于自动开发软件。
14 2020-06-20 -
安全协议形式化分析理论与方法研究综述
安全协议形式化分析理论与方法研究综述，学术论文
33 2019-07-29 -
论文研究面向方面软件体系结构编织的形式化描述方法.pdf
面向方面的规范描述在软件体系结构建模和分析中起着重要的作用，但目前已有的方法不能对体系结构方面及其编织逻辑的详细描述提供足够的支持，也缺乏行之有效的方法对方面的编织逻辑进行推理和评价。以Petri网作
45 2019-09-14
用户评论