只为小站
首页
域名查询
文件下载
登录
首页
开发技术
其它
软件形式化开发方法的选择策略研究
软件形式化开发方法的选择策略研究
上传者:
38687968
|
上传时间: 2021-01-29 20:11:31
|
文件大小: 667KB
|
文件类型: PDF
形式化;
开发方法;
选择策略;
RSL,
随着软件形式化方法的不断发展,各种各具特色的形式化方法涌现出来,为了解决在具体的系统开发中如何选取合适的形式化方法,对目前较为流行的几种形式化方法RSL,B,VDM,Z的特点进行对比分析,然后针对不同的软件开发人员和所需开发系统的不同,给出了适合用形式化方法开发的情况和如何选择合适的形式化开发方法。
文件下载
立即下载
评论信息
其他资源
画程(版本6.0.0.127)setup个人版
bonespro(3dmax骨骼蒙皮插件)v4.7.4for3dsmax2015201620172018
aspose-pdf.zip
VB6软件支持包
编译原理(词法、语法、语义分析实验报告+源代码)
树莓派利用python检测移动物体并拍照储存在SD卡上
任意大小矩阵的zigzag排序Matlab程序
MATLAB在汽车半主动悬架仿真中的应用
基于tm4c的音乐频谱分析fft
下载进度条demo
Android通用框架设计与完整电商APP开发
基于半导体光放大器的超宽带三重态信号的产生
YDT 2044-2009 IPv6网络设备安全测试方法-边缘路由器.pdf
terraform-provider-vsphere:Terraform VMware vSphere提供程序-源码
org.apache.http.legacy.jar
2017山大软件项目管理期末复习
不错的中国象棋单机版
C++面向对象初学者教学 源程序大全
streambuf.h,exception.h
多元统计分析 聚类分析 ppt
百度迁徙自动下载脚本
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
Actionscript
C
C#
C++
Delphi
Java
Javascript
Perl
PHP
Python
VB
Web开发
硬件开发
其它
热门下载
基于matlab的车牌识别系统设计
2019西门子杯六部十层电梯群控参考程序.zip
大唐杯资料+题库(移动通信)
CUDA并行程序设计 GPU编程指南-中文扫描539页完整版pdf+高质量英文完整591页原版非扫描pdf
基于Servlet+jsp+mysql开发javaWeb学生成绩管理系统
智能微电网中利用粒子群算法实现多目标优化(有完整数据可运行).zip
python大作业--爬虫(完美应付大作业).zip
《MIMO-OFDM无线通信技术及MATLAB实现》高清PDF及源代码
cublas64_11.dll cublasLt64_11.dll cusolver64_11.dll
采用K-means聚类,实现多维矩阵的聚类,并进行可视化展示(matlab)
基于yolov4-keras的抽烟检测(源码+数据集)
scratch版 我的世界.sb2
夏天IC助手1.8你们懂的
RentingSystem.rar
EBSD分析软件——Channel5下载安装教程
最新下载
vasp4.6下载软件包
openssl1.1.1_binX64
进程监控守护工具-当监控列表中的进程挂掉后会自动重新启动
MFC编写的图书管理系统,用到数据库SQL
AMD-APP-SDKInstaller-v3.0.130.135-GA-windows-F-x64.zip
openssl-1.1.1库win32-64
wince系统pda扫码源码实例
逍遥方案辅助工具.exe
百度贴吧表情.zip
UTF8-GBK编码互转(C)