只为小站
首页
域名查询
文件下载
登录
首页
开发技术
其它
软件形式化开发方法的选择策略研究
软件形式化开发方法的选择策略研究
上传者:
38687968
|
上传时间: 2021-01-29 20:11:31
|
文件大小: 667KB
|
文件类型: PDF
形式化;
开发方法;
选择策略;
RSL,
随着软件形式化方法的不断发展,各种各具特色的形式化方法涌现出来,为了解决在具体的系统开发中如何选取合适的形式化方法,对目前较为流行的几种形式化方法RSL,B,VDM,Z的特点进行对比分析,然后针对不同的软件开发人员和所需开发系统的不同,给出了适合用形式化方法开发的情况和如何选择合适的形式化开发方法。
文件下载
立即下载
评论信息
其他资源
winform导Excel封装.rar
python经典100例编程.zip
安卓记事本程序源码
MIMO-OFDM信道仿真
C#读写西门子PLC实例
LCD字模生成工具---PCtoLCD2002完美版---使用说明
.net MVC网上书店源代码(完整版)
快捷微信投票系统 v2.0
LTC2440程序+仿真
Linux上将CRX格式的观测文件转换成RNX的程序
预约挂号HTML前端页面模板.zip
hook wmi 修改机器码
Scanner-Radio(jb51.net).apk
cloudera-manager-server-db-2-5.9.0-1.cm590.p0.249.el7.x86_64.rpm
robust cylinder fitting.zip
Python for Data Analysis, 2nd Edition(最终版)
安卓饿了吗点餐餐饮APP
编制一个长度为1K的消息发送和接受的程序。
Qt静态库的生成及调用
Java课程设计扫雷游戏代码及报告
SM2和SM3算法
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
Actionscript
C
C#
C++
Delphi
Java
Javascript
Perl
PHP
Python
VB
Web开发
硬件开发
其它
热门下载
代码随想录知识星球精华-大厂面试八股文第二版v1.2.pdf
2020年数学建模B题穿越沙漠全部代码全国赛二等奖.zip
中国地面气象站观测数据2000-2021
copula程序及算法.zip
Plex v7.12电视端app
基于Matlab的IEEE14节点潮流计算.zip
MATLAB车牌识别系统
智能微电网中利用粒子群算法实现多目标优化(有完整数据可运行).zip
知网情感词典(HOWNET)
scratch版 我的世界.sb2
简易示波器-精英板.zip
得到品控手册7.0.pdf
基于蒙特卡洛生成电动汽车充电负荷曲线程序
股票价格预测-LSTM-TCN-GBDT:使用四种算法(LSTM,TCN,GRU,GBDT)进行股票价格的预测和预测结果的检验。有四种算法(LSTM,TCN,GRU,GBDT)用于预测股价并检验预测结果-源码
Microsoft Visual C++ 2015-2019 运行库合集,包含32位64位
最新下载
2019最新银行卡bin表单、包含excel表,mysql数据库sql文件8000条
MixRamDisk 下载 MixRamDisk 免费下载
Qt使用QWidget重绘实现圆环形渐变色进度条(支持不确定进度模式)
pymol-2.4.0a0-cp37-cp37m-win_amd64.whl
光猫配置文件.rar
Microsoft SQLServer jdbc_7.4.1.0_chs.zip
MixControl_Setup 拼接大屏控制软件
STM32F051 SPI DMA操作智能插座
联想 Y470 BIOS 2.12 去白名单+高级菜单版本
25000Linux集群真正去后门+防K复活