只为小站
首页
域名查询
文件下载
登录
首页
开发技术
其它
软件形式化开发方法的选择策略研究
软件形式化开发方法的选择策略研究
上传者:
38687968
|
上传时间: 2021-01-29 20:11:31
|
文件大小: 667KB
|
文件类型: PDF
形式化;
开发方法;
选择策略;
RSL,
随着软件形式化方法的不断发展,各种各具特色的形式化方法涌现出来,为了解决在具体的系统开发中如何选取合适的形式化方法,对目前较为流行的几种形式化方法RSL,B,VDM,Z的特点进行对比分析,然后针对不同的软件开发人员和所需开发系统的不同,给出了适合用形式化方法开发的情况和如何选择合适的形式化开发方法。
文件下载
立即下载
评论信息
其他资源
KRterm E控系列 v1.2.2 汉化版(含原版安装程序)
matlab相机标定程序 注解
GlobalMapper10 免安装破解版
简单的C/S模式的学生管理系统
考试管理系统
二值图像目标邻域点法边界跟踪算法
SVG画图工具,整套源码
PEMFC matlab 仿真
稀缺资源!真正的西门子s7-200smart项目密码清除工具
影像地图快速生成瓦片.xml
IbsenI-MON80Dpresentationinclmeasurements.pdf
TeeChart Pro v8 ActiveX 破解版
c#简单的数据库增删查改Demo
软件设计师.xmind
Java面试宝典(精简版).pdf
一个带下拉刷新列表的日历demo.zip
jdk-8u25-linux-x64.tar.gz
MVP-Simple-Demo-master.zip
基于MFC的嗅探器
Linux窗口程序设计-Qt4精彩实例分析 part02
远程控制radmin隐藏运行破解版
诺基亚5110液晶取字模软件
模块封装(三维PCB封装库)AD用PCB封装库
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
Actionscript
C
C#
C++
Delphi
Java
Javascript
Perl
PHP
Python
VB
Web开发
硬件开发
其它
热门下载
Spring相关的外文文献和翻译(毕设论文必备)
BP_PID控制仿真.rar
Academic+Phrasebank+2021+Edition+_中英文对照.pdf
狂神说Java系列笔记.rar
QT自制精美Ui模板系列(一)桃子风格模板 - 二次开发专用
PowerBI视觉对象共计271组,更新日期2021.01.20日.zip
神经·模糊·预测控制及其MATLAB实现PDF + MATLAB程序
基于matlab扩频通信系统仿真(整套代码)
商用密码应用与安全性评估——霍炜.pdf
中国地面气候资料日值数据集(V3.0)-201001201912.rar
Matpower中文使用手册(原名《MATPOWER手册(中文版)》).rar
智能微电网中利用粒子群算法实现多目标优化(有完整数据可运行).zip
简易示波器-精英板.zip
VideoDownloadHelper去除120分钟时间限制-高级版.zip
csma/ca和csma/cd的matlab仿真源代码带有详细的注释
最新下载
Dlib FaceLandmark Detector 1.2.8 for Unity.zip
uniGUI_1.90.0.1534_All_Setup(Crack).exe
一种抗混叠滤波器的设计
现代数字信号处理(杨绿溪)课后习题答案
NTK Daemon 安装程序 Windows版本
MS-DOS 6.22完整软盘镜像
pynq-z2 v2.5 镜像 image fpga xilinx官方镜像
mini播放器源码,让你在上班的时候用很小的窗口看视频
联想H61主板升级BIOS支持22NM最新版本支持I7.E3
Tesseract.js:纯Javascript多语言OCR-开源