![递归问题循环不变式开发新策略的研究与应用]()
杨庆红[1]2003年在《递归问题循环不变式开发新策略的研究与应用》文中研究表明软件形式化是提高软件可靠性和生产效率、实现软件自动化的有效途径。循环不变式在软件形式化方法中占有十分重要的地位，它是理解、证明和推导算法程序的基础和关键。因此目前许多算法和程序设计的着作和教材中，均广泛地使用了循环不变式...
![基于UML的实时系统并行对象模型]()
舒国强[1]2003年在《面向对象的实时系统可调度性验证和代码生成技术研究》文中进行了进一步梳理实时系统在工业界和人们日常生活中扮演着日益重要的角色，其开发方法学和实现技术也一直是学术界研究的热点课题。面向对象的分析和设计方法在非实时领域已经取得了巨大的成功，但它在实时系统特别是具有严格时间约束的硬...
![产品信息符号建模理论、方法及其应用研究]()
伊国栋[1]2003年在《产品信息符号建模理论、方法及其应用研究》文中指出产品信息建模是产品设计活动的基础。本文根据设计信息和设计过程的特点,在单元化建模的基础上系统地提出了产品信息的符号建模原理与方法,深入研究了基于符号模型的产品概念方案建模、产品装配关系建模和零件详细结构建模等关键技术,开发了符...
![基于场景和形式化方法的软件需求建模研究]()
程勇[1]2002年在《基于场景和形式化方法的软件需求建模研究》文中研究表明信息时代的今天，信息技术(InformationTechnology，IT)产业已成为推动世界经济增长的主要动力之一。随着计算机硬件技术的不断成熟，产业竞争正逐渐转向软件开发领域。软件开发实践表明：用户需求是软件系统成功的关...
![安全协议模型检验技术研究与实现]()
李梦君[1]2005年在《安全协议形式化验证技术的研究与实现》文中认为协议是指两个或者两个以上的参与者为完成某一项特定任务相互约定的执行步骤和执行规则。协议的定义包含叁层含义:(1)协议至少有两个参与者;(2)协议在参与者之间表现为消息交换和消息处理交替进行的一系列步骤;(3)协议的执行是为了能够完...
![密码协议安全性分析中的逻辑化方法——一种新的BAN类逻辑]()
李益发[1]2001年在《密码协议安全性分析中的逻辑化方法——一种新的BAN类逻辑》文中研究指明本文探讨了其它BAN类逻辑的缺陷及其产生原因，在此基础上提出了一种新的BAN类逻辑。首先，本文探讨了BAN类逻辑的缺陷，并对产生缺陷的原因作了细致的分析，提出了作者自己独特的看法。其次，本文首次阐释、构建...
![关于需求分析建模与模型验证技术的研究]()
林云[1]2001年在《关于需求分析建模与模型验证技术的研究》文中研究说明随着计算机技术应用的日益广泛，目前在国内外航天飞行器上采用软件实现的功能越来越多，软件的规模也越来越大。通过对航天计算机系统的软件所普遍存在着的错误进行分析，结合一些实际数据，我们清晰地看到，软件需求规格说明常常是引起软件错误...
![基于动态逻辑的Agent的形式化模型]()
张春霞[1]2000年在《基于动态逻辑的Agent的形式化模型》文中认为随着计算机网络以及基于网络的分布式计算的发展，对于Agent系统的研究，已成为人工智能领域中一个新的研究热点，也成为分布式人工智能的重要研究方向。基于Agent的技术被认为是软件领域中的一次重大突破。本文提出了一种基于动态逻辑的...
