LOTOS语言

作品数：9被引量：17H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：陈火旺何炎祥宋强吴建平史美林更多>>
相关机构：长沙工学院武汉大学清华大学复旦大学更多>>
相关期刊：《通信技术》《内蒙古大学学报（自然科学版）》《计算机工程与设计》《计算机与信息处理标准化》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划教育部科学技术研究重点项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机科学x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
多视点需求工程的模型研究被引量：7
《计算机科学》2001年第2期44-47,共4页何炎祥 宋强 
国家教育部重点项目资助;武汉大学自强科技创新基金
1 引言 传统需求工程应用于分布式系统开发的一个主要缺点是:传统需求工程中的每一个过程里只能有一个全局规格.这一点与实际的分布式系统的特点很不相符.大规模的分布式系统的开发必然会涉及到许多人员,这些人员由于各自目的和职责不同...
关键词：多视点需求工程 软件工程 LOTOS语言 Z语言 
分布式系统的LOTOS规范及其实现
《计算机科学》1998年第1期72-76,共5页谢冰 张晨东 陈火旺 
分布式系统的主要特点是靠各独立运转的组成部分协同工作来完成系统的功能。对干电信交换、指挥调度、实时控制以及模拟与仿真等分布交互系统。
关键词：分布式系统 LOTOS语言 规范语言 分布式计算机 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部