节点文献
语言时间扩展——一种功能时间程序设计方法
【摘要】 <正>1 问题计算机软件系统中存在两类执行时间约束.一类为系统各部分之间时间先后的相对约束、如互斥、同步等;另一类为系统某一部分执行时间上的绝对约束,此类典型实例为实时系统.传统程序设计注重于描述系统的功能,对于第一类约束,常采用隐式的方法,如PV操作、管程等实现.这种隐式的方法,增加了系统设计和语义验证的难度,影响软件开发效率.对于第二类约束,目前往往是设计并使用一种新的语言:实时程序设计语言来完成.
- 【文献出处】 科学通报 ,Chinese Science Bulletin , 编辑部邮箱 ,1995年11期
- 【分类号】TP311.52
- 【下载频次】20