程序切片技术及其应用.pdf 本书主要介绍程序切片的起源和发展,程序切片技术的图论基础,程序切片的各种变体,计算程序切片的各种方法等内容。 叁号仓库 2022年07月15日 0 点赞 0 评论 6902 浏览
组合服务建模、测试与验证.pdf 本书从组合服务建模、测试和验证三个方面着手,介绍了与面向Web服务的软件开发和软件质量保证相关的理论和方法。全书共16章,主要包括Web服务概述、SOA简介、基于UML模型的Web服务组合建模、基于Petri网的Web服务建模等内容。 叁号仓库 2022年07月20日 0 点赞 0 评论 9718 浏览
信息物理融合系统导论.pdf 本书共分12章,其中第1-6章是关于信息物理融合系统基本知识简介,包括基本概念、基本原理、典型案例和存在问题分析等;第7章讨论了信息物理融合系统一般的建模和验证思路,以及常用的建模和验证方法;第8-11章重点介绍如何利用微分动态逻辑、微分代数动态逻辑、微分代数时序动态逻辑以及量化 叁号仓库 2022年07月20日 0 点赞 0 评论 8202 浏览