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