Premium
An Algebraic Approach to the Standardization and the Certification of Graphics Software
Author(s) -
Gnatz R.
Publication year - 1983
Publication title -
computer graphics forum
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.578
H-Index - 120
eISSN - 1467-8659
pISSN - 0167-7055
DOI - 10.1111/j.1467-8659.1983.tb00134.x
Subject(s) - standardization , certification , computer science , graphics , citation , software , library science , world wide web , programming language , information retrieval , software engineering , computer graphics (images) , operating system , management , economics
During the last decade most advances in programming languages as well as in programming methodology resulted from a consequent use of sound mathematical tools: the most impressive indicator of such a trend is the use of abstract data types which relate immediately to algebra, model theory and mathematical logic.