只为小站
首页
域名查询
文件下载
登录
首页
形式化方法模型的特点-软件工程学习
形式化方法模型的特点-软件工程学习
上传者:
42191359
|
上传时间: 2022-11-21 10:08:06
|
文件大小: 292KB
|
文件类型: PPT
软件工程
形式化方法模型的特点 在开发中使用形式化方法时,它们提供了一种机制,能够消除使用其它软件过程模型难以克服的很多问题。 二义性、不完整性、不一致性能被更容易地发现和纠正,而不是通过专门的评审,是通过对应用的数学分析。 形式化方法提供了可以产生无缺陷软件的承诺。
文件下载
立即下载
评论信息
其他资源
山大大数据安全2018级.pdf
Duilib界面设计器DuiDesigner下载
ACIS CAD开发类库完整版
GT-power中文手册
在MFC工程窗口右下角显示当前时间!
百度坐标批量转换为GPS坐标
机器人学导论 第三版包含答案 完整版 高清版
C# VS2010 甘特图
钱能C++程序设计教程(第二版&高清版).pdf
字典(包含弱口令,目录,后台)
c#com串口开发 收发数据
CPU漏洞分析——Meltdown与Spectre
安卓网上商城开源版
VNC-Viewer-6.18.625-Windows-64bit.exe官方版免安装
xml解析所需jar包
计算机组成原理课程设计报告书.doc
vb一款私密文件管理工具
LabVIEW如何调用C-动态数据库(DLL)经典例程
Linux Kernel Development 3rd Edition - Robert Love
Guns技术文档(pdf)
一款3D骰子游戏服务器
清华-2018人工智能之自动驾驶研究报告
行为识别综述
基于jsp+mysql的二手物品交易系统
模式分类(第二版)课后习题答案 (完整英文版)
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
热门下载
基于OpenCV的车牌号码识别的Python代码(可直接运行)
安卓开发期末大作业----单词本(源码,任务书,大报告,apk文件)(基于andord studio)
JPEG的Matlab实现
空间谱估计理论与算法------程序.rar
风电场风速及功率数据.zip
基于Matlab的IEEE14节点潮流计算.zip
BP神经网络+PID控制simulink仿真
2022学术英语写作(东南大学) 章节测试+期末test答案
《MIMO-OFDM无线通信技术及MATLAB实现》高清PDF及源代码
汽车仿真之电池模型-适合新手入门
RentingSystem.rar
刚萨雷斯《数字图像处理》第四版答案.pdf
狂神说Java系列笔记.rar
基于STM32的电子时钟设计
CNN卷积神经网络Matlab实现
最新下载
微信小程序 手边酒店v25.0.65 酒店
KEIL调试J-link驱动安装包
证件照换底色工具,证件照处理工具
ZXR10 5950-H系列(V3.01.10)全千兆智能路由交换机 配置指导(链路层协议)
c#图书管理系统 SQL Server数据库
SKY免费【IP】配套登陆器 配置器
软件工程期末试卷答案及考试重点.zip
网狐数据生成器
局域网校时软件(个人版+企业服务器版)
WAMP部署工具、phpStudy、VC库