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