只为小站
首页
域名查询
文件下载
登录
首页
开发技术
其它
软件形式化开发方法的选择策略研究
软件形式化开发方法的选择策略研究
上传者:
38687968
|
上传时间: 2021-01-29 20:11:31
|
文件大小: 667KB
|
文件类型: PDF
形式化;
开发方法;
选择策略;
RSL,
随着软件形式化方法的不断发展,各种各具特色的形式化方法涌现出来,为了解决在具体的系统开发中如何选取合适的形式化方法,对目前较为流行的几种形式化方法RSL,B,VDM,Z的特点进行对比分析,然后针对不同的软件开发人员和所需开发系统的不同,给出了适合用形式化方法开发的情况和如何选择合适的形式化开发方法。
文件下载
立即下载
评论信息
其他资源
LabVIEW虚拟仪器从入门到测控应用130例-源程序
e1000e-3.5.1.tar.gz
用Matlab实现分支定界法求解整数线性规划问题。
QT计算器(功能全实现 支持15位小数)
光伏最大功率跟踪模型
copula程序matlab
Google大数据三大经典论文(包含英文版和中文版)
nacos-server-1.1.3.zip
java程序员顶岗实习
RSA数字签名程序(C++实现)
C#通过经纬度进行定位(百度地图)
C编译器剖析PDF文档_UCC162.3源代码
TransCAD交通规划实例详细步骤、案例分析
C程序设计(谭浩强)第三版.rar
UPX壳v1.9源代码
打鱼还是晒网.cpp
yuqingye.github.io-源码
外研版初中英语八年级下册单词表.doc
锁相环解调FM信号-fm.mdl
论文中期检查PPT
acrobat x 破解补丁 amtlib.dll
利用MFC实现简单的住房系统
C8051F020例程 包含九个小程序
A Concise Introduction to Models and Methods for Automated Planning
SkyLine TerraExplorer Pro 6.5 中文补丁
兄弟 MFC 8530DN 8535DN 8540DN中文维修手册
PhotoScore Lite
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
Actionscript
C
C#
C++
Delphi
Java
Javascript
Perl
PHP
Python
VB
Web开发
硬件开发
其它
热门下载
PSO-LSSVM的MATLAB代码.rar
Vivado license 永久
中国地面气候资料日值数据集(V3.0)-201001201912.rar
transformer_pytorch_inCV.rar
CUDA并行程序设计 GPU编程指南-中文扫描539页完整版pdf+高质量英文完整591页原版非扫描pdf
倒立摆的模糊控制(基于simulink仿真,适合初学者).rar
张正友相机标定Opencv实现(完整程序+棋盘图)实例源码
RentingSystem.rar
基于Servlet+jsp+mysql开发javaWeb学生成绩管理系统
JPEG的Matlab实现
凯斯西储大学(CWRU)轴承数据集(含数据包+整理Python程序+使用说明)
房价预测的BP神经网络实现_python代码
sqlite运行所需Vc++运行环境,纯净版System.Data.SQLite.dll及SQLite.Interop.dll
简易示波器-精英板.zip
校园网规划与设计和pkt文件
最新下载
MipsOnBusCpu-3.circ
past4.05.zip
CC2530无线模块设计(含原理图、PCB、部分测试代码)
OPC Client易模块,读写KepWare OPC Server 所有变量-易语言
南大傲拓 NA200PLC编程软件V4.0.rar
Gmap加载在线天地图
B接口2014平台测试软件
LibraryLoaderSetup V2.49.rar
jcl-over-slf4j-1.7.25.jar 由于下载次数较多,所需积分上去了,我已下调
NFCForum-TS-WLC-1.0-Candidate