形式化规约相关论文
无人驾驶系统综合了软件和硬件复杂的交互过程,在系统设计阶段,形式化方法可以保证系统满足逻辑规约和安全需求;在系统运行阶段,深......
数据库建模中常常要处理大量与时间信息密切相关的数据,称不时态数据.在数据库应用问题中,清晰准确的描述这睦时态数据是进一步对......
网络在现实的生活中使用越来越广泛,但是安全问题却越来越突出,如何保证安全性已经成为首要解决的问题.目前公钥基础设施PKI(Publi......
协议工程是协议开发质量保证的一个重要手段,其中协议一致性测试是协议工程的一个基础部分。协议一致性测试的核心部分是在协议规......
面向对象技术在软件工程中的推广使用,使得传统的测试技术和方法受到了极大的冲击.传统的测试技术已经无法有效的测试面向对象程序......
多年以来,形式化规约(formal specification)一直是软件工程领域中的一个研究热点,它的应用范围也正在逐步增长。许多研究表明,对形式......
多年以来,形式化规约(formal specification)一直是软件工程领域中的一个研究热点,它的应用范围也正在逐步增长。一般来说,形式化规约......
计算机语言是计算机与使用者之间的通讯语言。是计算机与其使用者之间信息传递的媒介。 计算机语言的发展经历了最初的低级语言......
近年来,Web服务作为SOA的一种实现形式,在电子商务、企业应用等领域都扮演着愈发重要的角色,其全新的软件组件思维方式,使得系统服......
随着软件规模的不断增大,如何保证软件的可靠性和安全性成为学术界和工业界越来越关注的问题.运行时验证是一种新型的程序自动验证......
体系结构风格是体系结构设计的重要指导,它为设计人员的交流建立了公共的术语空间,促进了设计复用与代码复用.本文试图为体系结构......
提出了并发系统的一种规约方法.这一方法可用于对并发系统进行建模和对模型的验证.将形式化工具融入到一种二维的规约方法中,这样就能......
体系结构风格是体系结构设计的重要指导,它为设计人员的交流建立了公共的术语空间,促进了设计复用与代码复用.本文试图为体系结构......
传统的源码缺陷分析方法存在缺陷规则有限,缺陷检测结果不明确等问题。以模型检测中的形式化规约为基础,提出一种积木式缺陷规则库构......
提出了一种应用概率模型检测技术进行分布式任务关键系统生存性的量化分析研究方法。该方法对攻击者和系统的交互行为进行精简抽象......
UML活动图是一种特殊的状态机,被认为最适合描述软件过程建模,但其缺乏精确的语义,不利于对模型进行形式化分析和验证。针对传统描......
使用控制模型UCON是高度分布式、网络化的异构开放式计算环境下实现数字资源保护的新型访问控制模型。首先,利用态式时间进程代数T......
基于Agent技术为复杂分布式问题提供了求解方法。软件体系结构是控制软件复杂性、提高软件系统质量、支持软件开发和复用的重要手......
根据统一建模语言(UML)顺序图的时序特征,提出一种基于时序描述逻辑ALCQIus的UML顺序图形式化方法。研究ALCQIus时序扩展部分的语法和......
计算机犯罪的多样性使得现有的静态取证和动态取证模型均已不能很好的满足计算机取证的要求,亟需建立一种新型态的取证模型。仿真分......
在对构件库中的构件进行修改和组装时,总会涉及构件间的关联问题,例如构件A的实现依赖于构件B,那么在用A进行组装时也必然会用到B。目......
面向方面程序设计(Aspect-Oriented Programming,AOP)是一种新的程序方法学,代表程序方法学的发展趋势。面向方面程序设计减少由于......
信息产业的飞速发展对软件的可靠性提出了更高的要求,程序静态分析作为不执行待测程序自身的一种程序分析技术,其目标是验证代码是......
本文针对UML状态图具有动态行为和时序特征的特点,提出了一种新的描述逻辑,即时序描述逻辑TDDL(SHOIN(D))。首先给出了TDDL(SHOIN(D))的语......