没有合适的资源？快使用搜索试试~
我知道了~
文库首页
课程资源
专业指导
Abstract data types and Software Validation
Abstract data types and Software Validation
软件验证
需积分: 10
0 下载量
64 浏览量
2013-11-02
18:13:46
上传
评论
收藏
540KB
PPTX
举报
温馨提示
立即下载
度过Abstract data types and Software Validation论文之后的报告ppt
资源推荐
资源评论
Embedded Systems and Software Validation
浏览：178
5星 · 资源好评率100%
嵌入式系统设计的验证与调试技术 完整的英文原版 Embedded Systems and Software Validation (Morgan Kaufmann, 20...
Software+Verification+and+Validation+Document
浏览：166
Software+Verification+and+Validation+Document
Embedded Systems and Software Validation - 2009 (pdf)
浏览：189
5星 · 资源好评率100%
The book provides a practical and comprehensive overview of how to test embedded software.*The book describes how embedded systems can be tested in a structured, controlled way. *The first complete ..
Approaches and Best Practices in Web Service Style, Data Binding and Validation.pdf
浏览：21
Approaches and Best Practices in Web Service Style, Data Binding and Validation.pdf
(vector) SoA Design, Implementation and Software Validation.pdf
浏览：4
5星 · 资源好评率100%
VECTOR AUTOSAR SOA解决方案介绍，包SOA介绍，AP AUTOSAR介绍，AP AUTOSAR SOA测试等内容。
ISO TR 11462-3：2020 Guidelines for implementation of statistical process control (SPC) - Part 3：Reference data sets for SPC software validation - 完整英文版（134页）.pdf
浏览：137
ISO TR 11462-3：2020 Guidelines for implementation of statistical process control (SPC) - Part 3：Reference data sets for SPC software validation - 完整英文版（134页）.pdf
Data.Entry.and.Validation.with.CSharp.and.VB.Dot.NET.Windows.Forms
浏览：181
Data.Entry.and.Validation.with.CSharp.and.VB.Dot.NET.Windows.Forms
IEEE Std 1012-2004 IEEE Standard for Software Verificiation and Validation
浏览：175
5星 · 资源好评率100%
IEEE标准，适用与软件开发，供大家学习参考。
Software.Testing.Concepts.and.Operations.1118662873.epub
浏览：82
concepts, principles and evolution of software testing, including software quality engineering and testing concepts, test data generation, test deployment analysis, and software test management ...
Testing and Validation of Computer Simulation Models.pdf
浏览：93
Testing and Validation of Computer Simulation Models.pdf
Cybersecurity Testing and Validation
浏览：45
Cybersecurity Testing and Validation
Infinity Science – Software Engineering and Testing.pdf
浏览：176
PART I: SOFTWARE ENGINEERING AND TESTING Chapter 1. Introduction to Software Engineering 3 1.1 Introduction to Software 3 1.2 Types of Software 5 1.3 Classes of Software 8 1.4 Introduction
The GNSS integer ambiguities_ estimation and validation
浏览：98
5星 · 资源好评率100%
The GNSS integer ambiguities_ estimation and validation
Architecture Design and Validation Methods by Egon Börger
浏览：13
Architecture Design and Validation Methods，Egon Börger的大作。
Development and validation of ADAS.pdf
浏览：123
Production software is tested against simulated sensing data and simulated action consequences are generated according to the given software commands. This gives OEMs ability to optimize design of ..
Silicon Test and Validation.pdf
浏览：177
Unlike software, hardware cannot be “patched” and must meet a much higher level of quality before being shipped to the customer. This lecture will go thru some of basic issues in both validation ...
Hardware IP Security and Trust—Validation and Test
浏览：137
for-security solutions, as well as a wide variety of IP security and trust assessment and validation techniques. This book serves as a single-source of reference for system designers and practitioners
python大作业 含爬虫、数据可视化、地图、报告、及源码（整和为一个文件）（2014-2020全国各地区原油加工量）.rar
浏览：26
5星 · 资源好评率100%
（含源码及报告）本程序分析了自2014年到2020年每年我国原油加工的产量，并且分析了2019年全国各地区原油加工量，含饼状图，柱状图，折线图，数据在地图上显示。运行本程序需要requests、bs4、csv、pandas、matplotlib、pyecharts库的支持，如果缺少某库请自行安装后再运行。文件含2个excel表，4个csv文件以及一个名字为render的html文件（需要用浏览器打
仿真电路以及操作方法
浏览：55
5星 · 资源好评率100%
用一片通用四运放芯片LM324组成电路，实现以下功能：用低频信号源产生ui1=0.1sin2πft（V），f=500Hz的正弦波信号，加至加法器的输入端，加法器的另输入端加入有自制振荡器产生的信号uo1。要求加法器的输出电压ui2=10 ui1+ uo1。ui2经选频滤波器滤除uo1频率分量，选出f信号为uo2，uo2为峰峰值等于9V的正弦信号。uo2信号经比较器后在1KΩ负载上得到峰峰值2V的输
【纯干货啊】华为IPD流程管理(完整版).pptx
浏览：26
4星 · 用户满意度95%
华为IPD产品研发流程完整版。非常的详细，很适合给新是的实习生做培训用！是我一直在用的流程管理，很适合学习与交流。
可编程语言标准IEC61131-3中文版.pdf
浏览：63
5星 · 资源好评率100%
可编程语言标准IEC61131-3中文版
OFDM完整仿真过程与教程.zip
浏览：40
5星 · 资源好评率100%
辛苦写了关于OFDM的详细仿真，从产生信息流到最终解调，包含星座图，误码率图。包括了相关技术的详细解释，（信道编码，扩频，导频，信道估计等）。注：本段程序不包括射频传输部分，即载波调制，基带调制为QPSK。具体的教程可以参考我的相关文章。
信号与系统——保研复习资料.pdf
浏览：17
本文档为本人保研复习过程中撰写的信号与系统复习文档，参考书籍为吴大正老师主编的信号与线性系统分析（第四版），全文共43页，包含以下内容： 一、信号与系统（绪论） 二、连续系统的时域分析 三、离散系统的时域分析 四、傅里叶变换和系统的频域分析 五、连续系统的s域分析 六、离散系统的z域分析 七、系统函数 八、少量经典面试题（保研）
Landsat_WRS2.zip
浏览：173
5星 · 资源好评率100%
本资源为WRS2全球条带号分幅情况SHP文件。WRS，即Worldwide Reference System，是Landsat系列卫星全球影像标记符号系统，用以区分全球各区域对应的Landsat系列卫星影像编号；其用“Path”与“Row”两个数值确定影像的编号与位置。其中，Landsat 1、2、3卫星对应编号系统为WRS-1，Landsat 4、5、7、8卫星对应编号系统为WRS-2。WRS-
最全的Visio形状/图形库
浏览：153
从不同地方搜集整理出来的Viso图标，全部文件都是Visio图形库的标准格式：VSS格式，内含有51个文件，分别对应类别。内容比较全面，包括常用图表、服务器图、各种符号图表、工作流程形状、绘制图表形状、网络和外设图、网络位置及物理逻辑图、最常使用的图表、办公室设备图及办公室附属设施图等等。
AxureRP9项目原型50套、案例20个、元件库1套.zip
浏览：110
AxureRP9项目原型50套、案例20个、元件库1套。非原创，其中一批比较好的案例值得参考，元件库直接可用，简洁美观。分享给需要的人。
北理工+成电+东南——通信/信号保研面试真题.pdf
浏览：56
本文档整理了本人在2019年推免过程中，面试老师问到的问题，本文具体包括以下三所院校：北京理工大学雷达技术研究所；电子科技大学泛在无线网络实验室、多维信息感知实验室、图像处理研究所；东南大学移动通信国家重点实验室。对于面试中涉及到的专业课问题，我在面试结束后查阅书籍并给出了个人解答，仅供参考。
数字信号处理——保研复习资料.pdf
浏览：138
本文档为数字信号处理（DSP）复习文档，参考书籍为高西全老师主编的《数字信号处理——原理、实现及应用》第二版，全文共33页，包含以下内容： 一、绪论 二、时域离散信号与系统 三、时域离散信号和系统的频域分析 四、离散傅里叶变换（ DFT）及其快速算法（ FFT） 五、模拟信号数字处理 六、数字滤波器 七、IIR数字滤波器（ IIRDF）设计 八、FIR数字滤波器（ FIRDF）设计 九、少量经
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低，若资源使用遇到问题可联系上传者，3个工作日内问题未解决可申请退款~
联系上传者
评论
喵一只
粉丝: 8
资源:
9
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场，查看用户热搜
最新资源
基于STM32G4与智能摄像头的疲劳驾驶检测系统源代码(96分课程设计)
单片机课后答案.doc
单自由度系统自由振动matlab程序.docx
高分课程设计-基于opencvdlib的疲劳驾驶检测系统python源码+文档说明+界面演示(带ui界面)
哈工大c语言-练习题.doc
Springboot集成Netflix-ribbon、Consul实现负载均衡调用-源码
大一大二常用命令大全笔记demo
Vision语言文件读写操作代码笔记
大数据、云计算和人工智能的深度剖析与相互关系-PPT.ppt
Vision-mastermysql安装配笔记
资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！
点击此处反馈
安全验证
文档复制为VIP权益，开通VIP直接复制
信息提交成功
