搜索资源列表
软件成熟模型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最新标准有很好的参考价值。
Assignmentpp1
- 1.Give a formal or descr iptive definition for each of the following terms.2.Access the Internet for information about Daniel D. Gajski’s “Y-chart” design methodology of integrated circuits. According to your investigation of the related research pap
reit
- 编写得十分正规的宽文本编辑器功能比Windows中的写字板要好得多.-prepared very wide formal text editor functionality than the Windows WordPad much better.
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
Objectorientedformal
- 在本文中，我们提出了一种新算法，并介绍了心电图自动分析处理系统中一个面向对象的正式发展规范。-This paper describes the use of object oriented formal specifications in the development of an automatic exercise ECG processing system.
dorado5QuickStart1
- 本书属于dorado快速入门系列中的第一本，适合于初次接触dorado的技术人员的自习，也可用于正式的教学，通过本书的学习可以使技术人员初步掌握dorado的基本开发和使用技巧，从而可以快速的搭建小型项目，对于在校的学生来说也可以通过本书的基本dorado技术的积累完成自己的毕业设计和帮组小型私营企业快速的实现信息化建设。巧。-This book belong to dorado QuickStart first book in the series, suitable for the init
zidongji.doc
- 我们形式语言与自动机的课件,非常好的！是英文书的节选。-Formal Languages and Automata courseware, oh well!
FormalFormalRequirementsforVirtualizableThirdGener
- 这是Gerald J. Popek在1974年发表的虚拟化奠基性论文Formal Requirements for Virtualizable Third Generation Architectures-Gerald J. Popek Formal Requirements for Virtualizable Third Generation Architectures ACM
Chapter2_Solution_program
- An Introduction to Formal Languages and Automata 3Ed Peter Linz - SOLUTIONS-An Introduction to Formal Languages and Automata 3Ed Peter Linz- SOLUTIONS
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
Siemens-formal-training-materials
- 西门子正规培训资料，对常见的调试问题，plc硬件安装及维护，和相关知识的详细总结。-Siemens formal training materials, common debugging problems, plc hardware installation and maintenance, and knowledge of the detailed summary.
Formal-analaysis-and-verification-of-an-OFDM-mode
- Formal analaysis and verification of an OFDM modem design