The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.06 - September (1983 vol.3)
pp: 27-41
George Carson , GSC Associates
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.
INDEX TERMS
null
CITATION
George Carson, "The Specification of Computer Graphics Systems", IEEE Computer Graphics and Applications, vol.3, no. 6, pp. 27-41, September 1983, doi:10.1109/MCG.1983.263212
REFERENCES
1. George S.Carson, Mar. 1981 “Some Comments Concerning the PMIG Specification,” ANSI document X3H34/81-1
2. Frank G.Pagan, Formal Specification of Programming Languages , Prentice-Hall 1981
3. Robert F.Sproull, “Omnigraph: Simple Terminal-Independent Graphics Software,” , Xerox PARC tech. Dec. 1973
4. RobertBisbey and DennisHollingworth, “A Distributable, Display-Device-Independent Vector Graphics System for Command and Control,” , USC Information Sciences Institute tech. July 1980
5. 1979 “The Formal Specification Aspect of the Standard Graphics System,” ANSI X3H3 Formal Specifications Subcommittee ANSI document X3H3/79-35
6. David S. H.Rosenthal, 1980 “A Framework for Specifying GKS,” ANSI document X3H3/80-63
7. K.Lerman, Jan. 1981 “Suggested Outline for GKS Standard,” ANSI document X3H34/81-1
8. Gregor V.Bochmann and Carl A.Sunshine, “Formal Methods in Communication Protocol Design,” IEEE Trans. Communications Vol. 28, No. 4, pp. 624-631 Apr. 1980
9. JohnGuttag and James J.Horning, “Formal Specification as a Design Tool,” , Xerox PARC tech. Jan. 1980
10. Thomas F. T.Piatkowski, Computer Networks , 1980 Vol. 4, pp. 111-124
11. A. N. LawrenceHabermann and LeeCooprider, “Modularization and Hierarchy in a Family of Operating Systems,” Comm. ACM Vol. 19, No. 5, pp. 266-272 May 1976
12. David L.Parnas, “On the Criteria to be Used in Decomposing Systems into Modules,” Comm. ACM Vol. 15, No. 12, pp. 1053-1058 Dec. 1972
13. CharlieBass, “Architectures for Distributed Processing,” Proc. Third Rocky Mountain Symp. Microcomputers Aug. 1979 IEEE
14. George W.Anderson and E. DouglasJensen, “Computer Interconnection Structures: Taxonomy, Characteristics, and Examples,” Computing Surveys Vol. 7, No. 4, pp. 197-213 Dec. 1975
15. R.Chattergy and U. W.Pooch, “A Distributed Function Computer with Dedicated Processors,” The Computer Journal Vol. 22, No. 1, pp. 37-40 Feb. 1979
16. DavidLaffitte, KarlGuttag, and AlanLofthus, “Architecture Eases Software Migration into VLSI Hardware,” Electronics Design Vol. 29, No. 3, pp. 123-127 Feb. 1981
17. CayWietzman, Distributed Micro/Minicomputer Systems , Prentice-Hall 1980
18. J. J.Horning and B.Randall, “Process Structuring,” Computing Surveys Vol. 5, No. 1, pp. 5-30 Mar. 1973
19. GeorgeMilne and RobinMilner, “Concurrent Processes and Their Syntax,” Journal ACM Vol. 26, No. 2, pp. 302-321 Apr. 1979
20. Stephen A.Ward and Robert H.Halstead Jr. , “A Syntactic Theory of Message Passing,” Journal ACM Vol. 27, No. 2, pp. 365-383 Apr. 1980
21. J. A.Goguen, J. W.Thatcher, and E. G.Wagner, Raymond T.Yeh, Current Trends in Programming Methodology , Prentice-Hall 1978 Vol. IV,
22. Andre A. S.Danthine, “Protocol Representation with Finite-State Models,” IEEE Trans. Communications Vol. 28, No. 4, pp. 632-643 Apr. 1980
23. Gary D.Schultz, “Executable Description and Validation of SNA,” IEEE Trans. Communications Vol. 28, No. 4, pp. 661-677 Apr. 1980
24. Carl A.Sunshine, Communication Protocol Modeling , Artech House 1981
25. Feb. 1982 “American National Standard Functional Specification of the Programmer's Minimal Interface for Graphics,” ANSI X3H3 Computer Graphics Standards Committee ANSI document X3H3/82-15rl
26. George S.Carson and EdPost, Nov. 1982 “A Formal Specification of the Programmer's Minimal Interface for Graphics,” ANSI document X3H3/82-136
27. George S.Carson, Computers and Graphics , to appear
20 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool