只为小站
首页
域名查询
文件下载
登录
首页
开发技术
其它
软件形式化开发方法的选择策略研究
软件形式化开发方法的选择策略研究
上传者:
38687968
|
上传时间: 2021-01-29 20:11:31
|
文件大小: 667KB
|
文件类型: PDF
形式化;
开发方法;
选择策略;
RSL,
随着软件形式化方法的不断发展,各种各具特色的形式化方法涌现出来,为了解决在具体的系统开发中如何选取合适的形式化方法,对目前较为流行的几种形式化方法RSL,B,VDM,Z的特点进行对比分析,然后针对不同的软件开发人员和所需开发系统的不同,给出了适合用形式化方法开发的情况和如何选择合适的形式化开发方法。
文件下载
立即下载
评论信息
其他资源
XP3文件解包工具
QT实现http GET POST操作
MATLAB数字信号处理GUI设计
基于ARM的贪吃蛇游戏设计报告
神经网络及其应用(全文).pdf
MATLAB信号处理
《基于ASP的学生成绩管理系统的设计与实现》毕业设计论文(源码加论文)
《C/C++中国象棋程序入门与提高》源代码
响应式bootstrap3商城网站模板下载
ca6140后托架课程设计及夹具设计——有图
VC++6.0字体设置工具(完美版)
C# 基于数据库的学生管理系统
基于web数据库图书管理信息系统设计与实现(源程序)
基于php最简单的学生管理系统
基于最大熵的粒子群算法的多阈值图像分割
VRML场景实例
ajax:适用于WordPress的AJAX包装器-源码
ibm的Rational System Architect使用指导ppt
Batch Normalization简介
【vb源码】水准网间接平差程序
codesys教程
MICCAI历年论文汇总
C++、qt环境下的C/S聊天器
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
Actionscript
C
C#
C++
Delphi
Java
Javascript
Perl
PHP
Python
VB
Web开发
硬件开发
其它
热门下载
狂神说Java系列笔记.rar
华为OD机试真题.pdf
C4.5决策树算法的Python代码和数据样本
刚萨雷斯《数字图像处理》第四版答案.pdf
Vivado license 永久
Spring相关的外文文献和翻译(含出处).zip
航迹融合算法MATLAB仿真程序
PowerBI视觉对象共计271组,更新日期2021.01.20日.zip
Plex v7.12电视端app
多智能体的编队控制matlab程序(自己编写的,可以运行)
Autojs 例子 源码 1600多个教程源码
token登录器.rar
神经·模糊·预测控制及其MATLAB实现PDF + MATLAB程序
基于VMD算法的信号降噪.rar
代码随想录知识星球精华-大厂面试八股文第二版v1.2.pdf
最新下载
Android端大华视频播放SDK,包括开发Demo
exe文件加密器V9.0专业版(最新)-完美破解版
TC358870XBG资料合集.zip
xposed x86手架包
ArcGIS勘测定界软件,自动导出界址点成果表,土地利用现状表(12大类),土地利用现状表(3大类)
N32G45x_FreeRTOS工程模板.rar
三维光子晶体带图matlab程序
VMware vSphere Client 6.0管理软件客户端
CISSP OSG 第九版 英文版
国网《电能计量器具条码》Q/GDW1205-2013 超清PDF