| 并发验证系统中操作向导的设计与实现 |
| |
| 引用本文： | 高祺,蒋昌俊.并发验证系统中操作向导的设计与实现[J].计算机工程,2001,27(9):29-31. |
| |
| 作者姓名： | 高祺 蒋昌俊 |
| |
| 作者单位： | 同济大学计算机科学与工程系 |
| |
| 基金项目： | 国家自然科学基金，全国优秀博士论文专题基金，上海市曙光基金联合资助项目 |
| |
| 摘 要： | 介绍并发验证系统中的操作向导，给出了具体的实现方案，此外，研发过程中遇到的相关问题和采用的技术也是讨论的对象。
|
| 关 键 词： | 并发验证系统 操作向导 Petri网 并行程序 设计 |
| 文章编号： | 1000-3428(2001)09-0029-03 |
| 修稿时间： | 2001年1月3日 |
Design and Implementation of Operation Wizard of Concurrent System |
| |
| GAO Qi,JIANG Changjun.Design and Implementation of Operation Wizard of Concurrent System[J].Computer Engineering,2001,27(9):29-31. |
| |
| Authors: | GAO Qi JIANG Changjun |
| |
| Abstract: | This paper introduces the Operation Wizard of the verification system for concurrent program. It shows how we achieved it. Moreover, some problems we met in R&D and some technologies we applied are discussed in the paper. |
| |
| Keywords: | Petri net model Operation wizard Processing module Dialog bar |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
