程序设计方法学相关论文
本文利用程序设计方法学的断言,逐步推导论证了一个正确的程序设计,并修正了McCarthy91函数的定义,严密地叙述该定义的函数值的范......
筑一期页橄一台面向高级语言的高性能计算机MU 6G……陈兴业(l)LisP语言和形式翻译······················......
由国防科技大学计算机系郭浩志副教授编著的《ADA程序设计基础》一书将于1989年2月由科学技术文献出版社重庆分社出版,各地新华书......
本文介绍了Cooper变换与函数反演变换的不同特点,并通过一系列的示例来加深对这些特点的认识。......
广泛而新型的应用领域和特殊要求导致了在数据库系统中全面引入对象概念的面向对象数据库的产生,把面向对象的方法和数据库技术结合......
一、概述面向Aspect的程序设计(Aspect Oriented Programming,简称为AOP)是一种关注点分离技术,通过运用Aspect这种程序设计单元,......
本文提出递归程序变换模式的一般设计方法,并以具体示例说明之。此外,还对递归程序变换的有关问题作了讨论。......
本文形式地描述了一种证明程序能够正确地进行计算的方法,为了做到这一点,这里给出了一个程序及其执行的抽象模型。然后相对于这一模......
程序设计方法学中的结构化程序设计张正瑜(山东财政学院信息系,济南,250014)随着计算机技术的日新月异的发展,计算机无论在容量上,还是在速度上......
“程序设计方法学”的课程内容分为结构化程序设计和面向对象程序设计两大部分,两者处于不同的知识层面.前者具有严谨的数学模型和数......
1986年,我执笔编写的计算机系研究生教学和学位工程计划(共124页),经过1987—1988年的不断充实,课程设置已初步成龙配套,1985年以......
程序设计方法学是软件工程专业的重要基础课。本文从课程教材的选取、多媒体课件制作、课堂教学设计几方面进行探讨,总结教学过程......
在程序设计方法学的发展中,面向对象的程序设计方法与结构化的程序设计方法既有相同之处,也有不同之点;既彼此联系,也各有其特点。......
本文目的旨在阐明程序设计的一些基本原理和方法。全文共分十二部分:第一至四部分的主要内容是程序结构分析,并由此熟悉本教程使用......
说明在计算机软件工程方法学研究和软件产业中正在实现由传统的结构化范型到面向对象范型的转变,分析这种转型的表现、内涵及意义,......
程序设计方法学是计算机专业的基础课,是一门研究程序的性质以及程序设计理论和方法的学科。主要内容包括结构化程序设计方法、面向......
“我们对事物的认识是不断变化发展的,认知论意在通过占有丰富的感性材料,运用科学的思维方式,使感性认识上升到理性认识,透过现象......
面向对象程序设计是一种实用的程序设计方法学,它采用全新的方法来求解问题,其思想被认为是80年代的结构程序设计,从更高更广的角......
本文讨论用Mathem atica 的两大核心工作机制即模式匹配和规则来实现横向程序变换.以两类不同的递归程序变换的抽象模式为例,本文设计了相应的Mathem atica ......
本文讨论一类递归算法 ,利用“递推关系”,“多步递归变换”及“函数嵌入法”等方法可得到它们的多种计算方案 ,对它们的运行效率......
一、问题的提出目前,发达国家软件产业的规模越来越大,我国的软件产业也正在逐渐形成.因而,软件设计的规范化及标准化也日益完善,......
形式化方法是基于严格数学基础,对计算机硬件和软件系统进行描述、开发和验证的技术.其数学基础建立在形式语言、语义和推理证明三......
<正> 一、竞争的态势和发展的机遇 兰大计算数学专业始建于60年代初期,当时全国仅有四个大学设立此专业;也只有包括甘肃在内的四个......