期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到1篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于XYZ/E的Sun Open Solaris内核进程形式化描述与分析
1
作者 王少将 张广泉 吴国伟 《南京师范大学学报（工程技术版）》 CAS 2008年第3期82-87,共6页
建立并分析了Open Solaris内核进程模型,采用XYZ/E语言对模型进行了形式化描述.分析了内核进程数据结构、内核进程创建、系统调用以及时钟等概念,并对其进行XYZ/AE的描述和XYZ/EE编程.最后给出了内核进程规范,实现多任务、多用户操作系... 建立并分析了Open Solaris内核进程模型,采用XYZ/E语言对模型进行了形式化描述.分析了内核进程数据结构、内核进程创建、系统调用以及时钟等概念,并对其进行XYZ/AE的描述和XYZ/EE编程.最后给出了内核进程规范,实现多任务、多用户操作系统内核进程的描述,对内核进程进行了逐步求精工作. 展开更多
关键词 XYZ/E 开放多任务操作系统 内核进程 形式化描述 逐步求精
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部