首页 | 本学科首页   官方微博 | 高级检索  
     检索      

面向问题的描述语言及其支撑系统POLTRANS
引用本文:诸葛海,施晓清,许冬生,张胜才,张琦霞.面向问题的描述语言及其支撑系统POLTRANS[J].系统工程与电子技术,1996(6).
作者姓名:诸葛海  施晓清  许冬生  张胜才  张琦霞
作者单位:第二炮兵第三研究所,北京师范大学,航天工业总公司二院二0七所,中国科学院计算中心
基金项目:国家自然科学基金,国防科工委“八五”重点预研项目的资助
摘    要:本文提出一种面向问题的描述语言POL,论述了实现由POL程序向特定面向过程的高级语言源程序转换的翻译系统TRANS,两者在方法库的支撑下构成了一种通用的辅助软件开发环境POLTRANS。它适用于拥有大量规范软件方法积累的领域。

关 键 词:面向问题语言,翻译,方法,软件工程
本文献已被 CNKI 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号