Statechart规格环境项目管理模型设计与实现

摘要：

Statechart是一种用于反应式实时系统的行为建模语言.针对Statechart行为建模的需要,设计并已部分实现基于Statechart的行为规格模型创建工具.该工具将为反应式实时系统的开发分析人员提供极大的方便.

关键词：Statechart、行为建模、形式化方法

所属期刊栏目：19

分类号：TP311.13(计算技术、计算机技术)

资助基金：国家自然科学基金;电子工业部电子科学研究院预研项目

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页码：40-44