只为小站
首页
域名查询
文件下载
登录
首页
形式化方法模型的特点-软件工程学习
形式化方法模型的特点-软件工程学习
上传者:
42191359
|
上传时间: 2022-11-21 10:08:06
|
文件大小: 292KB
|
文件类型: PPT
软件工程
形式化方法模型的特点 在开发中使用形式化方法时,它们提供了一种机制,能够消除使用其它软件过程模型难以克服的很多问题。 二义性、不完整性、不一致性能被更容易地发现和纠正,而不是通过专门的评审,是通过对应用的数学分析。 形式化方法提供了可以产生无缺陷软件的承诺。
文件下载
立即下载
评论信息
其他资源
Abaqus material library
ActivePerl 5.28.1.2801 x64
commons-dbutils-1.6的jar包
matlab求解平面度源代码程序(fig)
BottomNavigationView+ViewPager+Fragment底部导航栏
2018年美赛题目及翻译
2018-2019学年东北大学数据结构实验报告及代码.zip
曲面加工-微分几何-matlab代码
图书管理系统面向对象的分析与设计
传统软件到AUTOSAR移植解决方案
TMS320F28335论文资料收集 TMS320F28335论文
hi3531\3531a\3531d\3536\3536d\3559\3559a\3519SDK
基于边缘多通道梯度模型的多运动目标检测
linux mmc子系统分析
jquery bigrid 插件
archicad22 4005 注册工具.zip
Hibernate日志jar包
FUN3D手册,非结构求解器的编译过程及其后处理
Vrml 地月模型 小球运动
labview怎样生成可执行exe文件
基于高分辨率卫星遥感数据提取DEM方法研究
贾俊平_统计学_基于SPSS(第二版)例题和习题数据.rar
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
热门下载
张正友相机标定Opencv实现(完整程序+棋盘图)实例源码
房价预测的BP神经网络实现_python代码
MTALAB NSGA2算法
云视通扫描工具.zip
BP_PID控制仿真.rar
非线性本构关系在ABAQUS中的实现.pdf
python大作业--爬虫(完美应付大作业).zip
RentingSystem.rar
空间谱估计理论与算法------程序.rar
2020年数模国赛A题论文(省一等奖)和代码.rar
东南大学英语技术写作慕课所有答案
数字图像处理[冈萨雷斯]
OLED显示温度和时间-STM32F103C8T6(完整程序工程+原理图+相关资料).zip
Autojs 例子 源码 1600多个教程源码
基于MQ2烟雾传感器的STM32F103程序
最新下载
jd-h5st加密算法与Python爬虫
用android蓝牙与RTK通讯源码
Java从零到企业级电商项目实战
安装SQLServer 2008 R2安装详细图文教程
sql server 2012 R2企业版安装光盘ISO
SQLServer2008R2简体中文版(64位)
SQL Server 2000 绿色版
Oracle数据库基础知识(华为内部培训资料)
过检测CE6.8,ce修改器过有游戏检测
利用winform 的RichTextBox和SQLite实现笔记编辑器功能