【摘 要】
：
该课题组将结构化方法、面向对象的方法以及形式方法的优点结合起来,提出了一种新的软件需求规格说明语言——SOZRSL(Structure Object Z Requirement Specification Languag
论文部分内容阅读
该课题组将结构化方法、面向对象的方法以及形式方法的优点结合起来,提出了一种新的软件需求规格说明语言——SOZRSL(Structure Object Z Requirement Specification Language).该文所关注的问题是规格说明的求精,是从规格说明到程序代码的变换.这是形式方法研究中的热点和难点.至今没有人能够给出一个实现从规格说明到计算机代码的转换的求精工具.该文,首先简要介绍了形式方法和SOZRSL规格说明语言的优缺点,以及求精的主要问题和主要的方法.在对两种基本求精方法论述的基础上提出了我们的求精思想——将求精的过程分为两个不同的层次:第一层次是从抽象程度较高的规格说明到抽象程度较低的规格说明;第二层次是从抽象程度较低的规格说明到中间代码.在不同的求精层次上,我们采用了不同的方法:在第一层次的求精中,主要采用程序综合法;而在第二次的求精中,主要采用求精演算的方法.最后论文简单阐述了系统的实现.提出在用Yacc进行语法分析时解决冲突的策略,并介绍了系统实现的框架结构以及所采用的主要数据结构.
其他文献
该文首先介绍了面向对象方法引入的特性如封装、继承、多态等给测试面向对象软件带来的困难;然后按照软件测试步骤详细阐述了面向对象软件的单元测试、集成测试和回归测试技
随着计算机技术和网络技术的飞速发展，网络信息量呈带宽的指数级速度增长。人们希望在这个信息量爆炸的社会中，可以通过网络获得所需信息。在这样的背景下，关系抽取技术诞生并发
复杂机电系统中普遍是由多物理过程交互作用(即耦合)最终形成系统功能。这类耦合问题涉及多过程、多参数的多重耦合，问题求解难度很大。应用并行工程(Concurrent Engineering)
1990年，WWW（World Wide Web）出现，在随后的几年中它获得了空前的发展，Internet上的信息量以指数形式飞速增长。互联网上蕴藏着的海量信息，对于用户来说已经大大超过了可能的阅读量
嵌入式数据库管理系统是近几年才兴起的一项新的数据管理技术。它以目前成熟的数据库技术为基础，针对嵌入式设备的具体特点，实现对移动设备和嵌入式设备上数据的存储、组织和管
分布式数据库是数据库技术和计算机网络技术相结合的产物，是数据库技术的一个新领域，分布式数据库系统(DDBS)具有集中式数据库和C／S(客户机／服务器)不具备的数据的存储和处理方式
该文首先较详细地介绍了与包过滤和包重组相关的TCP/IP协议,其中重点讨论了IP封装、分片和重组、TCP连接的建立和关闭、TCP是如何实现传输的可靠性等.在第四章重点讨论了如何
智能的分布式的电子市场的模式将成为电子商务发展的未来模式,作为分布式人工智能领域的Agent和多Agent技术由于其具有的分布计算能力、自治性、面向目标性、应激性和社会性
移动Ad Hoc网络是在为了适应军事应用的条件下而产生的网络。它与有基础设施支持的网络的主要区别是其在无需任何基础设施条件支持的情况下可以根据节点自身的需求寻找一条路