搜索资源列表
软件成熟模型CMM
- CMM是软件过程能力成熟度模型（Capacity Maturity Model）的简称，是卡内基－梅隆大学软件工程研究院为了满足美国联邦政府评估软件供应商能力的要求，于1986年开始研究的模型，并于1991年正式推出了CMM 1.0 版。CMM自问世以来备受关注，在一些发达国家和地区得到了广泛应用，成为衡量软件公司软件开发管理水平的重要参考因素和软件过程改进事实上的工业标准。据了解，美国、印度、日本等国家已有数十家公司通过了CMM不同等级的认证。 -CMM software process
MainJSJ
- 这是一个正式的项目工程，用于控制一种新式脚手架的平衡升降过程，包含所有delphi源代码，完全由本人开发。软件界面美观，控制算法性能良好，运用了多线程开发技术，数据库技术，串口通信技术，负载平衡技术等。可供初中级软件开发人员学习使用。-This is a formal project for the control of a new type of scaffold balance landing process, delphi includes all source code, develop
IOjieshubaogao
- 该报告严格按照正规的论文书写形式所写,含有中英文摘要与关键字.-the report in strict accordance with the formal written form of written papers, which contain summaries and keywords in English.
jffs2_src_study
- jffs2源码研究分析 全文分为 jffs2的数据实体及其内核描述符 描述jffs2特性的数据结构 注册文件系统 挂载文件系统 打开文件时建立inode的方法 jffs2中写正规文件的方法 jffs2中读正规文件的方法 jffs2中符号链接文件的方法表 jffs2中目录文件的方法表 jffs2的Garbage Collection 以及心得体会, 共11个章节 详细研究分析了jFFS2的源代码的核心部分.-jffs2
los
- 操作系统课程设计 1、模拟UNIX(linux)文件系统 [问题描述] 在任一OS下，建立一个大文件，把它假象成一张盘，在其中实现一个简单的 模拟UNIX文件系统 。 [基本要求] 1．在现有机器硬盘上开辟20M的硬盘空间，作为设定的硬盘空间。 2．编写一管理程序对此空间进行管理，以模拟UNIX(linux)文件系统，具体要求如下： （1） 要求盘块大小1k 正规文件 (2) i 结点文件类型 目录文件 (共1byte) 块设备 管道文
eatting
- 哲学家进餐问题是荷兰学者Dijkstra 提出的经典问题之一,它是一个信号量机制问题的应用,在操作系统文化史上具有非常重要的地位。对该问题的剖析有助于学生深刻地理解计算机系统中的资源共享、进程同步、死锁等问题,并能熟练地应用信号量来解决生活中的控制流程,即将生活中的控制流程用形式化的方式表达出来。 假设有5个哲学家，他们花费一生中的时光思考和吃饭。这些哲学家共用一个圆桌，每个哲学家都有一把椅子。在桌子中央是一碗通心面，在桌子上放着5只筷子。（如图所示）当一个哲学家思考时，他与其他同事不交互
zhexuejiaeatting
- 哲学家进餐问题是荷兰学者Dijkstra 提出的经典问题之一,它是一个信号量机制问题的应用,在操作系统文化史上具有非常重要的地位。对该问题的剖析有助于学生深刻地理解计算机系统中的资源共享、进程同步、死锁等问题,并能熟练地应用信号量来解决生活中的控制流程,即将生活中的控制流程用形式化的方式表达出来。 假设有5个哲学家，他们花费一生中的时光思考和吃饭。这些哲学家共用一个圆桌，每个哲学家都有一把椅子。在桌子中央是一碗通心面，在桌子上放着5只筷子。（如图所示）当一个哲学家思考时，他与其他同事不交互
UML2.1.2Infrastructure
- UML2.1.2最新标准，OMG Document Number: formal/2007-11-04。对研究UML最新标准有很好的参考价值。
communication_software
- 本书针对通信软件的特点,介绍了几种适用于通信软件需求分析阶段和设计阶段的形式化语言,包括通用建模语言UML,消息跟踪语言MSC和规格说明与描述语言SDL,重点介绍了在电信领域得到广泛应用的SDL语言.并以设计一个微型交换机软件为例,说明如何运用这些形式化语言进行通信软件的需求分析,概要设计和详细设计。-The book for the characteristics of communication software, introduced several applied to communic
softproject
- 软件工程一份需求分析实例，较正规，符合模板的格式-Software engineering example of a needs analysis, more formal, consistent with the format of the template
chengxushejishiyan4
- 一、实验题目： 实验4 程序的形式化推导 二、实验内容： （1） 根据给定的问题，建立前置谓词和后置谓词。 （2） 根据条件语句的推导策略，建立程序中的条件语句。 （3） 构造循环不变式，确立界函数。 （4） 根据循环语句的推导策略，建立程序中的循环语句。 （5） 面向目标，退到出所要的程序。 三、实验目的 根据条件语句的推导策略和循环语句的推导策略，基于最弱前置条件的概念，用比较形式化的方法，从设计要求达到的目标一步步推导出程序。 四、实验要求： 运用
Z
- 软件工程语言Z.pdf。软件工程中的形式化方法是一种基于数学的软件开发方法，它可应用于软件工程的各个阶段。Z本身是一个书写规格说明的语言，或者说是一种表示法，它是目前人们非常感兴趣的一种规格说明方法。它是由著名计算机科学家Hoare所在的牛津大学程序设计研究组（PRG）的学者在80年代初设计开发的。 -Software Engineering Language Z.pdf. Software Engineering is a formal method of software developme
fs44b0
- s3c44b0开发板的完整原理图，我的正式产品就是根据这个来画的板-s3c44b0 a complete development board schematics, I formal product is the basis of this to draw the board
ArchitecturalDesignSpecification
- 从该阶段开发正式进入软件的实际开发阶段，本阶段完成系统的大致设计并明确系统的数据结构与软件结构。概要设计说明书的目的就是进一步细化软件设计阶段得出的软件总体概貌，把它加工成在程序细节上非常接近于源程序的软件表示。-From the formal entry into the software development phase of the actual development phase, the phase of system design and a clear system in gen
use_of_butterworth
- 巴特沃斯滤波器在图像处理中的应用。正规学术论文。会有启发的。-Butterworth filter in image processing applications. Formal Xueshulunwen. Will be instructive.
111
- 一种零相移数字滤波器的实现方法。正规学术论文。会有启发的。-A zero phase shift digital filter realization method. Formal Xueshulunwen. Will be instructive.
Design
- 指纹识别是生物识别技术中的一种。指纹具有唯一性和不变性。这个特点使得指纹在生物特征识别技术中得以正式应用。指纹识别技术飞速发展及其广泛应用开创个人身份鉴别的新时代！-Fingerprint recognition is a biometric technology. Fingerprint is unique and invariant. This feature makes the biometric fingerprint technology to formal application.
edis_anmai
- 从该阶段开发正式进入软件的实际开发阶段，本阶段完成系统的大致设计并明确系统的数据结构与软件结构。在软件设计阶段主要是把一个软件需求转化为软件表示的过程，这种表示只是描绘出软件的总的概貌。本概要设计说明书的目的就是进一步细化软件设计阶段得出的软件总体概貌，把它加工成在程序细节上非常接近于源程序的软件表示。 -From the stage of development of formal entry into the actual software development phase, this
standardofsoftwaredesigning
- 软件设计文档国家标准，正规项目文档的好模板-Software design documents of national standards, a good formal project documentation templates
MiningSourceCode
- Code duplication exists for many reasons, although it is known to be a bad practice. It may save costs on the development phase, but it surely has a higher cost of maintenance. What can we do to detect and eliminate those problems? This documen