只为小站
首页
域名查询
文件下载
登录
首页
开发技术
其它
软件形式化开发方法的选择策略研究
软件形式化开发方法的选择策略研究
上传者:
38687968
|
上传时间: 2021-01-29 20:11:31
|
文件大小: 667KB
|
文件类型: PDF
形式化;
开发方法;
选择策略;
RSL,
随着软件形式化方法的不断发展,各种各具特色的形式化方法涌现出来,为了解决在具体的系统开发中如何选取合适的形式化方法,对目前较为流行的几种形式化方法RSL,B,VDM,Z的特点进行对比分析,然后针对不同的软件开发人员和所需开发系统的不同,给出了适合用形式化方法开发的情况和如何选择合适的形式化开发方法。
文件下载
立即下载
评论信息
其他资源
几种USB type-c母座原理图符号及PCB封装(含3D模型,适用于AltiumDesigner)
DS2782 美信电量计芯片 IIC STM32/STM8/51单片机 C代码
t-s模糊神经网络程序
ABSACC.zip
五级流水线cpu
android简易万年历源码
2018最新中国行政区域数据(省,市,县(区))
SimHei字体
canny算子边缘检测,与matlab自带函数效果一致,程序可运行。
设备电气验收标准V1.0.docx
jenkins配置jenkins配置jenkins配置jenkins配置
N32G020系列产品简介V1.0.pdf
HDFS原理简介
软件设计师历年真题全汇总(答案+解析)
智能台灯--基于单片机设计
WinRAR 3.93 Final (x64,适用64位系统) 官方英文版
用C++模拟直线插补(图形)
药品销售系统破解版
html5 canvas 实现贪吃蛇
双人玩的Java五子棋游戏
基于Logistic系统的图像模块混沌加密解密算法
模拟交换机
8 MIMO无线通信系统中的空时编码方法研究.nh
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
Actionscript
C
C#
C++
Delphi
Java
Javascript
Perl
PHP
Python
VB
Web开发
硬件开发
其它
热门下载
2019年秋招—华为硬件工程师笔试题目.pdf
锁相环simulink建模仿真.rar
RNN-LSTM卷积神经网络Matlab实现
基于蒙特卡洛生成电动汽车充电负荷曲线程序
安卓开发期末大作业----单词本(源码,任务书,大报告,apk文件)(基于andord studio)
Steam离线安装版
IEEE33节点配电网Simulink模型.rar
sqlite运行所需Vc++运行环境,纯净版System.Data.SQLite.dll及SQLite.Interop.dll
voc车辆检测数据集(已处理好,可直接训练)
基于Matlab的IEEE14节点潮流计算.zip
雷达信号处理仿真程序(MTI,MTD等)
空间谱估计理论与算法------程序.rar
【SystemVerilog】路科验证V2学习笔记(全600页).pdf
STM32F4时钟触发ADC双通道采样DMA传输进行FFT+测频率+采样频率可变+显示波形
Spring相关的外文文献和翻译(含出处).zip
最新下载
【船舶】基于matlab风浪流模型水面船舶三自由度运动仿真【含Matlab源码 4379期】.mp4
dcm4che-5.23.3.rar
STM32红牛开发板光盘
效果器调试软件,适用Pure sound效果器
361度插件-后台图色插件V2.02(支持DX图形)
溪谷游戏联运系统加盟版-v1.1安装包-免费下载使用
创建一个移动无线网络-OPNET使用入门
Communications Toolbox Support Package for USRP Radio.rar
变压器与电感器设计手册-第四版(中文).pdf
DS918+6.21二合一硬盘镜像(完美运行,主板必须改为UEFI).7z