李必

程序切片技术及其应用.pdf

本书主要介绍程序切片的起源和发展,程序切片技术的图论基础,程序切片的各种变体,计算程序切片的各种方法等内容。

组合服务建模、测试与验证.pdf

本书从组合服务建模、测试和验证三个方面着手,介绍了与面向Web服务的软件开发和软件质量保证相关的理论和方法。全书共16章,主要包括Web服务概述、SOA简介、基于UML模型的Web服务组合建模、基于Petri网的Web服务建模等内容。

信息物理融合系统导论.pdf

本书共分12章,其中第1-6章是关于信息物理融合系统基本知识简介,包括基本概念、基本原理、典型案例和存在问题分析等;第7章讨论了信息物理融合系统一般的建模和验证思路,以及常用的建模和验证方法;第8-11章重点介绍如何利用微分动态逻辑、微分代数动态逻辑、微分代数时序动态逻辑以及量化