只为小站
首页
域名查询
文件下载
登录
首页
开发技术
其它
软件形式化开发方法的选择策略研究
软件形式化开发方法的选择策略研究
上传者:
38687968
|
上传时间: 2021-01-29 20:11:31
|
文件大小: 667KB
|
文件类型: PDF
形式化;
开发方法;
选择策略;
RSL,
随着软件形式化方法的不断发展,各种各具特色的形式化方法涌现出来,为了解决在具体的系统开发中如何选取合适的形式化方法,对目前较为流行的几种形式化方法RSL,B,VDM,Z的特点进行对比分析,然后针对不同的软件开发人员和所需开发系统的不同,给出了适合用形式化方法开发的情况和如何选择合适的形式化开发方法。
文件下载
立即下载
评论信息
其他资源
免杀端口转发lcx
Node.js高级编程 PDF电子书下载 带书签目录 完整版
MA5620V800R312C00SPH219_H822EPUB.zip
C# .net版 RSA 公钥加密私钥解密 私钥加密公钥解密
基于Qt的超市收银系统
雷达脉冲压缩
xmind转excel
Cocos Creator 特效包.zip
基于matlab的直方图均衡化的彩色图像增强程序
ssm框架(spring+spring mvc +mybatis)实现用户注册、登录、修改、删除和用户列表展示
显示电话拨号键盘按键
c++实现四则运算器源码 支持括号
倒立摆LQRmatlab实现
基于jsp+servlet图书管理系统之后台用户信息查询操作
模糊数学方法及其应用].谢季坚.刘承平.扫描版.pdf
用友 NC6.5 数据字典
移动通信(第二版,Jochen Schiller)习题解答
数学建模红楼梦
mpu6050(1).zip
fiddler4程序包下载
串口接收GPS
图像缩放,用MATLAB仿真,经典图像缩放
VHDL实现简单的ALU
Servlet外文翻译
CDMA仿真代码
JSP+Oracle网络应用系统开发与实例.iso
arcgis for android空间查询 点击某点,选中该点所在区域
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
Actionscript
C
C#
C++
Delphi
Java
Javascript
Perl
PHP
Python
VB
Web开发
硬件开发
其它
热门下载
基于Matlab的IEEE14节点潮流计算.zip
适用于eNSP 1.3.00 可加载的USG6000V防火墙设备包
西门子逻辑控制设计开发_3部10层
Keil5安装包
Monet智能交通场景应用
MPC 模型预测控制matlab仿真程序
空间谱估计理论与算法------程序.rar
CUDA并行程序设计 GPU编程指南-中文扫描539页完整版pdf+高质量英文完整591页原版非扫描pdf
得到品控手册7.0.pdf
大学生网页设计大作业-5个网页设计制作作品自己任选
长江流域shp.zip
先进PID控制Matlab仿真第4版-PDF+代码.zip
PLECS中文手册.pdf
voc车辆检测数据集(已处理好,可直接训练)
刚萨雷斯《数字图像处理》第四版答案.pdf
最新下载
STM32G4 参考手册 中文版
ACIS CAD开发类库
ACIS--CAD开发类库
ACIS--CAD开发类库7
ACIS--CAD开发类库4
ACIS--CAD开发类库6
ACIS--CAD开发类库3
ACIS CAD开发类库2
ACIS CAD开发类库8
ACIS CAD开发类库9