只为小站
首页
域名查询
登录
首页
开发技术
其它
软件形式化开发方法的选择策略研究
软件形式化开发方法的选择策略研究
上传者:
38687968
|
上传时间: 2021-01-29 20:11:31
|
文件大小: 667KB
|
文件类型: PDF
形式化;
开发方法;
选择策略;
RSL,
随着软件形式化方法的不断发展,各种各具特色的形式化方法涌现出来,为了解决在具体的系统开发中如何选取合适的形式化方法,对目前较为流行的几种形式化方法RSL,B,VDM,Z的特点进行对比分析,然后针对不同的软件开发人员和所需开发系统的不同,给出了适合用形式化方法开发的情况和如何选择合适的形式化开发方法。
文件下载
立即下载
评论信息
其他资源
QT实现图片插入数据库并显示
UCOSII系统 STM32F103 RTC PCF8563 绝对可用完整工程
spring-boot-1.5.3.RELEASE
AUTOSAR_PRS_SOMEIPProtocol.pdf
柱子的M—N曲线,自动成图
自己写的一个简单的论坛(源码)
JAVA麻将源代码
毕业论文_基于加速度传感器的计步器设计
.net 员工管理
王爽老师版《汇编语言》全部实验报告
ZigBee 协议在Linux上的实现
【国外电子与通信教材系列】电路原理(第7版) (可编辑版)
C# udp服务器收发、点对点收发
基于波文比-能量平衡法的滴灌控制器设计与研究
湿度对UV-FAIMS基于谱峰位置的谱图识别影响
笑傲江湖人物关系数据
米家智能摄像机云台版(720P)固件
捷联惯导算法与卡尔曼滤波原理讲义word版
Flask构建微电影视频网站源代码
.net印刷行业ERP系统源码20171210
扬创 YC2440-T35B启动u-boot文件
美萍健身房管理软件 最新版 免加密狗 永久使用
Routing TCPIP, Volume II - CCIE Professional Development(2nd) 无水印原版pdf
桃源网盘v5.3企业版+破解补丁
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
Actionscript
C
C#
C++
Delphi
Java
Javascript
Perl
PHP
Python
VB
Web开发
硬件开发
其它
热门下载
数据结构课后习题答案
stm32f103+OLED12864+FFT音乐频谱(多种显示效果 提供原理图)
采用K-means聚类,实现多维矩阵的聚类,并进行可视化展示(matlab)
基于Matlab的PI/4 DQPSK的调制解调源代吗
sqlite运行所需Vc++运行环境,纯净版System.Data.SQLite.dll及SQLite.Interop.dll
ios无人直播 虚拟视频实用版 可以导入视频
Vivado license 永久
2020年数学建模B题(国二)论文.pdf
PLECS中文手册.pdf
EasyMedia-ui.zip
鲸鱼优化算法 WOA matlab源代码(详细注释)
OLED显示温度和时间-STM32F103C8T6(完整程序工程+原理图+相关资料).zip
mingw-w64-install.exe
基于VMD算法的信号降噪.rar
通过svm cnn knn对高光谱数据集PaviaU进行分类(matlab)
最新下载
xshell6破解版
中控播放器 串口RS232,485,UDP,TCP协议控制
(AMX,快思聪,CREATOR,ITAV)中控编程教程
文锋科技代驾系统源码2021826.zip
stm32 + w5500 + MQTT
迈达斯4.0数据模拟软件
青果教务管理系统源码
win98主题FOR XP
CC2530-CC2591设计参考
实编码(整数处理)NSGA II:能够解决混合整数非线性问题的多目标优化非排序遗传算法。-matlab开发