完善Jackson的设计方法

来源 :天津理工学院学报 | 被引量 : 0次 | 上传用户:zhangfegnlin
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Jackson方法所得到的程序模块结构差,形式化描述能力弱.因此,结构性不理想,使得Jackson方法在使用中受到限制.本文提出一种方法.将数据结构按其性质划分成若干个数据结构,对每一个数据结构设计出相应的CSP,它们之间接口是CSP通讯.在设计每个CS P时给出所处理数据的属性文法的形式说明,其描述能力比Jackson的数据结构树更严格.由此形成说明导出相应的进程.所设计的方法实质上是融合了当前属性文法,模块程序设计以及Jackson方法,而获得一个更好、更为有力的程序设计方法.
其他文献
研究了CeCl3对固体粉末法硼钒共渗渗层成分、组织和性能的影响 .发现随CeCl3加入量的增加 ,渗层中新相Al2 O3的量不断增多 ;当CeCl3加入量为 5%时 ,渗层中出现连续致密分布的
我国微课教学资源开发经历了“以媒体为中心”、“以内容为中心”和“以活动为中心”三个发展阶段。其中“以媒体为中心”微课资源开发的基本特点是“重形式轻内容”;“以内
目前,在美国一些城市出现配备微型诊疗仪的流动医疗小组,他们走街串巷随时抢救病人,深受社会欢迎。
数学本身就是一门抽象系统的学科,在学习数学时,只有让学生全面掌握各种数学理论以及解题手段,才能达到理想的教学目标,确保学生将掌握的知识运用到实际生活中。在传统的数学
宫颈糜烂是育龄妇女最常见的一种慢性宫颈炎,而且是诱发宫颈癌的高危因素之一,因此宫颈糜烂的治疗具有重要意义,不仅能减轻患者精神和肉体上的痛苦,而且能有效地减少阻断宫颈癌的
目的:本研究以宋元时期道教医学发展为主要研究对象,一是为了挖掘道教医学的自身特点;二是探索道教医学与中医学的关系,并为传统医学的发展提供佐证与思路。方法:论文采用文献研究法及比较研究法,对道教医学及宋元时期道教医学的发展面貌进行分析。结果:第一部分对道教医学的概念及发展沿革进行剖析,尝试界定道教医学的概念。这一部分中首先对道教医学的内涵进行剖析,在对道家与道教、道医与巫医、道医与方士医学、道医与传
郑和下西洋是我国历史上的重要事件。在明代,“郑和下西洋”故事见于正史、笔记、戏曲及通俗小说中,不同文本对这一故事的描述各不相同,有详有简、有实有虚,呈现出不同的特征
健身气功是我国优秀的传统体育项目,动作优美,愉悦身心,有丰厚的文化底蕴,是经过国家认可的健身项目。长期练习,可以有效增强人们的身体健康,丰富业余生活,还有助于社会交往
本文采用文献资料、访问座谈、问卷调查等方法,对影响我省体育考生生源状况的体育教师方面的因素进行了分析,旨在为提高我省体育考生生源质量提供依据.
文章以湖北省武术队作为个案研究。运用文献资料法、问卷调查法、实地考察法等方法对湖北省专业队运动员文化课学习课程设置的内容,文化课周教学实践总量,文化学习和运动训练的