只为小站
首页
域名查询
文件下载
登录
首页
开发技术
其它
软件形式化开发方法的选择策略研究
软件形式化开发方法的选择策略研究
上传者:
38687968
|
上传时间: 2021-01-29 20:11:31
|
文件大小: 667KB
|
文件类型: PDF
形式化;
开发方法;
选择策略;
RSL,
随着软件形式化方法的不断发展,各种各具特色的形式化方法涌现出来,为了解决在具体的系统开发中如何选取合适的形式化方法,对目前较为流行的几种形式化方法RSL,B,VDM,Z的特点进行对比分析,然后针对不同的软件开发人员和所需开发系统的不同,给出了适合用形式化方法开发的情况和如何选择合适的形式化开发方法。
文件下载
立即下载
评论信息
其他资源
Windows端Frp服务器一键搭建
altium designer最全元件库
SVM分类源代码(可以直接使用,含详细注释)
等值线C#算法
RTL8370MB_HDK.rar
信号检测与估计matlab仿真
三维重建Matlab(稠密重建)
MFC根据广播星历计算GPS卫星位置
图像复原实验报告
EPSON打印机程序设计指南
[电力系统] 110、35、10kV变电站及线路继电保护设计和整定计算(附图)
骨骼动画大全_bip文件_3dmax骨骼动画_3D动画
计算机类外文文献
步进电机控制程序设计流程图
android.util.Base64类
汇川1U作从站与调试工具通讯.docx
原谅自己的iOS-源码
HFSS中文教程_微波仿真论坛
AT84AD001型ADC在2 GHz高速信号采集系统中的应用
demo-hik-sdl2.7z
autoit3 v3.3.6.1 官方中英文帮助文档
Android开发按钮图片(png)素材集
GOOGLE首页图标动态效果实现例子
基于VC智能控制倒车及其仿真
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
Actionscript
C
C#
C++
Delphi
Java
Javascript
Perl
PHP
Python
VB
Web开发
硬件开发
其它
热门下载
Monet智能交通场景应用
elsevier 爱思唯尔 系列期刊的word模板,template,单栏,双栏
全国河流水文站坐标.xls
基于Matlab的PI/4 DQPSK的调制解调源代吗
PLECS中文手册.pdf
随机森林用于分类matlab代码
MVDR,Capon波束形成DO估计.zip
麻雀搜索算法(SSA)优化bp网络
pytorch实现RNN实验.rar
IBM.ILOG.CPLEX.Enterprise.Server.v12.10.0.Win64.rar CPLEX下载
先进PID控制Matlab仿真第4版-PDF+代码.zip
基于VMD算法的信号降噪.rar
狂神说Java系列笔记.rar
模型预测控制MPC(模型预测电流控制,MPCC)的simulink仿真,2016b版本
BP神经网络+PID控制simulink仿真
最新下载
《31天学会CRM项目开发》随书源代码
ADS_tsmc_cm013rf_v1.7.zip
台积电RF 180nm Design kit For ADS
计算机视觉:一种现代方法第二版(中文版,英文原版)
模式识别第三版-----张学工
黑马Java基础案例教材第2版(源码+教材+教学PPT)
双极性单极性信号的matlab仿真.zip
wascompress
目标检测标注工具labelImg
File_System_Auditor2.53+keygen已测