首页 下载 移动开发 其他 下载详情 论文研究 基于交际接口的Web应用模型检验.pdf 上传:u735696828 浏览: 25 推荐: 0 文件:PDF 大小:259.33KB 上传时间:2020-07-24 02:00:54 版权申诉 为了验证Web应用的质量,首次采用了基于交际接口及其工具TICC的建筑智能化系统Web应用验证方法,通过一个简单的能源管理Web应用系统实例说明了整个建模、构件模块组合验证和系统性质验证过程。结果表明验证能够顺利实现,因而该方法是一种合适的Web应用验证方法。 立即下载 上传资源 微信扫一扫 用户评论 提交评论