1. 首页
  2. 移动开发
  3. 其他
  4. 论文研究 实时嵌入式构件模型组装方法及时间性推理.pdf

论文研究 实时嵌入式构件模型组装方法及时间性推理.pdf

上传者: 2020-07-16 16:29:15上传 PDF文件 742.35KB 热度 13次
针对实时嵌入式系统特点,提出一种可行的具有较好普适性的软构件模型及构件组装机制,使用形式化方法描述构件接口规约及组装规约,并给出构件时间性的推理方法,旨在实时嵌入式系统中构建更加通用、简易、开放的构件模型和更加合理的构件组装推理机制。
用户评论