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

搜索资源列表

  1. C++编程惯用法.高级程序员常用方法和技巧

  2. 在本书中，C++专家Rob Murray就与我们分享了他宝贵的经验和建议，以帮助初中级C++程序员得到进一步的提高。 在本书中，作者大量采用了实际开发中的代码来作为示例，向读者展示了那些有用的编程策略，并对那些有害的做法进行了警示。为了帮助读者更好地理解，在书中的每一章结束前，在该章中被介绍过的主要内容都被放到了一个列表中，此外，书中还给出了一些问题来激励读者们进行更多的思考和讨论。 本书在一开始就向我们讲解了如何为我们的设计选择正确的抽象，提示我们注意抽象和现实之间的区别。然后，我们就将学到

  3. 所属分类：C++

    • 发布日期：2009-05-19
    • 文件大小：10mb
    • 提供者：pangdingshan

  1. B方法讲义--形式化开发软件方法之一

  2. B方法，形式化开发软件的方法之一。有利于自动开发软件。

  3. 所属分类：专业指导

    • 发布日期：2010-03-11
    • 文件大小：89kb
    • 提供者：teagreen_zy

  1. B方法课件（B method）

  2. B方法作为一种形式化语言方法，比起非形式化文档语言更有规范性。它以数学理论为基础，通过严格的逻辑推论，使得整个描述过程更为严谨，更容易转化为代码。

  3. 所属分类：专业指导

    • 发布日期：2010-05-31
    • 文件大小：2mb
    • 提供者：liwenpeng00001

  1. 软件工程答案十分准的

  2. 软件工程导论（第五版）答案 软件工程导论（第5版） 作者：张海藩 第1章 软件工程学概述1 1.1 软件危机1 1.1.1 软件危机的介绍1 1.1.2 产生软件危机的原因3 1.1.3 消除软件危机的途径4 1.2 软件工程5 1.2.1 软件工程的介绍5 1.2.2 软件工程的基本原理7 1.2.3 软件工程方法学9 1.3 软件生命周期11 1.4 软件过程14 1.4.1 瀑布模型15 1.4.2 快速原型模型16 1.4.3 增量模型17 1.4.4 螺旋模型19 1.4.5 喷泉模

  3. 所属分类：其它

    • 发布日期：2010-10-26
    • 文件大小：1mb
    • 提供者：zndy777

  1. B方法课件(北大版)

  2. B方法作为一种形式化方法，是一种基于数学逻辑的形式进行描述，可以验证用户需求规约的正确性。

  3. 所属分类：专业指导

    • 发布日期：2010-12-20
    • 文件大小：208kb
    • 提供者：liwenpeng00001

  1. 软件工程-理论与实践(许家珆)习题答案

  2. 习 题 答 案 习题一答案 一、选择题 1. 软件的主要特性是(A B C)。 A) 无形 B) 高成本 C) 包括程序和文档 　　D) 可独立构成计算机系统 2. 软件工程三要素是(C D)。 A) 技术、方法和工具　 B) 方法、工具和过程　 C) 方法、对象和类　 D) 过程、模型、方法 3. 包含风险分析的软件工程模型是(A)。 A) 螺旋模型 B) 瀑布模型 C) 增量模型 D) 喷泉模型 4. 软件工程的主要目标是(C)。 A) 软件需求 　B) 软件设计　 C) 风险分析 　D)

  3. 所属分类：C

    • 发布日期：2011-01-12
    • 文件大小：296kb
    • 提供者：fengjliang2009

  1. 现代编译程序设计 (Modern Compiler Design)

  2. 现代编译程序设计 (Modern Compiler Design) 第1章 导论 1 1.1 为什么学习编译程序构造 4 1.1.1 编译程序构造是非常成功的 4 1.1.2 编译程序构造的广泛应用 6 1.1.3 编译程序包含普遍适用的算法 6 1.2 一个简单的传统的模块化编译程序/解释程序 6 1.2.1 抽象语法树 7 1.2.2 范例编译程序的结构 8 1.2.3 范例编译程序的语言 9 1.2.4 范例编译程序的词法分析 10 1.2.5 范例编译程序的语法分析 11 1.2.6

  3. 所属分类：其它

  1. linux网络管理员手册

  2. 关于linux管理员的连网的主意大概与电讯事业本身一样的久远。考虑人们生活的石器时代，那时鼓可能已经用于 在人们之间传递消息了。假释穴居人A想邀请穴居人B进行一场互扔石块的游戏，但是他们互相之间 居住得太遥远，以至B听不见A的击鼓声。那么，A能够做些什么呢？他可以1）走到B的地方去，2） 使用一个更大的鼓，或者3）询 问C，C居住在他们中间的地方，来传递消息。这最后一个办法就叫 做连网。 当然，我们已经比我们祖先的原始嗜好和设备有了长足的进步。现在，通过大量的线缆的集合， 如光纤、微波、等等，

  3. 所属分类：Linux

    • 发布日期：2011-08-05
    • 文件大小：1mb
    • 提供者：openlove1

  1. B Method B方法

  2. B方法是由Jean-Raymond Abrial创造的。它覆盖了软件的整个开发周期，适用于大规模软件的开发。B方法以元集合理论和二值谓词逻辑为数学基础，其核心是证据，且必须论证B方法所描述的每一个特性，这为开发者提供了统一的形式化规范和代码

  3. 所属分类：专业指导

    • 发布日期：2012-02-06
    • 文件大小：3mb
    • 提供者：jiangdmdr

  1. FreeMarker 手册

  2. FreeMarker 手册 .......................................................................................................... 1 用于 FreeMarker 2.3.18 ........................................................................................... 1 目录.........

  3. 所属分类：Web开发

    • 发布日期：2012-03-04
    • 文件大小：2mb
    • 提供者：j2eevic

  1. B语言和方法与Z、VDM的比较

  2. 几种形式化开发方法的比较。介绍基于模型的三种形式化语言和方法的基本原理 和内容．然后再对其主要优缺点进行分析，最后对这三种语言和方法从七个方面加以分析比较，并列表总结。

  3. 所属分类：其它

    • 发布日期：2012-04-22
    • 文件大小：249kb
    • 提供者：weihuizhao

  1. Event-B Language

  2. 本文档是Event-B形式化方法的参考书，书中包含Event-B结构与语法介绍；数学证明；符合表示

  3. 所属分类：专业指导

    • 发布日期：2012-12-25
    • 文件大小：994kb
    • 提供者：shangdi765

  1. FreeMarker 手册 用于 FreeMarker 2.3.19

  2. 目录 前言................................................................................................................................. 7 什么是FreeMarker？ .................................................................................................

  3. 所属分类：Java

    • 发布日期：2013-03-05
    • 文件大小：4mb
    • 提供者：javazzc123

  1. 超完整FreeMarker中文教程，代码

  2. 前言................................................................................................................................. 7 什么是FreeMarker？ ................................................................................................. 7

  3. 所属分类：Web开发

    • 发布日期：2013-07-20
    • 文件大小：2mb
    • 提供者：sudui

  1. C#数据结构

  2. C#版本数据结构，用C#的同志们有福啦 本书节选： 第1章 绪论 数据是外部世界信息的计算机化，是计算机加工处理的对象。运用计算机处 理数据时，必须解决四个方面的问题：一是如何在计算机中方便、高效地表示和 组织数据；二是如何在计算机存储器（内存和外存）中存储数据；三是如何对存 储在计算机中的数据进行操作，可以有哪些操作，如何实现这些操作以及如何对 同一问题的不同操作方法进行评价；四是必须理解每种数据结构的性能特征，以 便选择一个适合于某个特定问题的数据结构。这些问题就是数据结构这门课程所 要研

  3. 所属分类：C#

    • 发布日期：2013-12-10
    • 文件大小：2mb
    • 提供者：a01589

  1. vhdl教程 挺好的资源

  2. vhdl学习资料，大家喜欢就看看吧VHDL培训教程 第一讲、VHDL简介及其结构 第二讲、VHDL中的对象、操作符、数据类型 第三讲、VHDL中的控制语句及模块 第四讲、状态机的设计VHDL培训教程 欢迎参加VHDL培训 浙江大学电子信息技术研究所 电子设计自动化(EDA)培训中心 编写:王勇 TEL:7951949或7951712 EMAIL:wangy@isee.zju.edu.cn第一讲、VHDL简介及其结构 • 通过本课的学习您可以了解以下几点 1、VHDL 的基本概念 2、VHDL的

  3. 所属分类：C

    • 发布日期：2008-10-27
    • 文件大小：479kb
    • 提供者：ylw51100

  1. 形式化方法 -从模型到代码的实践应用.pdf （Formal Method-Industrial Use From Model to the Code)

  2. 形式化方法简介，着重介绍了B方法及工具、SIMULINK和SCADE在形式化方法中的应用。

  3. 所属分类：其它

    • 发布日期：2014-11-10
    • 文件大小：10mb
    • 提供者：simazehao

  1. 形式化ppt课件

  2. B方法的课件资料，主要讲述B方法的原理及其开发应用

  3. 所属分类：专业指导

    • 发布日期：2014-11-23
    • 文件大小：3mb
    • 提供者：shark20121222

  1. 统计学习方法_李航

  2. 统计学习是计算机及其应用领域的一门重要的学科。本书全面系统地介绍了统计学习的主要方法，特别是监督学习方法，包括感知机、k近邻法、朴素贝叶斯法、决策树、逻辑斯谛回归与最大熵模型、支持向量机、提升方法、em算法、隐马尔可夫模型和条件随机场等。除第1章概论和最后一章总结外，每章介绍一种方法。叙述从具体问题或实例入手，由浅入深，阐明思路，给出必要的数学推导，便于读者掌握统计学习方法的实质，学会运用。为满足读者进一步学习的需要，书中还介绍了一些相关研究，给出了少量习题，列出了主要参考文献。 《统计学习方法

  3. 所属分类：机器学习

  1. UML模型形式化B方法转换的实现

  2. UML是软件开发的标准语言,已经广泛运用于各种领域的软件设计建模之中。但是UML的半形式化表达方式缺乏准确的语义,使其无法在软件设计过程中针对需求的一致性进行分析,因此需要使用一种形式化方法对UML模型进行描述。以高速列车控制系统为例,基于B方法对用例图模型与顺序图模型进行形式化转换,对两种模型中各组成部分从语义角度分别进行了描述,从而完整地刻画了UML模型所描述的系统需求。

  3. 所属分类：其它

    • 发布日期：2021-02-20
    • 文件大小：564kb
    • 提供者：weixin_38729685
« 12 »