形式化规约相关论文
协议工程是协议开发质量保证的一个重要手段,其中协议一致性测试是协议工程的一个基础部分。协议一致性测试的核心部分是在协议规......
面向对象技术在软件工程中的推广使用,使得传统的测试技术和方法受到了极大的冲击.传统的测试技术已经无法有效的测试面向对象程序......
多年以来，形式化规约(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））的语......
使用LOTOS描述实时系统需求规约,通过建立LOTOS规约到UML-RT模型的模型转换,提出一种基于形式化规约生成软件体系结构模型的方法.......
