An Approach for Automatically Reasoning Consistency of Domain-Specific Modelling Language
Domain-Specific Modeling Language (DSML) defined by informal way cannot precisely represent its structural semantics, so properties of models such as consistency cannot be systematically analyzed and verified. In response, the paper proposes an approach for automatical-ly reasoning consistency of DS
文件下载
评论信息
其他资源
- java 对接腾讯IM 聊天功能接口
- 脉冲压缩与相参积累
- STM32F103模拟IIC程序（亲测可用）
- Virtual Com port driver V1.4.0(含64位系统缺少文件)
- 一个由qt写的较为完整的购物系统
- spring-expression-4.3.9.RELEASE.jar
- 计算机操作系统教程（第3版）+张尧学+史美林+张高+编著+习题参考答案.rar
- jquery.params.js下载
- 基于光源偏振补偿的硅基液晶激光三维显示光学引擎
- Aspack stripper 自动脱壳 ASPack 2.12 - Alexey Solodovnikov.rar
- MongoDB实践总结
- 2019 Multilevel Modeling using R.pdf
- rtl60.bpl 文件
- 基于jsp的在线手机销售系统
- numpy-1.17.4+mkl-cp37-cp37m-win_amd64.whl
- 二代身份证读卡器API接口
- vc6.0+opengl纯色五角星填充
免责申明
【只为小站】的资源来自网友分享，仅供学习研究，请务必在下载后24小时内给予删除，不得用于其他任何用途，否则后果自负。基于互联网的特殊性，【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查；无论 【只为小站】 经营者是否已进行审查，用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场，基于网友分享，根据中国法律《信息网络传播权保护条例》第二十二条之规定，若资源存在侵权或相关问题请联系本站客服人员，zhiweidada#qq.com，请把#换成@，本站将给予最大的支持与配合，做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
本站所有资源不代表本站的观点或立场，基于网友分享，根据中国法律《信息网络传播权保护条例》第二十二条之规定，若资源存在侵权或相关问题请联系本站客服人员，zhiweidada#qq.com，请把#换成@，本站将给予最大的支持与配合，做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明