只为小站
首页
域名查询
文件下载
登录
首页
开发技术
其它
软件形式化开发方法的选择策略研究
软件形式化开发方法的选择策略研究
上传者:
38687968
|
上传时间: 2021-01-29 20:11:31
|
文件大小: 667KB
|
文件类型: PDF
形式化;
开发方法;
选择策略;
RSL,
随着软件形式化方法的不断发展,各种各具特色的形式化方法涌现出来,为了解决在具体的系统开发中如何选取合适的形式化方法,对目前较为流行的几种形式化方法RSL,B,VDM,Z的特点进行对比分析,然后针对不同的软件开发人员和所需开发系统的不同,给出了适合用形式化方法开发的情况和如何选择合适的形式化开发方法。
文件下载
立即下载
评论信息
其他资源
刚编译的支持全格式的ijkplayer的so文件(android)
VLSI数字信号处理系统:设计与实现
mini12306.rar
jdk-11.0.2_windows-x64_bin.exe
STM32 3d打印机源码 IAR 工程
jsp+myeclipse+mysql做的学生成绩管理系统 登录界面和增删查改
上海交通大学通信原理期末考试试题
数据结构课程设计 二叉树的各种遍历算法及树与二叉树的转换程序及报告
蚁群算法解决背包问题matlab
python多线程编程实现网络串口透传
HiJson格式化工具64位 官方绿色版
单片机控制的简易定时报警器电路设计(含电路图和程序)
基于多模态数据的3D模型检索算法
新闻发布系统-张毓峰.zip
Jenkins 以及相应 maven 与 git 插件.rar
pix飞控原理图
ue 中文破解版
stm32 mpu925 原始数据
Python爬虫文件:爬取图片的程序.py
unity3D 蓝牙插件 iOS & Android
惯导与GPS的组合导航程序
国土资源数据2000国家大地坐标系转换技术要求
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
Actionscript
C
C#
C++
Delphi
Java
Javascript
Perl
PHP
Python
VB
Web开发
硬件开发
其它
热门下载
芯片验证漫游指南以及源代码.zip
MATLAB车牌识别系统
华为OD机试真题.pdf
人体姿态检测
基于Python网络爬虫毕业论文.doc
MVDR,Capon波束形成DO估计.zip
全国河流水文站坐标.xls
转速、电流双闭环直流调速Simulink源文件.zip
android开发期末大作业.zip
2020年大学生数学建模竞赛C题省一论文(包括材料和代码)
多目标优化算法(二)MOEAD(附带NSGA2)的文档和代码(MATLAB)
基于OpenCV的车牌号码识别的Python代码(可直接运行)
王万良-人工智能导论(第五版)课件
大唐杯资料+题库(移动通信)
基于matlab扩频通信系统仿真(整套代码)
最新下载
GoHide绿色破解版(亲测可用可保存)已设置F10按键
荣耀路由ws831固件rom.zip
STM32CUBEMX驱动lcd1602,芯片是stm32f103c8t6
springboot奖助学金评审系统的设计与实现(源码+数据库)031035
成功安装VM tools,设置的共享文件夹却不显示
图书馆网络设计方案.pdf
Alternative A2DP Driver 1.0.5.1 无限制版
红月3.8c服务器端+GM工具+ASP网站源码.zip
Android投屏,两个设备屏幕共享,互相投屏
中国地面气候资料日值数据集(V3.0)2014-2019.rar