共查询到10条相似文献,搜索用时 15 毫秒
1.
本文论述了网络协议开发的形式方法。作者设计了精确描述协议需求的协议形式规范语言PSL(Protocol Specification Language),并开发了相应的协议验证和自动生成的支持工具。通过ISO/OSI虚终端协议机的形式开发实践表明:应用该方法可以提高软件的生产效率,改善软件的质量。 相似文献
2.
3.
《计算机科学与探索》2016,(2):163-172
将Patrick Maier关于直觉主义线性时序逻辑的研究扩展到计算树逻辑中,基于完全树和非完全树构成的集合提出了一种直觉主义解释的计算树逻辑,并在此逻辑框架中研究了安全性和活性及其相关性质。比较了经典计算树逻辑与直觉主义计算树逻辑的表达能力,探究了直觉主义计算树逻辑中安全性和活性在并、交等操作下的封闭性以及与经典计算树逻辑中安全性和活性的关系,并为直觉主义计算树逻辑公式建立了分解定理。 相似文献
4.
NDIS驱动程序研究和基于NDIS网络监测程序实现 总被引:3,自引:1,他引:3
本文介绍了Windows环境下根据网络设备接口规范(Network Device Interface Specification)NDIS开发网络驱动程序的技术。并分析了开发基于NDIS网络监测程序的要点。 相似文献
5.
本系列将介绍如何开发基于Portlet Specification v1.0(JSR168)的Portlet应用程序以及相关的概念。这里使用Pluto v1.0作为Portal/Portlet Container。并且可以将开发完成的Portlet应用程序发布到任何遵循JSR168规范的其他Portlet Container和Portal Server上。 相似文献
6.
赖少庆 《小型微型计算机系统》1986,(3)
近年来,软件工程的一项主要技术:软件系统的规范说明(Specification),愈来愈受到软件工作者们的重视。在这个领域内的研究也取得了许多成就。但由于种种原因,在我国计算机界,软件的规范说明技术尚未成为能引起人们足够注意的话题。在大多数软件系统的开发过程中,程序员还没有按照软件工程的作法要求,对所研制的程序提出较为正规严格的规范说明。然而,随着计算机应用在我国的逐渐推广,随着所研制的软件体积不断增大,规范说明的重要性也就必将会日益显现出来。本文打算就这方面问题谈谈自己的看法,并着重以两种规范说明语言为例,介绍一下国外计算机界在软件规范说明方面的研究情况。 相似文献
7.
一、引言理论计算机科学的发展吸取了大量数学和逻辑上的重要成果。逻辑是理论计算机科学十分重要的基础之一,而其中又以直觉主义逻辑对计算机科学的影响最为显著,它的思想比古典逻辑更加切合计算的观点。另一个值得一提的成果就是Alonzo Church在1936年提出的λ-演算系统,λ-演算所依据的是一种完全不同于逻辑的思想,它是计算机科学中函数式程序设计语言的理论基础。这是两种无论从语祛上还是从语义上去观察都区别甚大的形式系统,然而它们之间却存在着某种奇妙的对应关系,这就是本文所要介绍的Curry-Howard同构理论(Curry-Howard Isomorphism)。 相似文献
8.
9.
冯方方 《计算机工程与应用》1985,(4)
<正> Ⅰ引言 随着计算机科学理论与应用的发展,六十年代和七十年代以来出现了许多非数值计算的高级和非常高级语言。其中包括符号处理语言、逻辑语言、数据库管理语言、规格说明语言(specification Language)、软件要求工程语言 (Language for Software Requirement Engineering)和公式处理语言等等。本文旨对符号处理和公式处理语言做些介绍。 相似文献