形式规约相关论文
形式化方法是指依赖严格的数学基础对软、硬件系统进行形式规约、开发和验证的技术。形式规约作为形式化方法的基础,通过形式语言......
软件需求分析是软件工程的重要组成部分,利用图形描述技术进行软件需求分析受到越来越广泛的重视.本文采用形式化规约技术,对几种......
本文的研究工作是关于形式规约语言LFC(Language For CFRF)的实现问题中的一部分。形式规约(Formal Specification)是对软件系统所......
软件测试是保证软件质量的必要手段。由于基于用例运行程序进行测试低效且容易出错，人们从六十年代起就开始探索用例测试之外的其它......
本文阐述了一个静态软件测试工具中使用的规约语言的设计和相应翻译工具的实现.该规约语言以一阶逻辑和集合论为基础,提供了集合、......
该文的研究是关于函数式语言LFC(Language For Context Free Recurisive Function)的实现.LFC是基于上下文无关语言的一种函数式语......
COOZ(complete object-oriented Z)的优势在于精确描述大型程序的规约.COOZ本身的结构不支持精化演算,这限制了COOZ的应用能力,使C......
讨论了COOZ(complete object-oriented Z)中的继承关系,将继承分为增量继承和子类型化继承,并重点讨论了子类型化继承.定义了一种......
形式规约使用形式语言构建所开发的软硬件系统的规约,刻画系统的模型和性质。其中,性质规约中的分支时间规约对于系统验证有着非常......
面向动作的上下文感知（activity-oriented context-aware,简称AOCA）应用组织环境中的资源,为用户动作的顺利进行提供支持.为应对环境......
通过证明程序规约的方法可构造相应程序，但对“难题”和无证明的规约，无法使用这种方法构造程序，另一方面，如果可构造程序规约的验证程......
规约在软件开发和验证中占有重要地位，对于以一阶逻辑为基础的规约，可以利用有限模型构造技术对其执行并测试，文中研究规约中某些特性......
运算构造和检验系统是形式规约获取系统ＳＡＱ的一个子系统。在ＳＡＱ系统中，运算用于表示规约的语义。ＦＣ提供了对运算的交互式归纳定义方式和运算......
基于时序逻辑CTL（computation tree logic）的一种扩展CTL-FV对优化编译中的语句交换和变量替换这两种常见变换的保义性条件给出了形......
精确的软件需求规约是确保软件质量的基础，软件过程中保证方法更为重要，良好的方法可以保证在产品的开发过程中不引入人为的错误。现......
本文以面向Agent的软件工程技术研究为核心，提出了一种Agent、目标与情景结合的需求分析方法。该方法以用类自然语言SSDL撰写的一组......
针对实时系统软件开发的特殊性要求,本文强调形式方法是保证实时系统软件开发正确的一种重要方法。文章首先对形式方法的含义进行......
形式化方法是确保安全协议设计正确性的重要工具,利用形式化方法已经发现了许多安全协议的设计错误.首次利用形式规约语言Z对RFID......
精确的软件需求是软件质量的保证,UML在软件需求中起着重要的作用,它用于描述软件的需求模型、对象模型、动态模型和部署模型。然......
形式化方法有助于软件开发中发现其它方法不容易发现的系统描述的不一致、不明确或不完整,增加软件开发人员对系统的理解,利用形式......
形式化方法是基于严格数学基础,对计算机硬件和软件系统进行描述、开发和验证的技术.其数学基础建立在形式语言、语义和推理证明三......
