|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
| ASCII Text | x | ||
| George Carson, "The Specification of Computer Graphics Systems," IEEE Computer Graphics and Applications, vol. 3, no. 6, pp. 27-41, September, 1983. | |||
| BibTex | x | ||
| @article{ 10.1109/MCG.1983.263212, author = {George Carson}, title = {The Specification of Computer Graphics Systems}, journal ={IEEE Computer Graphics and Applications}, volume = {3}, number = {6}, issn = {0272-1716}, year = {1983}, pages = {27-41}, doi = {http://doi.ieeecomputersociety.org/10.1109/MCG.1983.263212}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - MGZN JO - IEEE Computer Graphics and Applications TI - The Specification of Computer Graphics Systems IS - 6 SN - 0272-1716 SP27 EP41 EPD - 27-41 A1 - George Carson, PY - 1983 KW - null VL - 3 JA - IEEE Computer Graphics and Applications ER - | |||
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