形式规约相关论文
形式化方法是指依赖严格的数学基础对软、硬件系统进行形式规约、开发和验证的技术。形式规约作为形式化方法的基础,通过形式语言......
本文的研究工作是关于形式规约语言LFC(Language For CFRF)的实现问题中的一部分。形式规约(Formal Specification)是对软件系统所......
软件测试是保证软件质量的必要手段。由于基于用例运行程序进行测试低效且容易出错，人们从六十年代起就开始探索用例测试之外的其它......
形式化方法(Formal Method)基于严格的数学理论,能产生精确、无二义性的形式规约,为软件开发提供了严格的数学基础,对提高软件的可......
形式规约使用形式语言构建所开发的软硬件系统的规约,刻画系统的模型和性质。其中,性质规约中的分支时间规约对于系统验证有着非常......
面向动作的上下文感知（activity-oriented context-aware,简称AOCA）应用组织环境中的资源,为用户动作的顺利进行提供支持.为应对环境......
规约在软件开发和验证中占有重要地位，对于以一阶逻辑为基础的规约，可以利用有限模型构造技术对其执行并测试，文中研究规约中某些特性......
基于时序逻辑CTL（computation tree logic）的一种扩展CTL-FV对优化编译中的语句交换和变量替换这两种常见变换的保义性条件给出了形......
精确的软件需求规约是确保软件质量的基础，软件过程中保证方法更为重要，良好的方法可以保证在产品的开发过程中不引入人为的错误。现......
本文以面向Agent的软件工程技术研究为核心，提出了一种Agent、目标与情景结合的需求分析方法。该方法以用类自然语言SSDL撰写的一组......
针对实时系统软件开发的特殊性要求,本文强调形式方法是保证实时系统软件开发正确的一种重要方法。文章首先对形式方法的含义进行......
形式化方法是确保安全协议设计正确性的重要工具,利用形式化方法已经发现了许多安全协议的设计错误.首次利用形式规约语言Z对RFID......
精确的软件需求是软件质量的保证,UML在软件需求中起着重要的作用,它用于描述软件的需求模型、对象模型、动态模型和部署模型。然......
形式化方法有助于软件开发中发现其它方法不容易发现的系统描述的不一致、不明确或不完整,增加软件开发人员对系统的理解,利用形式......
