只为小站
首页
域名查询
文件下载
登录
首页
开发技术
其它
软件形式化开发方法的选择策略研究
软件形式化开发方法的选择策略研究
上传者:
38687968
|
上传时间: 2021-01-29 20:11:31
|
文件大小: 667KB
|
文件类型: PDF
形式化;
开发方法;
选择策略;
RSL,
随着软件形式化方法的不断发展,各种各具特色的形式化方法涌现出来,为了解决在具体的系统开发中如何选取合适的形式化方法,对目前较为流行的几种形式化方法RSL,B,VDM,Z的特点进行对比分析,然后针对不同的软件开发人员和所需开发系统的不同,给出了适合用形式化方法开发的情况和如何选择合适的形式化开发方法。
文件下载
立即下载
评论信息
其他资源
Android通讯录源码
802.15.4g官方协议
无机材料科学基础 陆佩文
基于fpga的dds信号发生器设计
HC32xxx J-Flash V2.0.zip
FORTRAN并行简介
软件开发详细设计文档模板
挑战杯创业计划大赛国家一等奖
OpenCV和MFC的实例+界面程序+各种图像处理操作
千方百剂Ⅱ医疗器械版8.1.0.26315五版合一去后门全功能完美免狗补丁附安装包地址
c语言版网吧计费管理系统(修改版)
音视频Visio形状
系统分析师考试试题分类精解_最新高清(2019版)
旅游网站管理系统的设计与实现
求职者调研报告.pdf
test_case.xlsx
intel加速器
基于安卓放QQ毕设包含论文开题报告
NRF905无线收发芯片原理及设计实现
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
Actionscript
C
C#
C++
Delphi
Java
Javascript
Perl
PHP
Python
VB
Web开发
硬件开发
其它
热门下载
JPEG的Matlab实现
基于javaweb的网上购物系统(毕业论文+答辩PPT+开题报告+源代码)
随机森林用于分类matlab代码
cplex_studio129.win-x86-64.exe CPLEX 12.9直接安装可使用
copula程序及算法.zip
得到品控手册7.0.pdf
2010年-2020中国地面气候资料数据集(V3.0)
王万良-人工智能导论(第五版)课件
基于STM32的电子时钟设计
全国道路网SHP数据.zip
神经·模糊·预测控制及其MATLAB实现PDF + MATLAB程序
mingw-w64-install.exe
YOLOv5 人脸口罩图片数据集
matlab时频分析工具箱+安装方法+函数说明+最新版tftb.
拾荒者扫描器.zip
最新下载
Micrium_Xilinx_Repo_1_44.zip
SAE_1939_Appendix_附表
owncloud 8.0.16
沈阳理工大学双选会管理系统
Chrome强制允许Flash
酷炫网站后台框架(40个)
J1939 中文版ID地址分配速查
iVentoy 1.0.17 win64 版
彩虹UDA软件狗工具.zip
c语言编写的ads1110