FT-series of Software verification.
資源簡介:FT-series of Software verification.
上傳時(shí)間: 2014-01-12
上傳用戶:litianchu
資源簡介:A series of .c and .m files which allow one to perform univariate and bivariate wavelet analysis of discrete time series. Noother wavelet package is necessary -- everything is contained in this archive. The C-code computes the DWT and maxim...
上傳時(shí)間: 2015-06-23
上傳用戶:chongcongying
資源簡介:《代碼大全》的英文版名稱是 Code Complete: A Practical Handbook of Software Construction。 它獲得1993年美國軟件開發(fā)雜志Jolt大獎,被美國包括MIT在內(nèi)的十多所大學(xué)作為計(jì)算機(jī)軟件學(xué)科的教材。 作者Steve McConnell的另外三本著作是 Rapid Development,S...
上傳時(shí)間: 2015-02-17
上傳用戶:songnanhua
資源簡介:Wiley Sons - The Art of Software Architecture.pdf
上傳時(shí)間: 2013-12-24
上傳用戶:klin3139
資源簡介:The zip file in this directory contains a series of lectures and examples intended as an introduction to USB.
上傳時(shí)間: 2015-04-02
上傳用戶:lxm
資源簡介:The goal of this lab is (1) to under the defects of Software timers, (2) to write a periodic program without timers, (3) to write a periodic program using timer Hardware:Host computer PC Software: GNU GCC
上傳時(shí)間: 2014-08-13
上傳用戶:古谷仁美
資源簡介:Software Testing, Second Edition provides practical insight into the world of Software testing and quality assurance. Learn how to find problems in any computer program, how to plan an effective test approach and how to tell when Software i...
上傳時(shí)間: 2015-04-30
上傳用戶:bjgaofei
資源簡介:動態(tài)圖片演示 Animation of a series of images.
上傳時(shí)間: 2014-01-23
上傳用戶:稀世之寶039
資源簡介:No Silver Bullet: Essence and Accidents of Software Engineering by Frederick P. Brooks, Jr.
上傳時(shí)間: 2014-01-25
上傳用戶:gmh1314
資源簡介:《代碼大全》的英文版名稱是 Code Complete: A Practical Handbook of Software Construction。 它獲得1993年美國軟件開發(fā)雜志Jolt大獎,被美國包括MIT在內(nèi)的十多所大學(xué)作為計(jì)算機(jī)軟件學(xué)科的教材。
上傳時(shí)間: 2014-01-24
上傳用戶:siguazgb
資源簡介:the template documents of Software Engineering
上傳時(shí)間: 2015-07-18
上傳用戶:kytqcool
資源簡介:Ineroperability of Software and components.(course in peking university)
上傳時(shí)間: 2013-12-13
上傳用戶:CHENKAI
資源簡介:Software Testing, Second Edition provides practical insight into the world of Software testing and quality assurance. Learn how to find problems in any computer program, how to plan an effective test approach and how to tell when Software i...
上傳時(shí)間: 2014-08-01
上傳用戶:zhaiyanzhong
資源簡介:Core JSP In recent years, a large amount of Software development activity has migrated from the client to the server. The client-centric model, in which a client executes complex programs to visualize and manipulate data, is no longer co...
上傳時(shí)間: 2014-01-13
上傳用戶:duoshen1989
資源簡介:Advanced Internet Programming Lecture 2 C/C++ Review Li,Suke School of Software and Microelectronics, Beijing University
上傳時(shí)間: 2014-01-07
上傳用戶:chenxichenyue
資源簡介:This program is a series of 51 single-chip microcomputer simulation IIC bus, the memory of the 24 operations
上傳時(shí)間: 2013-12-18
上傳用戶:yan2267246
資源簡介:Software Paradigms reveals the logical hierarchy of Software development models, and discusses each of these models as well as the reuse of design concepts at each level of the hierarchy
上傳時(shí)間: 2014-01-20
上傳用戶:cjf0304
資源簡介:AdaBoost is an efficient tool in machine learning. It can combine a series of weak learners into a strong learner. Besides pattern classification, it also can be applied into feature selection. This document explains the use of AdaBoost.
上傳時(shí)間: 2013-12-06
上傳用戶:小寶愛考拉
資源簡介:算法導(dǎo)論英文版 This book is one of a series of texts written by faculty of the Electrical Engineering and Computer Science Department at the Massachusetts Institute of Technology. I
上傳時(shí)間: 2016-04-07
上傳用戶:123456wh
資源簡介:A .zip file contains a series of scripts that were used in the MathWorks webinar "Using MATLAB to Develop Portfolio Optimization Models." The scripts generate 3D efficient frontiers for a universe of 44 stocks with time as the third axis. A...
上傳時(shí)間: 2014-01-04
上傳用戶:trepb001
資源簡介:Understanding of Software development methodologies and concepts, experience with full product lifecycle from scope to customer release 5. Strong design decomposition skills, analysis and testing 6. Proactive approach to problem solving...
上傳時(shí)間: 2013-12-25
上傳用戶:zhliu007
資源簡介:a course of Software project
上傳時(shí)間: 2016-05-28
上傳用戶:gaojiao1999
資源簡介:DO-178B document The rapid license in the use of Software in airbore system and equipment used on aircraft and engines
上傳時(shí)間: 2016-07-18
上傳用戶:wfeel
資源簡介:Software testing technology, introduced the common methods of Software testing, Software testing in the basic test ideas
上傳時(shí)間: 2014-01-26
上傳用戶:qiao8960
資源簡介:《軟件工程中的真相和謬誤》的英文版《Facts and Fallacies of Software Engineering》,介紹軟件工程中常見的一些“事實(shí)”和“誤解”
上傳時(shí)間: 2014-01-03
上傳用戶:love1314
資源簡介:The iputils package contains ping, a basic networking tool. The ping command sends a series of ICMP protocol ECHO_REQUEST packets to as pecified network host and can tell you if that machine is alive and receiving network traffic.ipv6calc i...
上傳時(shí)間: 2014-08-25
上傳用戶:zhichenglu
資源簡介:The ADC0803 family is a series of three CMOS 8-bit successive approximation A/D converters using a resistive ladder and capacitive array together with an auto-zero comparator. These converters are designed to operate with microprocessor-...
上傳時(shí)間: 2016-11-20
上傳用戶:libenshu01
資源簡介:fwknop stands for "Firewall Knock Operator" and is an upcoming piece of Software that will be released at the DEFCON 12 conference in July, 2004 in Las Vegas. fwknop implements network access controls (via iptables) based on a flexible p...
上傳時(shí)間: 2016-12-04
上傳用戶:牛津鞋
資源簡介:the art of Software test.中文版,學(xué)習(xí)軟件測試的經(jīng)典書籍哦.
上傳時(shí)間: 2016-12-20
上傳用戶:watch100
資源簡介:This piece of Software was written as a replacement and extension for Tripwire. Tripwire is an excellent program in itself but lacks some features and is a closed product.
上傳時(shí)間: 2014-01-25
上傳用戶:宋桃子