控制软件设计与验证计算机辅助系统

• 作者: 叶志宝 张鹏 蒋昌俊
• 来源期刊: 高技术通讯
• 学科: 工学
• 年，卷（期）: 2001,（3）
• 所属期刊栏目: 研究通讯
• 页码范围: 62-65
• 页数: 4页
• 分类号: TP31
• 字数: 3560字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-0470.2001.03.014

摘要

介绍了控制软件设计与验证系统的原理与实现过程，给出顺序功能图［1］（Seq uential Function Charts，即SFC）需求说明语言到系统Petri网模型的转化算法和系统几种异常现 象的验证算法，讨论了系统实现的若干关键技术，最后通过例子演示了系统的操作过程。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	蒋昌俊	同济大学计算机科学与工程系	93	1492	18.0	36.0
2	张鹏	山东科技大学计算机科学系	31	216	6.0	14.0
3	叶志宝	中国科学院软件研究所	5	60	3.0	5.0