时段演算概述

• 作者: 周巢尘
• 来源期刊: 中国计算机学会通讯
• 年，卷（期）: 2006,（2）
• 所属期刊栏目: 展望
• 页码范围: 66
• 页数: 1页
• 语种: 中文

摘要

时段演算(Duration Calculus)是用于实时系统设计的一种形式化方法.本报告介绍时段演算的创立和发展,包括时段演算的基本概念、推理规则和主要理论成果,及其在描述和验证实时系统方面的应用.时段演算是形式化方法的一部分,它主要讨论实时系统的形式化方法.形式化方法是计算机科学与技术中的一个领域,时段演算可以作为它的一个研究课题,

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周巢尘	中国科学院软件研究所	1	0	0.0	0.0