您的位置： 专家智库 > >

丘金元

作品数：1 被引量：0H指数：0
供职机构：嘉应学院更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇多视点
  • 1篇形式化
  • 1篇形式化方法
  • 1篇实时系统
  • 1篇AOSD
  • 1篇PEARL

机构

  • 1篇嘉应学院

作者

  • 1篇陈生庆
  • 1篇丘金元
  • 1篇陈广明

传媒

  • 1篇嘉应学院学报

年份

  • 1篇2005
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于实时语言的多视点形式化实时开发模式
2005年
实时编程语言提供了运行时实时约束支持机制,而形式化方法的精化及推理机制可以最大限度地保证分析设计阶段系统的正确性和一致性,多视点软件开发思想则改进了软件开发过程的复杂性.本文提出了一种基于多视点方法,利用了PEARL语言的特征和RT-Z的语法、语义和结构特点的方法.该方法将RT-Z和PEARL独立于硬件和应用环境,同时对实时约束灵活的分解降低了系统开发的难度.
陈广明陈生庆丘金元
关键词：实时系统PEARL形式化方法AOSD
全选 清除 导出
共1页<1>
聚类工具0