陈仪香

形式语义学的稳定论域理论.pdf

本书讲述了计算机语言形式语义的稳定论域理论中的序理论、逻辑结构和拓扑方法,论述了稳定映射的代数、拓扑刻画以及迹表示等内容。

软件可信性度量评估与增强规范.pdf

软件可信性度量评估与增强规范是目前计算机科学与软件工程的一个重要研究领域,其研究成果对可信软件开发等方向有重大的理论价值和实际意义。《软件可信性度量评估与增强规范》融入了作者及其研究团队近十年来承担完成国家重要研发任务的研究与应用成果,深入系统地论述了软件可信性层次化度量模型构建