论文部分内容阅读
本文在JACKSON程序规格说明和过程蓝图的形式化定义基础上,给出了从JAOKSON程序规格说明出发,导出过程蓝,图时转换映射方法。使用过程蓝图取代结构文本作为JAOKSON程序规格说明和最终目标源代码的中间表示,改进了传统的JACKSON结构化程序设计方法。
JACKSON程序规格说明到过程蓝图的映射
【摘 要】
：
本文在JACKSON程序规格说明和过程蓝图的形式化定义基础上,给出了从JAOKSON程序规格说明出发,导出过程蓝,图时转换映射方法。使用过程蓝图取代结构文本作为JAOKSON程序规格说明和最终目标源代码的中间表示,改进了传统的JACKSON结构化程序设计方法。
【机 构】
：
汕头大学计算机科学系
【出 处】
：
计算机应用与软件
【发表日期】
：
1997年02期
其他文献
本文介绍了由Ｂ．Ｌｅｓｔｅｒ博士研制的并行程序设计学习和研究工具Ｍｕｌｔｉ－Ｐａｓｃａｌ。它允许用户在微机上编写和调试不同类型的并行程序，考察并行算法在各种并行计算机系统上的运行效率。
文章从考证鲍宣墓这一人文景观出发,对鲍宣忠烈满门的民本文化给予了肯定和评价,并介绍了老墓在历史长河中的兴衰枯荣.
俄法签署能源和航天领域合作文件。为期两天的俄法政府双边合作委员会十三次会议20日在俄南部城市索契闭幕。双方当天签署了旨在深化能源和航天等领域合作的一系列文件。俄法
文章论述了中学历史课传统教学的利弊得失 ,探讨了在新的教学模式下如何运用现代化信息技术超越教材束缚 ,传授知识 ,提高教学质量的方式方法 ,对中学教学改革和发展有一定的
由于样条曲面具有灵活性,概念简单,易于通过操作控制点控制形状,所以样条曲面对于自由曲面建模是十分重要的。但是,对于复杂形状,可通过大量控制点和用一些几何规则对曲面进行描述,本文将对有关这些规则描述和建立一些基本概念。
本文应用面向对象技术分析建筑施工组织设计，建立了包括施工项目子模型和施工活动子模型的施工领域模型，并在此基础上建立了施工方案智能决策支持系统模型。同时以钢筋砼建筑的
本文提出的改进的Phong浓淡处理技术,无须对多边形进行任何预处理,通过对漫反射明暗度和表面法矢及H矢量的双线性插值,保证了显示效果,并将算法效率提高35～40％。
本文提出了一个分离重叠积项的算法。该算法在逻辑测试、函数最小化等逻辑综合的领域有重要作用。文中还给出了一个基于积项分离原理的判全域算法。