The Specification of Computer Graphics Systems
- 1 September 1983
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Computer Graphics and Applications
- Vol. 3 (6) , 27-41
- https://doi.org/10.1109/mcg.1983.263212
Abstract
Specification techniques for computer graphics systems should emulate those employed in the specification of computer communication protocols and software systems, not the specification of programming languages.Keywords
This publication has 11 references indexed in Scilit:
- Formal Methods in Communication Protocol DesignIEEE Transactions on Communications, 1980
- Protocol Representation with Finite-State ModelsIEEE Transactions on Communications, 1980
- A Syntactic Theory of Message PassingJournal of the ACM, 1980
- Formal specification as a design toolPublished by Association for Computing Machinery (ACM) ,1980
- Concurrent Processes and Their SyntaxJournal of the ACM, 1979
- A distributed function computer with dedicated processorsThe Computer Journal, 1979
- Modularization and hierarchy in a family of operating systemsCommunications of the ACM, 1976
- Computer Interconnection Structures: Taxonomy, Characteristics, and ExamplesACM Computing Surveys, 1975
- Process StructuringACM Computing Surveys, 1973
- On the criteria to be used in decomposing systems into modulesCommunications of the ACM, 1972