只为小站
首页
域名查询
文件下载
登录
首页
开发技术
其它
软件形式化开发方法的选择策略研究
软件形式化开发方法的选择策略研究
上传者:
38687968
|
上传时间: 2021-01-29 20:11:31
|
文件大小: 667KB
|
文件类型: PDF
形式化;
开发方法;
选择策略;
RSL,
随着软件形式化方法的不断发展,各种各具特色的形式化方法涌现出来,为了解决在具体的系统开发中如何选取合适的形式化方法,对目前较为流行的几种形式化方法RSL,B,VDM,Z的特点进行对比分析,然后针对不同的软件开发人员和所需开发系统的不同,给出了适合用形式化方法开发的情况和如何选择合适的形式化开发方法。
文件下载
立即下载
评论信息
其他资源
基于点锐度的图像清晰度评价
[8] ffmpeg + SDL2 实现的视频播放器「快进、快退」
Mathematical Epidemiology
The Little Schemer完整版
Linear+Algebra+and+Its+Applications.pdf
简单的flash数字时钟,可用于ppt,或QQ空间
数字电子钟verilog课程设计
传统产业数字化转型中台产品设计与实践.pdf
xposed框架 arm64.txt
原子发展-源码
ember-styleguide:这是一个UI插件,旨在帮助标准化Ember系列网站,并使Ember网站更轻松地成为Ember应用
docx4j api
c++函数模板和类模板计实验报告
单片机的仿真记录按键按下的次数
销售税面试题java实现
飞秋(FeiQ)
Rational Rose 汉化文件
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
Actionscript
C
C#
C++
Delphi
Java
Javascript
Perl
PHP
Python
VB
Web开发
硬件开发
其它
热门下载
EBSD分析软件——Channel5下载安装教程
IEEE 39节点系统的Simulink模型
matlab机器人工具箱实现机械臂直线轨迹&圆弧轨迹规划
PSO-LSSVM的MATLAB代码.rar
离散时间信号处理第三版课后习题答案
通过svm cnn knn对高光谱数据集PaviaU进行分类(matlab)
计算机专业实习日记+实习周记+实习总结
多机器人编队及避障仿真算法.zip
simulink仿真实现光伏发电MPPT+能量管理
Monet智能交通场景应用
西安问题电缆-工程伦理案例分析.zip
空间谱估计理论与算法------程序.rar
多目标优化算法(四)NSGA3的代码(MATLAB)
基于S函数的BP神经网络PID控制器及Simulink仿真和对应代码模型.zip
云视通扫描工具.zip
最新下载
TMS320F2812在电力系统多通道同步交流采样中的应用
OpenCV视觉库易语言模块
相机标定工具.rar
思科模拟器7.1PacketTrace7.1最新版本
Mathematical physics - A modern introduction to its foundations_Sadri Hassani
Coppelia Sim (v-REP)仿真 机器人3D相机手眼标定与实时视觉追踪 (一)
MKL 求解大型稀疏复数矩阵
华农java通讯录系统
Word文档内容搜索器2.0.rar
华中科技大学-计算机组成原理-educoder Logisim-储存系统设计(HUST) 答案代码