只为小站
首页
域名查询
文件下载
登录
首页
开发技术
其它
软件形式化开发方法的选择策略研究
软件形式化开发方法的选择策略研究
上传者:
38687968
|
上传时间: 2021-01-29 20:11:31
|
文件大小: 667KB
|
文件类型: PDF
形式化;
开发方法;
选择策略;
RSL,
随着软件形式化方法的不断发展,各种各具特色的形式化方法涌现出来,为了解决在具体的系统开发中如何选取合适的形式化方法,对目前较为流行的几种形式化方法RSL,B,VDM,Z的特点进行对比分析,然后针对不同的软件开发人员和所需开发系统的不同,给出了适合用形式化方法开发的情况和如何选择合适的形式化开发方法。
文件下载
立即下载
评论信息
其他资源
stm32f407驱动ws2818全彩灯(7灯)
基于matlab的卫星轨道仿真(含有源代码)
网易云缓存音乐批量转化为mp3格式(自动识别歌名)
华为HS8546VR017补全shell固件
DCGAN人脸生成项目
前后端分离之springboot+idea写后端接口
TC8 ECU测试规范 车载以太网物理层协议测试 PMA IOP
最优状态估计 Dan Simon
parasoft c++ test 9.0.0.155 插件版+破解 part5
可穿戴型下肢助力机器人控制分析
pcb封装 各种晶振封装 包括3d显示
gradle-5.6.4-bin.zip
电影记录-源码
正文3 培训师培训技巧.pdf
你好,世界-源码
解决delphi7使用TSQLCONNECTION连接mysql5无法设置端口的bug
基于单片机的高精度AD转换器.pdf
Papervision3D
深度学习框架Tensorflow学习与应用
NiuTrans中英平行语料库10万句
String+tomcat+jms实例
opengl头文件和库glut工具包
通讯猫-mqtt测试软件
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
Actionscript
C
C#
C++
Delphi
Java
Javascript
Perl
PHP
Python
VB
Web开发
硬件开发
其它
热门下载
token登录器.rar
Matpower中文使用手册(原名《MATPOWER手册(中文版)》).rar
夏天IC助手1.8你们懂的
新型冠状病毒疫情_2020年东三省数学建模A题_论文展示
EBSD分析软件——Channel5下载安装教程
基于MATLAB的Filter使用,低通、带通和高通滤波器的仿真
多智能体的编队控制程序的补充(之前上传少了一个文件)
simulink仿真实现光伏发电MPPT+能量管理
先进PID控制Matlab仿真第4版-PDF+代码.zip
PLECS中文手册.pdf
2019西门子杯六部十层电梯群控参考程序.zip
王万良-人工智能导论(第五版)课件
商用密码应用与安全性评估——霍炜.pdf
算法设计(中文版)和习题解答 Jon_Kleinberg著,张立昂译
csma/ca和csma/cd的matlab仿真源代码带有详细的注释
最新下载
机巡通带点云航线uavx文件转换工具,命令行,试用版
Android端大华视频播放SDK,包括开发Demo
exe文件加密器V9.0专业版(最新)-完美破解版
TC358870XBG资料合集.zip
xposed x86手架包
ArcGIS勘测定界软件,自动导出界址点成果表,土地利用现状表(12大类),土地利用现状表(3大类)
N32G45x_FreeRTOS工程模板.rar
三维光子晶体带图matlab程序
VMware vSphere Client 6.0管理软件客户端
CISSP OSG 第九版 英文版