只为小站
首页
域名查询
文件下载
登录
首页
开发技术
其它
软件形式化开发方法的选择策略研究
软件形式化开发方法的选择策略研究
上传者:
38687968
|
上传时间: 2021-01-29 20:11:31
|
文件大小: 667KB
|
文件类型: PDF
形式化;
开发方法;
选择策略;
RSL,
随着软件形式化方法的不断发展,各种各具特色的形式化方法涌现出来,为了解决在具体的系统开发中如何选取合适的形式化方法,对目前较为流行的几种形式化方法RSL,B,VDM,Z的特点进行对比分析,然后针对不同的软件开发人员和所需开发系统的不同,给出了适合用形式化方法开发的情况和如何选择合适的形式化开发方法。
文件下载
立即下载
评论信息
其他资源
3GPPTS24.229中文版
ETS 5.6.6 和谐版
仿京东的注册界面
Labview PID control toolkit
离散数学及其应用 原书第6、7版(美)罗森 (中英版,附答案)
asp.net mvc+vue+element.zip
嵌入式实时操作系统μC OS-II经典实例 基于STM32处理器 第2版_刘波文,孙岩著.part1
基于Java与MySQL的班级学生成绩管理系统
QT5写的一个简单的UDP测试工具
实习证明(软件专业)
微机原理课设 乒乓球
all-color-themes.jar
汉语部分_96-05对外汉语教师资格考试题
AZ900考试题库,可以覆盖50%的考题
Android基础学习(共三本书两本国内教材,一本国外教材)
linux服务器上创建第二个ORACLE实例
Web前端前沿技术 ____酷炫的3D特效 鼠标进入图片时,显示文本
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
Actionscript
C
C#
C++
Delphi
Java
Javascript
Perl
PHP
Python
VB
Web开发
硬件开发
其它
热门下载
银行笔试 信息科技岗部分真题
基于ray filter的雷达点云地面过滤ROS节点
新型冠状病毒疫情_2020年东三省数学建模A题_论文展示
毕业设计:基于Python的网络爬虫及数据处理(智联招聘)
《应用非线性控制》(美)斯洛坦著;程代展译(清晰)
基于OpenCV的车牌号码识别的Python代码(可直接运行)
csma/ca和csma/cd的matlab仿真源代码带有详细的注释
transformer_pytorch_inCV.rar
长江流域shp.zip
芯片验证漫游指南以及源代码.zip
Android小项目——新闻APP(源码)
多目标优化算法(四)NSGA3的代码(python3.6)
神经·模糊·预测控制及其MATLAB实现PDF + MATLAB程序
智能微电网中利用粒子群算法实现多目标优化(有完整数据可运行).zip
Monet智能交通场景应用
最新下载
gps串口对时程序(window、linux)
XLSReadWriteII 6.00.25a For D7, RX10.2.zip
SAP_ECC6.0_EHP4或SAP_ECC6.0_EHP5_基于Windows_Server_2008R2_和SQL_server下的安装
XGraph
华为统一网关
零基础学python(明日科技)PPT源代码习题及答案视频.rar
UID 修改 & UID 锁死修复_UID207
成套照明CAD平面图
GPS串口对时软件V2.2
h3c 固件 WA4300-CMW520-R1509P03-FAT