|
|||||
|
|
| 语言时间扩展——一种功能时间程序设计方法 | |
| 引用本文： | 杜兴.语言时间扩展——一种功能时间程序设计方法[J].科学通报,1995,40(11):1051-1051. |
| 作者姓名： | 杜兴 |
| 作者单位： | 南京大学计算机科学与技术系 南京210093 (杜兴，谢立)，南京大学计算机科学与技术系 南京210093(孙钟秀) |
| 摘 要： | 1 问题计算机软件系统中存在两类执行时间约束.一类为系统各部分之间时间先后的相对约束、如互斥、同步等;另一类为系统某一部分执行时间上的绝对约束,此类典型实例为实时系统.传统程序设计注重于描述系统的功能,对于第一类约束,常采用隐式的方法,如PV操作、管程等实现.这种隐式的方法,增加了系统设计和语义验证的难度,影响软件开发效率.对于第二类约束,目前往往是设计并使用一种新的语言:实时程序设计语言来完成. |
| 关 键 词： | 程序设计 程序语言 时间扩展 |
| 收稿时间： | 1994-06-22 |
| 本文献已被 CNKI 维普 等数据库收录！ | |
| 点击此处可从《科学通报》浏览原始摘要信息 | |
| 点击此处可从《科学通报》下载免费的PDF全文 | |