首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到10条相似文献,搜索用时 15 毫秒
1.
本文论述了网络协议开发的形式方法。作者设计了精确描述协议需求的协议形式规范语言PSL(Protocol Specification Language),并开发了相应的协议验证和自动生成的支持工具。通过ISO/OSI虚终端协议机的形式开发实践表明:应用该方法可以提高软件的生产效率,改善软件的质量。  相似文献   

2.
类型系统与程序正确性问题   总被引:1,自引:0,他引:1  
类型系统能检出合法程序的语义错误,可以缩短调试时间,在执行程序之前捕获代码中的错误。类型系统的理论基础是类型化的λ演算。带子类型的高阶类型系统腿已成为类型化语言的演算核心。类型系统和直觉主义极小逻辑是同构的。证明系统的能力取决于类型系统,因而类型系统可以表迭程序的性质,并自动进行验证。  相似文献   

3.
将Patrick Maier关于直觉主义线性时序逻辑的研究扩展到计算树逻辑中,基于完全树和非完全树构成的集合提出了一种直觉主义解释的计算树逻辑,并在此逻辑框架中研究了安全性和活性及其相关性质。比较了经典计算树逻辑与直觉主义计算树逻辑的表达能力,探究了直觉主义计算树逻辑中安全性和活性在并、交等操作下的封闭性以及与经典计算树逻辑中安全性和活性的关系,并为直觉主义计算树逻辑公式建立了分解定理。  相似文献   

4.
NDIS驱动程序研究和基于NDIS网络监测程序实现   总被引:3,自引:1,他引:3  
本文介绍了Windows环境下根据网络设备接口规范(Network Device Interface Specification)NDIS开发网络驱动程序的技术。并分析了开发基于NDIS网络监测程序的要点。  相似文献   

5.
Terry.Lee 《程序员》2004,(4):11-15
本系列将介绍如何开发基于Portlet Specification v1.0(JSR168)的Portlet应用程序以及相关的概念。这里使用Pluto v1.0作为Portal/Portlet Container。并且可以将开发完成的Portlet应用程序发布到任何遵循JSR168规范的其他Portlet Container和Portal Server上。  相似文献   

6.
近年来,软件工程的一项主要技术:软件系统的规范说明(Specification),愈来愈受到软件工作者们的重视。在这个领域内的研究也取得了许多成就。但由于种种原因,在我国计算机界,软件的规范说明技术尚未成为能引起人们足够注意的话题。在大多数软件系统的开发过程中,程序员还没有按照软件工程的作法要求,对所研制的程序提出较为正规严格的规范说明。然而,随着计算机应用在我国的逐渐推广,随着所研制的软件体积不断增大,规范说明的重要性也就必将会日益显现出来。本文打算就这方面问题谈谈自己的看法,并着重以两种规范说明语言为例,介绍一下国外计算机界在软件规范说明方面的研究情况。  相似文献   

7.
张昱 《计算机科学》2002,29(4):9-11
一、引言理论计算机科学的发展吸取了大量数学和逻辑上的重要成果。逻辑是理论计算机科学十分重要的基础之一,而其中又以直觉主义逻辑对计算机科学的影响最为显著,它的思想比古典逻辑更加切合计算的观点。另一个值得一提的成果就是Alonzo Church在1936年提出的λ-演算系统,λ-演算所依据的是一种完全不同于逻辑的思想,它是计算机科学中函数式程序设计语言的理论基础。这是两种无论从语祛上还是从语义上去观察都区别甚大的形式系统,然而它们之间却存在着某种奇妙的对应关系,这就是本文所要介绍的Curry-Howard同构理论(Curry-Howard Isomorphism)。  相似文献   

8.
LDM(开发方法逻辑)是在各种抽象级上设计软件的方法、语言和支撑系统。它以逻辑程序设计(prolog)和维也纳开发方法(VDM)的思想为基础。本文叙述了该方法、语言,第一个实验性支撑系统,以及从它的使用所得的经验。本文给出了使用LDM的开发过程的例子,并概述了一些进一步的打算。  相似文献   

9.
<正> Ⅰ引言 随着计算机科学理论与应用的发展,六十年代和七十年代以来出现了许多非数值计算的高级和非常高级语言。其中包括符号处理语言、逻辑语言、数据库管理语言、规格说明语言(specification Language)、软件要求工程语言 (Language for Software Requirement Engineering)和公式处理语言等等。本文旨对符号处理和公式处理语言做些介绍。  相似文献   

10.
NBS (Narrowband Sockets Specification)使开发者能够用标准规范开发无线应用软件。Intel公司和Nokia公司希望他们的NBS能够在无线网络中扮演TCP/IP在LAN和WAN中所扮演的角色:对现存技术产生强大形响。尽管Intel和Nokia对这一规范的目标是确实可行的,但是在其实现之前仍有许多工作要做。作为Intel-Nokia AOAC (“Always On,Always Connected  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号