程序设计方法学相关论文
本文利用程序设计方法学的断言,逐步推导论证了一个正确的程序设计,并修正了McCarthy91函数的定义,严密地叙述该定义的函数值的范......
介绍一种证明程序正确性的方法 ,并和Floyed—Hoare公理学方法作了一些比较。为了形象的描述该方法 ,建立了一个抽象模型及一个程......
“程序设计方法学”的课程内容分为结构化程序设计和面向对象程序设计两大部分，两者处于不同的知识层面．前者具有严谨的数学模型和数......
程序设计方法学是软件工程专业的重要基础课。本文从课程教材的选取、多媒体课件制作、课堂教学设计几方面进行探讨,总结教学过程......
在程序设计方法学的发展中,面向对象的程序设计方法与结构化的程序设计方法既有相同之处,也有不同之点;既彼此联系,也各有其特点。......
本文目的旨在阐明程序设计的一些基本原理和方法。全文共分十二部分:第一至四部分的主要内容是程序结构分析,并由此熟悉本教程使用......
说明在计算机软件工程方法学研究和软件产业中正在实现由传统的结构化范型到面向对象范型的转变,分析这种转型的表现、内涵及意义,......
程序设计方法学是计算机专业的基础课，是一门研究程序的性质以及程序设计理论和方法的学科。主要内容包括结构化程序设计方法、面向......
“我们对事物的认识是不断变化发展的,认知论意在通过占有丰富的感性材料,运用科学的思维方式,使感性认识上升到理性认识,透过现象......
本文讨论一类递归算法 ,利用“递推关系”,“多步递归变换”及“函数嵌入法”等方法可得到它们的多种计算方案 ,对它们的运行效率......
形式化方法是基于严格数学基础,对计算机硬件和软件系统进行描述、开发和验证的技术.其数学基础建立在形式语言、语义和推理证明三......
<正> 一、竞争的态势和发展的机遇 兰大计算数学专业始建于60年代初期,当时全国仅有四个大学设立此专业;也只有包括甘肃在内的四个......
