只为小站
首页
域名查询
文件下载
登录
首页
开发技术
其它
软件形式化开发方法的选择策略研究
软件形式化开发方法的选择策略研究
上传者:
38687968
|
上传时间: 2021-01-29 20:11:31
|
文件大小: 667KB
|
文件类型: PDF
形式化;
开发方法;
选择策略;
RSL,
随着软件形式化方法的不断发展,各种各具特色的形式化方法涌现出来,为了解决在具体的系统开发中如何选取合适的形式化方法,对目前较为流行的几种形式化方法RSL,B,VDM,Z的特点进行对比分析,然后针对不同的软件开发人员和所需开发系统的不同,给出了适合用形式化方法开发的情况和如何选择合适的形式化开发方法。
文件下载
立即下载
评论信息
其他资源
02324 离散数学
百度充电桩故障分类(数据)+提交数据(acc=1)
摩托罗拉A8对讲机维修手册 带电路图
TwinCAT 2 注册机
Haar小波变换在图像处理中的应用
QT-按钮风格实时渲染+QSS实时显示+QPushButton样式
NS2与网络模拟__于斌
基于ARM的嵌入式温度控制系统的设计
基于SpringMVC的用户三次登录失败案例
winPcap的简单应用,能保存捕获数据成文件
cc2530驱动apds9960采集光照强度
基于PLC变频控制的温室雾化降温系统与试验研究
7-11(为Body施加力).7z
android 用SO_BINDTODEVICE绑定发出包的测试包
eclipse-SDK-3.7-win32.zip 下载
准高级项目经理(高级信息系统项目管理师)的5天修炼
android 引入A*算法
基于张量分解的推荐算法研究_黄丹
System.Web.Extensions.DLL全集
storyline 2 Quizmaker13测试题批量导入模板
guava-19.0.jar
网络协议工程答案
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
Actionscript
C
C#
C++
Delphi
Java
Javascript
Perl
PHP
Python
VB
Web开发
硬件开发
其它
热门下载
2019综合测评仿真.zip
IEEE33节点配电网Simulink模型.rar
芯片验证漫游指南以及源代码.zip
基于STM32的电子时钟设计
股票价格预测-LSTM-TCN-GBDT:使用四种算法(LSTM,TCN,GRU,GBDT)进行股票价格的预测和预测结果的检验。有四种算法(LSTM,TCN,GRU,GBDT)用于预测股价并检验预测结果-源码
Autojs 例子 源码 1600多个教程源码
EEupdate_5.35.12.0 win10下修改intel网卡mac
voc车辆检测数据集(已处理好,可直接训练)
适用于eNSP 1.3.00 可加载的USG6000V防火墙设备包
非线性本构关系在ABAQUS中的实现.pdf
2020年数学建模B题(国二)论文.pdf
Plexim Plecs Standalone 4.1.2 x64.7z
基于OpenCV的车牌号码识别的Python代码(可直接运行)
20200318附加-2019年电赛综合测评方案详细计算过程(pdf版本,有朋友反映word版本乱码,特意转为pdf)
粒子群算法优化3-5-3多项式工业机器人时间最优轨迹规划算法matlab代码
最新下载
基于STM32F407的DHT22程序代码
2019年全国高教社杯全国大学生数学建模B题优秀论文(附代码)
hacker种子\黑客X档案2006配套光盘及电子书籍4.82G.torrent )
【PyQt6.6.2】【windows版】重新编译QT支持html5视频播放
电子报2012年资料文件
电子报2013合订本(上).pdf
电子报2013合订本(下).pdf
中国科技大学谭立湘数字图像处理课件
python-图像处理.rar
WebView87.0.4280.101.zip