A formalization for the specification and systematic generation of computer graphics systems

DOI10.1007/BF01900320zbMath0633.68118OpenAlexW4250385100MaRDI QIDQ1096430

Tamiya Onodera, Satoru Kawai

Publication date: 1986

Published in: The Visual Computer (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01900320

zbMATH Keywords

computer graphicsformal specificationstandardizationGKSgraphics system implementationviewing pipeline modelworkstation drivers

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Theory of software (68N99)

Cites Work

• Unnamed Item

This page was built for publication: A formalization for the specification and systematic generation of computer graphics systems