注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. 程序设计方法学-程序设计方法学的ppt

  2. 主要介绍程序设计方法学这一新兴学科的主要内容，即结构化程序、程序正确性证明、结构化程序的正确性证明、递归程序及其正确性证明、程序的形式推导技术、程序变换技术、面向对象的设计方法和大型程序设计方法学基础等。 培养学生运用这些理论和方法，从认识规律出发训练各种良好的程序设计习惯，掌握到目前为止公认为成熟的有实用价值的具有完整科学理论和与之相关的技术方法作指导的软件设计和开发技术。

  3. 所属分类：专业指导

    • 发布日期：2009-06-13
    • 文件大小：4194304
    • 提供者：o2mania

  1. 程序设计方法学讲义（doc）

  2. 程序设计方法学讲义 第一章 程序设计方法简介 1、 产生和发展 2、 程序设计的一般途径 3、 结构化程序设计及其讨论的主要问题 第二章 程序的控制结构 1、 基本控制结构 2、 goto语句 3、 过程与函数 4、 结构化程序和结构定理 第三章 程序的正确性证明 1、 程序的测试 2、 Floyd-Hoare规则公理方法 3、 Dijkstra最弱前置条件方法 第四章 数据类型与抽象 1、 类型概念 2、 数据类型 3、 数据抽象及其代数规范 4、 大型程序设计与抽象数据类型 第五章 递归程

  3. 所属分类：其它

    • 发布日期：2009-06-18
    • 文件大小：574464
    • 提供者：baowanyu

  1. 程序结构的7个证明原理

  2. 程序结构的7个证明原理 　　程序结构应遵循7个证明原理，以确保程序的正确性、健壮性、灵活性、可重用和可读性等。

  3. 所属分类：专业指导

    • 发布日期：2007-10-11
    • 文件大小：35840
    • 提供者：WudGaby

  1. 《IBM—PC汇编语言程序设计》习题参考答案

  2. 《IBM—PC汇编语言程序设计》习题参考答案 第 八 章. 习 题 8.1 写出分配给下列中断类型号在中断向量表中的物理地址。 (1) INT 12H (2) INT 8 答：(1) 中断类型号12H在中断向量表中的物理地址为00048H、00049H、0004AH、0004BH； (2) 中断类型号8在中断向量表中的物理地址为00020H、00021H、00022H、00023H。 8.2 用CALL指令来模拟实现INT 21H显示字符T的功能。 答：MOV AH, 2 MOV DL , ‘

  3. 所属分类：硬件开发

    • 发布日期：2009-11-02
    • 文件大小：801792
    • 提供者：WSODW

  1. 基于表达式解析的计算器程序

  2. 对表达式进行解析，为了测试解析的正确性，所以写了一个简单的基于表达式解析的计算器程序

  3. 所属分类：C++

    • 发布日期：2009-11-19
    • 文件大小：47104
    • 提供者：ybb_y1b1b1

  1. pl0 验证程序 求和

  2. 为了验证C语言版的pl\0语言编译器的正确性，编写了一个简单的求和程序，通过这个程序，了解pl0编译器是如何工作的~~

  3. 所属分类：C

  1. 全国计算机等级考试三级C语言程序设计

  2. 全国计算机等级考试三级C语言程序设计【注：三级除PC技术考汇编外，其它均考C语言，其上机题库是一样的】 【这是最经典的04版，我仔细对比了所谓的06版题库及08版上机模拟软件中的题，其实都是04版的。09年笔试大纲有变动，但是机试题库应该不会换，因为再编个南开100题（库）没有必要，也很累，还不能保证正确性（起码要经过多番验证才能投入使用）。 参加09年三级考试的朋友请放心使用。就算变动也不过是把改一下个别数组名、把“升序排列”改为“降序排列”、把“从小到大”改为“从大到小”等，所以请大家消除

  3. 所属分类：C

    • 发布日期：2010-08-15
    • 文件大小：520192
    • 提供者：Q405133659

  1. 包括并发的基础理论知识、不同并发模型的选择与适用环境、编写并发程序的基本步骤，并发算法的正确性证明与性能评价，以及在编写并发程序时遵循的一些指导原则等

  2. 包括并发的基础理论知识、不同并发模型的选择与适用环境、编写并发程序的基本步骤，并发算法的正确性证明与性能评价，以及在编写并发程序时遵循的一些指导原则等

  3. 所属分类：其它

    • 发布日期：2010-12-18
    • 文件大小：4194304
    • 提供者：Frozen_Kin

  1. 操作系统内核程序函数执行上下文的自动检验

  2. 函数执行上下文正确性是操作系统内核程序最容易违反且难以检查的正确性性质.应用传统的技术检查该类错误都有一定的困难和局限性.提出一个验证函数执行上下文正确性的框架PRPF,详细描述了其建模过程和相关算法.PRPF 相比传统技术的优势有:直接检查源代码无须编写形式化的验证规约较低的时空运行开销良好的可扩展性等等.该技术已应用在Linux 内核.4.20 的网络设备驱动程序检查中.应用表明,PRPF 能够自动探测程序中所有执行路径,有效地检查函数执行上下文的正确性.实验发现了Linux 内核的23

  3. 所属分类：IT管理

    • 发布日期：2011-03-29
    • 文件大小：183296
    • 提供者：iwsdiwsd

  1. 用“纯汇编”编写ARM程序，玩转“实时性”应用

  2. 本例程教你如何使用“纯汇编”来编制ARM程序。在很多实时性要求很高的场合，C是玩儿不转的，直接汇编吧， 其实不难，熟悉的过程或许有些小痛苦，但通过以后，实时性世界将向你展开。 本文主在展示纯汇编的ARM编程时，如何搭建项目结构，及ARM，THUM如何互转。 例程系作者自编，选自实际项目应用程序，体系完整，UV3编译通过，保证正确性，不会误导读者。

  3. 所属分类：其它

    • 发布日期：2011-06-01
    • 文件大小：78848
    • 提供者：eina_yang

  1. RSA算法实现程序（原创java）

  2. 我刚才把程序随机生成素数的范围改小了，这样比较好检验算法的正确性，测试结果如下，我现在也忘了RSA算法了 所以也不知道对不对.请下载的朋友先看下结果，满意在下，以免误导大家，如果不满意也不要说我是骗子哦！我可不敢骗大家！（注意先编译javac RSA.java运行时要大写） C:\>java RSA 自动生成两个大素数p,q分别为:7 59 这两个素数的乘积为p*q：413 所得的m=(p-1)(q-1)：348 生成的公钥为：265 产生的一个私钥为：109 请输入明文： I dont

  3. 所属分类：Java

    • 发布日期：2008-06-02
    • 文件大小：2048
    • 提供者：csfkjy911

  1. 程序设计初步

  2. 在面向过程的程序设计中，程序设计者必须指定计算机执行的具体步骤，程序设计者不仅要考虑程序要“做什么”，还要解决“怎么做”的问题，根据程序要“做什么”的要求，写出一个个语句，安排好它们的执行顺序。怎样设计这些步骤，怎样保证它的正确性和具有较高的效率，这就是算法需要解决的问题。

  3. 所属分类：C/C++

    • 发布日期：2013-06-13
    • 文件大小：504832
    • 提供者：u011050623

  1. 单链表程序.h文件

  2. [实验内容及要求] 1、定义单链表类。 2、实验验证如下算法的正确性、各种功能及指标： 1）创建单链表； 2）插入操作：分别在当前结点后、表头、表尾插入值为x的结点； 3）删除操作：分别删除表头结点、表尾结点和当前结点的后继结点； 4）存取操作：分别存取当前结点的值和单链表中第k个结点的值； 5）查找操作 3、设计的输出函数能在输出设备上以图形或表格或其它直观的形式展现、存储计算结果。

  3. 所属分类：C/C++

    • 发布日期：2014-03-10
    • 文件大小：6144
    • 提供者：u014029578

  1. acm国际大学生程序设计竞赛试题与解析

  2. ACM的常用算法 初期: 一.基本算法: (1)枚举. (poj1753,poj2965) (2)贪心(poj1328,poj2109,poj2586) (3)递归和分治法. (4)递推. (5)构造法.(poj3295) (6)模拟法.(poj1068,poj2632,poj1573,poj2993,poj2996) 二.图算法: (1)图的深度优先遍历和广度优先遍历. (2)最短路径算法(dijkstra,bellman-ford,floyd,heap+dijkstra) (poj1860

  3. 所属分类：Java

    • 发布日期：2014-08-26
    • 文件大小：1048576
    • 提供者：wlpjsj0641

  1. 所谓程序调试，是将编制的程序投入实际运行前，用手工或编译程序等方法进行测试，修正语法错误和逻辑错误的过程。

  2. 所谓程序调试，是将编制的程序投入实际运行前，用手工或编译程序等方法进行测试，修正语法错误和逻辑错误的过程。这是保证计算机信息系统正确性的必不可少的步骤。编完计算机程序，必须送入计算机中测试。

  3. 所属分类：专业指导

    • 发布日期：2009-03-08
    • 文件大小：28672
    • 提供者：luoxucheng

  1. 计算机专业程序设计方法学

  2. 主要介绍程序设计方法学这一新兴学科的主要内容，即结构化程序、面向对象的设计方法、程序正确性证明、结构化程序的正确性证明、递归程序及其正确性证明、程序的形式推导技术、程序变换技术和大型程序设计方法学基础等。

  3. 所属分类：专业指导

    • 发布日期：2009-03-25
    • 文件大小：6291456
    • 提供者：shenyandong

  1. 软件工程思想（做程序员与软件开发）

  2. 《软件工程思想》讲述“软件开发”和“做程序员”的道理，视野独特，构思新颖，内容风趣，不落窠臼，令人耳目一新。堪称难得，以至回味无穷。 详细目录： 第一章 软件工程基本观念 1.1 软件工程的目标与常用模型 1.2 软件开发的基本策略 1.2.1 复用 1.2.2 分而治之 1.2.3 优化——折衷 1.3 一些不正确的观念 1.4 一些有争议的观念 1.5 小结 第二章 程序员与程序经理 2.1 了解程序员 2.2 了解程序经理 2.3 程序员升为经理后是否还要编程 2.4 经理与技术队伍的建

  3. 所属分类：其它

    • 发布日期：2009-04-06
    • 文件大小：541696
    • 提供者：victorstx

  1. 研究生软件工程-程序正确性证明

  2. 研究生软件工程-程序正确性证明

  3. 所属分类：其它

    • 发布日期：2018-10-11
    • 文件大小：467968
    • 提供者：wei2white

  1. ADUCM360_DAC程序_已经成功验证，可以直接运行

  2. 亲测，通过控制ADUCM360的DAC输出模拟量，然后通过测试通过模拟量通路上的电阻电压测试输出的正确性，绝对能用。

  3. 所属分类：C

    • 发布日期：2018-11-01
    • 文件大小：1048576
    • 提供者：coolmoonlight

  1. 北航程序设计语言原理题目与参考答案

  2. 北航程序设计语言原理题目与参考答案，自己整理与写的，供参考。词法作用域 输出结果:17 动态作用域 输出结果:21 程序代 A 动交 24,y=2 谁恢C C=22x=8 堆找雄 C=2 顶 二、请按照词法作用域和动态作用域两种方式给出下面程序执行后的输出打印结果,画出程 序在执行13行对r调用后和14行对p调用后的栈式存储管理状况图.(20分) (1 int x; (2)void p(void (3) doubler=2 printf("%gn”,r); (5) printf("%dn”,x

  3. 所属分类：讲义

    • 发布日期：2019-02-23
    • 文件大小：1048576
    • 提供者：qq_34149581
« 12 3 4 5 6 7 8 9 10 ... 48 »