只为小站
首页
域名查询
文件下载
登录
首页
开发技术
其它
软件形式化开发方法的选择策略研究
软件形式化开发方法的选择策略研究
上传者:
38687968
|
上传时间: 2021-01-29 20:11:31
|
文件大小: 667KB
|
文件类型: PDF
形式化;
开发方法;
选择策略;
RSL,
随着软件形式化方法的不断发展,各种各具特色的形式化方法涌现出来,为了解决在具体的系统开发中如何选取合适的形式化方法,对目前较为流行的几种形式化方法RSL,B,VDM,Z的特点进行对比分析,然后针对不同的软件开发人员和所需开发系统的不同,给出了适合用形式化方法开发的情况和如何选择合适的形式化开发方法。
文件下载
立即下载
评论信息
其他资源
S5500EI-CMW520-R2222P12.zip
LMS算法示例
visdom可视化需要下载的文件
LAS与PCD、txt转换工具
FANUC二次开发实例源代码
验证码识别的OCR DLL
VS2015及VS2017可以使用的CGridCtrl
Qt插件开发源码
TD_Mgd_4.00_10.dll
Arcmap将shp生成png操作流程
学生管理系统(PHP+MYSQL+说明文档)
Java如何生成自己的微信二维码-附件资源
java算法题for打印99乘法表
aws-serverless-webapp-源码
故障处理-以太网接口物理down.pdf
零死角玩转stm32.zip
ZigBee 联盟 Base Device Behavior Specification 中文版
web样式插件-树结构
计算机操作系统教案
吃豆人Win32小游戏
软件开发文档示例!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
DBGrid 单行修改、单列修改、选中一行但可编辑
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
Actionscript
C
C#
C++
Delphi
Java
Javascript
Perl
PHP
Python
VB
Web开发
硬件开发
其它
热门下载
科研伦理与学术规范 期末考试2 (40题).pdf
基于STM32的电子时钟设计
简易示波器-精英板.zip
拾荒者扫描器.rar
Keil5安装包
elsevier 爱思唯尔 系列期刊的word模板,template,单栏,双栏
2021华为芯片研发岗位笔试题
张正友相机标定Opencv实现(完整程序+棋盘图)实例源码
多机器人编队及避障仿真算法.zip
《应用非线性控制》(美)斯洛坦著;程代展译(清晰)
东南大学英语技术写作慕课所有答案
MTALAB NSGA2算法
IBM CPLEX 12.10 学术版 mac操作系统安装包
Matpower中文使用手册(原名《MATPOWER手册(中文版)》).rar
基于MATLAB的Filter使用,低通、带通和高通滤波器的仿真
最新下载
soyo SY-H81N 全固版 BIOS
牛(cow)目标检测数据集
控制器调 试工具V2.1.5X4.rar
惠普 348 G3完美黑苹果配置文件
PaintingGANs_DL_proj2:在这里,我们将创建将照片转换成莫奈风格绘画的GAN
二三四位数码管原理图和封装
MIPS现代时序中断机制实现(HUST) 头歌通关全码
275MIB 车机高德地图.rar
stm32cubemx_mac_v6.4.0
强化学习PPT资源