功能规约相关论文
净室软件工程是软件开发的一种形式化方法,它可以生成有非常高的质量的软件.它使用盒结构规约进行分析和设计建模,强调用正确性的......
软件众包作为一种新型的软件开发模式,消除了传统软件开发对开发人员地理因素和人员集中的限制,采用群体竞争和多人在线合作的方式......
基于报文的排队将把事务处理从实时考虑中解脱出来。
Message-based queuing frees transactions from real-time considerations......
本文指出了算法形式化推导在程序设计和软件复用中的作用.通过对算法程序的功能规约进行等价变换,自然而且方便地得到求解问题的设......
传统上依靠经验设计的安全网关侧重于功能实现,缺少严格的安全模型。对此,针对一种典型安全网关,首先根据其安全需求给出相应的安......
架构分析与设计语言(AADL)是一种用于描述复杂嵌入式系统体系架构的建模语言,被广泛用于安全关键系统建模与验证。AADL通过行为附......
软件需求分析及其自动化技术是软件自动化和需求工程的关键问题之一。而字典管理和技术的研究是其重要组成部分。本文以自行研制的......
