只为小站
首页
域名查询
文件下载
登录
首页
开发技术
其它
软件形式化开发方法的选择策略研究
软件形式化开发方法的选择策略研究
上传者:
38687968
|
上传时间: 2021-01-29 20:11:31
|
文件大小: 667KB
|
文件类型: PDF
形式化;
开发方法;
选择策略;
RSL,
随着软件形式化方法的不断发展,各种各具特色的形式化方法涌现出来,为了解决在具体的系统开发中如何选取合适的形式化方法,对目前较为流行的几种形式化方法RSL,B,VDM,Z的特点进行对比分析,然后针对不同的软件开发人员和所需开发系统的不同,给出了适合用形式化方法开发的情况和如何选择合适的形式化开发方法。
文件下载
立即下载
评论信息
其他资源
ITEAD WIFI ROBOT Panel
基于模型预测控制的车辆轨迹跟踪问题的MATLAB仿真
电商网站模板(44套)
R语言常用函数速查手册
JAVA C/S架构应用程序
Android图书管理系统源码
Curvy Splines v6.0.1.unitypackage
10套商城html源码(PC端)
ExtJS6开发培训完善版【呕血之作】
AB PLC的EtherNet/IP Socket
TCP获取数据保存为txt文件(亲测有效)
Android Socket连接(心跳检测,断线重连,状态监测等)
手把手教你如何用NXOpen在 .net上进行二次开发(C++版)
全景探秘游戏设计艺术PDF
深入HTML5WebWorker应用实践:多线程编程
整车电路系统设计手册.pdf
STM32MINI RTC闹钟 USMART调试时间
SpringMvc源码
rabbitmq-server-3.7.18.exe
js实现地图上雷达探测效果
postgresql-10.5-1-linux-x64.run
Learning Open-CV 源码
“群体智能算法”Matlab工具箱 Version3.0 正式版
使用Spring实现省市级联,非常简单实用
计时器(秒表、倒计时)
USB Power Delivery 3.0 Specification
toolbar+recyclerView+SwipeRefreshLayout+上拉刷新,下拉加载更多
一个用c#文件流写的通讯录
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
Actionscript
C
C#
C++
Delphi
Java
Javascript
Perl
PHP
Python
VB
Web开发
硬件开发
其它
热门下载
多目标微粒子群算法MOPSO MATLAB代码
狂神说Java系列笔记.rar
人体姿态检测
大学生网页设计大作业-5个网页设计制作作品自己任选
RNN-LSTM卷积神经网络Matlab实现
拾荒者扫描器.rar
matpower5.0b1.zip
OLED显示温度和时间-STM32F103C8T6(完整程序工程+原理图+相关资料).zip
拾荒者.exe同时ID扫描器IP扫描器
android studio课程设计作业PPT+设计文档+可运行源代码+设计思路
avantage 软件 xps 处理软件30天后不能使用问题
pytorch实现RNN实验.rar
scratch版 我的世界.sb2
2010年-2020中国地面气候资料数据集(V3.0)
MATLAB之LSTM预测
最新下载
创造与魔法.e
安国u盘量产 AU6998AN/AU6989AN/SC908AN 免积分下载
3D游戏编程大师技巧(中文版)【目录+可搜索+可编辑】
VC6.0绿色集成插件.rar
第三方Scratch 离线桌面软件 Kidsline v0.8.5
org.apache.commons.httpclient-3.1.jar
controlNet-800+骨骼图和180动作参考图-AI生成指定动作图片
MX OPC Server 6.04安装包以及安装教程
8086汇编工具集:dosbox,debug,masm,link,edit
little-bee-B1:高性能电流和磁场探头-源码