论文部分内容阅读
文献[1]对程序开发中逐步求精过程予以形式化,提出求精实现的数学定义。本文在此基础上提出模块化实现的概念,作为模块化程序设计过程的形式化定义。本文证明了模块化实现具有水平合成与垂直合成性质,文[1]中的求精实现是本文定义的模块实观的一个特例。
模块化程序设计的代数理论
【摘 要】
：
文献[1]对程序开发中逐步求精过程予以形式化,提出求精实现的数学定义。本文在此基础上提出模块化实现的概念,作为模块化程序设计过程的形式化定义。本文证明了模块化实现具
【机 构】
：
重庆交通学院管理工程系
【出 处】
：
重庆交通学院学报
【发表日期】
：
1991年4期
【基金项目】
：
受院青年科学基金资助
其他文献
当前时代的主流趋势就是对于大数据的应用,应用大数据可以优化组织机构,发掘员工潜力,使企业人力资源实现网络化管理,对人力资源绩效管理效率的提高发挥着重要的作用。在大数
“云模式”校企合作IT人才培养新模式．将IT企业的最新项目案例通过云计算平台无缝嵌入到高校IT专业的实习实践环节中，克服了此前校企合作中出现的影响正常教学秩序、缺乏安全保
应对产业结构优化升级的需要,一些发达国家逐步提升职业教育的层级,构建了较完善的现代职业教育体系。借鉴发达国家和地区职业教育的办学经验,结合本国实际,在推进我国现代职
本文详细统计分析了云南、广西的三段路堤施工监理资料，对容重、压实度、含水量、饱和度等的变异性进行了分析，对路堤的设计参数和试验方法提出了建议。
泥渊滩位于石溪口电航枢纽的回水上段，由于电站发电用水造成泥渊滩流速和水面比降增大，船舶上行困难，形成碍航滩险．本文通过勘测和计算进行得航原因分析，经过论证提出治理措施，妥善
本文介绍了成渝公路交通工程设计构思的基本情况及主要内容,并结合国内情况论述了高等级公路交通工程的设计原则及若干具体问题的处理。
高职教育校企合作行为是典型的社会交换行为。校企合作行为的本质和实践要求在高职教育校企合作促进法中建立交换制度。高职教育校企合作促进法应增强校企合作主体间的相互吸
本文根据文［３］的理论，以弯矩矢量为工具，研究了雁形板及Ｖ型折板中单个板件的平衡，由此算得了在集中力荷载作用下，雁形板Ｖ型折板的分力分布，并编制了相应用计算机程序和应力系数计算表格
运用统计分析方法对１９９５－１９９９年５月内《重庆交通学院学报》刊载论文作者年龄，职称，性别、地区分布、学科分布、出版周期及引文量，引文类型，年代，时差和文种等进行统计分析和讨论，指出了《学报