只为小站
首页
域名查询
文件下载
登录
首页
开发技术
其它
软件形式化开发方法的选择策略研究
软件形式化开发方法的选择策略研究
上传者:
38687968
|
上传时间: 2021-01-29 20:11:31
|
文件大小: 667KB
|
文件类型: PDF
形式化;
开发方法;
选择策略;
RSL,
随着软件形式化方法的不断发展,各种各具特色的形式化方法涌现出来,为了解决在具体的系统开发中如何选取合适的形式化方法,对目前较为流行的几种形式化方法RSL,B,VDM,Z的特点进行对比分析,然后针对不同的软件开发人员和所需开发系统的不同,给出了适合用形式化方法开发的情况和如何选择合适的形式化开发方法。
文件下载
立即下载
评论信息
其他资源
Creo Elements Pro 5.0中文版实例教程_张克义
matlab编写路面谱文件 用于adams 整车平顺性仿真
traceroute
汽车自动驾驶技术完整源代码
东北大学软件项目管理与过程改进bb平台期末复习200题.pdf
Android音乐播放器(含notification通知栏操作,自动获取本地音乐操作)
MFC谷歌离线地图
harris-laplace角点检测程序
MAX30100程序,已验证可用
番茄助手2017破解版
粗糙集属性约简java实现代码
ACCP8.0 S1 java全部上机答案+示例+课后作业
School_Management_System:使用ReactJs和Django的学校管理系统(成绩和学生,老师信息)网站-源码
中央广播电视大学《中级财务会计(一)》期末总复习资料(含答案).pdf
弯曲阶跃型光纤中光学涡旋的传输特性研究
MbrFix.exe
php-7.2.2-Win32-VC15-x64.zip
多端口服务器多个客户端相互聊天.zip
图形编辑器
Taflove的FDTD第三版附录的程序
海豚PHP-模块化接口开发.jwt接口验证
2017年上半年软件设计师下午案例分析真题及答案解析
实战MATLAB之并行程序设计
mpeg4解码源代码
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
Actionscript
C
C#
C++
Delphi
Java
Javascript
Perl
PHP
Python
VB
Web开发
硬件开发
其它
热门下载
基于OpenCV的车牌号码识别的Python代码(可直接运行)
校园网规划与设计和pkt文件
EEMD算法应用于信号去噪.rar
王万良-人工智能导论(第五版)课件
基于STM32的电子时钟设计
EBSD分析软件——Channel5下载安装教程
CNN卷积神经网络Matlab实现
Monet智能交通场景应用
长江流域shp.zip
DS证据理论的MATLAB案例程序源代码
PSO-LSSVM的MATLAB代码.rar
多目标优化算法(四)NSGA3的代码(MATLAB)
CUDA并行程序设计 GPU编程指南-中文扫描539页完整版pdf+高质量英文完整591页原版非扫描pdf
多机器人编队及避障仿真算法.zip
韦来生《数理统计》课后习题与答案
最新下载
在EVE模拟器中使用的Cisco 的IOL 全镜像
基于FLAC3D的边坡降雨流固耦合分析:降雨入渗与水位面饱和度监测研究,基于FLAC3D的边坡降雨流固耦合分析:降雨入渗与水位面饱和度监测研究,FLAC3D边坡降雨,流固耦合,降雨入渗,水位面变化,饱
《FLAC3D实体单元分析:弯矩与轴力提取技术在梁、隧道和桩中的应用与案例讲解》,FLAC3D实体单元中梁、隧道、桩的弯矩与轴力提取方法及代码实现(专为6.0版本设计):含代码文件、案例文件及Word
Trino连接达梦数据库的插件包
裕太微电子PHY芯片YT8521S硬件电路设计参考图-RGMII转SERDES
IEC60870-5-102规约源码
松下A4伺服设置软件
QCA7000_V2.PDF
火焰+烟雾检测数据集+标签-01
国家基础地理数据