并发系统模型研究 |
| |
引用本文: | 贾国平,郑国梁.并发系统模型研究[J].计算机科学,1996,23(5):7-9. |
| |
作者姓名: | 贾国平 郑国梁 |
| |
作者单位: | 南京大学计算机科学系,南京大学计算机科学系 博士生南京 210093,教授、博士生导师南京 210093 |
| |
摘 要: | 1.引言一个模型的作用是对想要构造或分析的系统性质给出严格定义,同时也为验证这些性质提供一个基础。现有的用于软件开发的每一种形式化描述和分析方法其有效性范围均是相对于程序执行的某一数学模型而言,并不是实际的系统。
|
关 键 词: | 并发系统模型 软件开发 数学模型 |
本文献已被 CNKI 维普 等数据库收录! |
|
点击此处可从《计算机科学》下载全文 |
|