2024年10月11日
星期五
|
欢迎来到南京江宁区图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
丘金元
作品数:
1
被引量:0
H指数: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
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张