位置：成果数据库 > 期刊 > 期刊详情页
集成形式化方法和PEARL语言的实时系统的开发模式
  • ISSN号：1000-5889
  • 期刊名称：兰州理工大学学报
  • 时间：0
  • 作者或编辑：3448
  • 页码：2006年1期
  • 语言：中文
  • 相关项目：可扩展的动态分布式实时系统的分析与设计方法
作者： 陈生庆|陈广明|张立臣|
同期刊论文项目
可扩展的动态分布式实时系统的分析与设计方法
期刊论文 72 会议论文 6
同项目期刊论文
一种结合静态语义和基于矩阵的异常事物识别方法
实时数据库中的并发控制算法
面向方面软件开发研究
Weave.NET –一种基于.NET平台的AOP技术
用回跳法求解稳定婚姻问题
并发Z规格说明在系统需求分析与设计中的应用
形式化语言RT-Z的合成及其应用
Modeling Real-Time Wormhole Networks By Queuing Theory
基于对等网技术的数字图书馆的关键技术
基于柔性制造技术的数字图书馆开发方法
面向方面的实时系统形式化开发方法
基于UML的面向方面建模方法
基于实时逻辑的时间约束检测方法
针对实时数据库中隐蔽通道问题采用的安全策略
模糊时间Petri 网及扩展的模糊时间Petri 网
Z实时扩展及基于多视点的应用模式
基于实时JAVA的实时CORBA研究
集成实时逻辑与Z语言的形式化方法
实时系统最坏执行时间的分析
多余处理器时间回收与最坏执行时间分析
基于非精确计算的多错误模式下的容错优化调度算法
基于UML的面向方面的实时系统建模方法
扩展的模糊时间Petri网
集成的Z实时扩展RT-Z及其应用模式
实时数据库中时态性与安全性保障的服务质量管理
并行算法的任务粒度与映射方法的分析
多级实时数据库的安全性策略
基于X3D的在线虚拟室内漫游系统的研究与应用
P2P 网络搜索技术的研究
虚拟物体间碰撞检测系统的设计
实时系统的面向方面模型
Development Method for Multi-Agent Real-Time Systems
基于面向方面的实时系统建模
存在多值依赖的XML DTD规范化研究
扩展UML实现面向方面的建模
一种快速可靠的串行flash容错系统的设计与实现
基于扩展UML的实时系统建模方法
CoG软件包技术与应用
实时消息传递界面
基于CMM的实时系统开发过程
基于网络技术的虚拟图书馆
动态实时系统描述及其资源管理技术
实时数据库中的可推测并发控制算法
应用UML进行实时系统资源分析
Aspect c - - C 中应用AOP
扩展UML用于面向方面的建模
基于XML的在线数据库驱动的虚拟实验室设计与实现
基于实时语言和面向方面的形式化开发方法
可平台迁移的最坏执行时间分析
能量敏感实时系统能量管理分析
二维网格虫孔路由算法的实时扩展
P2P网络搜索技术的研究
Ontology开发应用研究
网络实时系统的一种活动性描述语言
PEARL语言在实时系统开发模式中的应用研究
本体语言研究综述
两种基于符号的最坏执行时间分析方法的比较与分析
动态电压调整多处理器实时系统任务调度
在线虚拟电子电路实验室的VRML实现
Web QoS及其保证方法
基于AOP的MDA模型转换
面向方面的中间件
基于VRML的在线虚拟现实场景设计与实现
实时系统的软件容错技术
实时虫孔网络的排队分析
中间件重构与面向方面
面向方面的实时系统中间件