| OpenGL图形规范的Z形式化描述 |
| |
| 引用本文： | 温晋杰,赵正旭.OpenGL图形规范的Z形式化描述[J].河北省科学院学报,2014(2):41-48. |
| |
| 作者姓名： | 温晋杰 赵正旭 |
| |
| 作者单位： | 石家庄铁道大学信息科学与技术学院; |
| |
| 摘 要： | OpenGL图形系统的开发难度随着OpenGL应用的不断发展和深入而日益增大,潜在的错误也越来越多,其中不能准确理解OpenGL规范是重要原因之一。由于OpenGL规范的描述主要是以自然语言为主,而且规范繁多,使用形式化描述规范可增加规范的准确性。本文选择描述OpenGL光照规范。通过列举光照的实例,利用Z语言给出了OpenGL中光照的规格说明,为规范的一致性测试提供了依据。
|
| 关 键 词： | Z语言 OpenGL 形式化 |
Z Formalization of OpenGL graphics specification |
| |
| WEN Jin-jie,ZHAO Zheng-xu.Z Formalization of OpenGL graphics specification[J].Journal of The Hebei Academy of Sciences,2014(2):41-48. |
| |
| Authors: | WEN Jin-jie ZHAO Zheng-xu |
| |
| Institution: | (School of Information Science and Technology, Shijiazhuang Tiedao University, Shijiazhuang Hebei 050043, China) |
| |
| Abstract: | |
| |
| Keywords: | Z language OpenGL Formalization |
| 本文献已被 CNKI 维普 等数据库收录！ |
|
