只为小站
首页
域名查询
文件下载
登录
首页
开发技术
其它
软件形式化开发方法的选择策略研究
软件形式化开发方法的选择策略研究
上传者:
38687968
|
上传时间: 2021-01-29 20:11:31
|
文件大小: 667KB
|
文件类型: PDF
形式化;
开发方法;
选择策略;
RSL,
随着软件形式化方法的不断发展,各种各具特色的形式化方法涌现出来,为了解决在具体的系统开发中如何选取合适的形式化方法,对目前较为流行的几种形式化方法RSL,B,VDM,Z的特点进行对比分析,然后针对不同的软件开发人员和所需开发系统的不同,给出了适合用形式化方法开发的情况和如何选择合适的形式化开发方法。
文件下载
立即下载
评论信息
其他资源
看板方法-科技企业渐进变革成功之道.pdf
《Principles of Robot Motion Theory, Algorithms, and Implementations》
经纬高(LBH)坐标与北天东坐标转换程序
ORCAD元器件封装库大全
长春径点科技笔试,一面,二面题
神经网络.pdf
计算机网络仿真OPNET实用指南,Adarshpal S. Sethi等人著
《MATLAB图像与视频处理实用案例详解》源码
初学Android图书馆管理系统项目
C++ 断点续传
curl+ssh windows android linux mac ios 编译好的5个平台的库
微信开发获取地理位置实例(java)
豪杰解霸经典音频视频播放器
声波介导的光子晶体光纤中以1μm频带激发的光电振荡器
三星N5100平板电脑故障排除图纸
2017-2018年暨南大学727美术专业基础考研真题
仿新浪微博客户端
JDK1.6官方版 解压即用
网络课程设计 基于c/s聊天系统
Handbook of Optics Volume_1
mysql-5.5.40-winx64 数据库下载
ASP.NET仓储管理系统开题报告
A Discipline of Programming
java实现的车牌识别系统
arcgis for android 定位
服务端获取DTU GPRS数据C#
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
Actionscript
C
C#
C++
Delphi
Java
Javascript
Perl
PHP
Python
VB
Web开发
硬件开发
其它
热门下载
空间谱估计理论与算法------程序.rar
Elsevier爱思唯尔的word模板.zip
java-spring-web-外文文献翻译40篇.zip
Vivado license 永久
画程(版本6.0.0.127)setup个人版
elsevier 爱思唯尔 系列期刊的word模板,template,单栏,双栏
2019综合测评仿真.zip
工程伦理_李正风,丛杭青,王前_北京:清华大学出版社 , 2016.08_P329.pdf
sqlite运行所需Vc++运行环境,纯净版System.Data.SQLite.dll及SQLite.Interop.dll
IBM.ILOG.CPLEX.Enterprise.Server.v12.10.0.Win64.rar CPLEX下载
适用于eNSP 1.3.00 可加载的USG6000V防火墙设备包
python爬虫数据可视化分析大作业.zip
校园网规划与设计和pkt文件
Steam离线安装版
基于MATLAB的水果图像识别
最新下载
SHE Secure Hardware Extension.pdf
CE6855HI-V200R019C10SPC800 + CE6855HI-V200R019SPH060
系统辨识及其MATLAB仿真(pdf)
CAD 面积分摊工具
电子病历数字签名的设计与实现
libtiff已编译好的库(32位和64位)
【Debug+DOSBox】64位win10使用debug,无需次次挂载,详细图文教程及软件,非百度云链接
易软医院门诊管理系统12.9免狗破解版
Bitmap To Mesh (图片转三维实体) 0.5.1【测试可用】.zip
摄像头数据用mp4v2写入mp4文件