{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T13:25:06Z","timestamp":1726406706389},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540151999"},{"type":"electronic","value":"9783540393078"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/3-540-15199-0_9","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:12:51Z","timestamp":1330193571000},"page":"129-147","source":"Crossref","is-referenced-by-count":5,"title":["A formal specification of line representations on graphics devices"],"prefix":"10.1007","author":[{"given":"Lynn S.","family":"Marshall","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"9_CR1","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1016\/0146-664X(75)90003-9","volume":"4","author":"C. Arcelli","year":"1975","unstructured":"C. Arcelli and A. Massarotti, \"Regular Arcs in Digital Contours,\" Computer Graphics and Image Processing Vol. 4 pp. 339\u2013360 (1975).","journal-title":"Computer Graphics and Image Processing"},{"issue":"3","key":"9_CR2","doi-asserted-by":"crossref","first-page":"310","DOI":"10.1109\/T-C.1975.224212","volume":"C-24","author":"G. Bongiovanni","year":"1975","unstructured":"G. Bongiovanni, F. Luccio, and A. Zorat, \"The Discrete Equation of a Straight Line,\" IEEE Transactions on Computers Vol. C-24(3) pp. 310\u2013313 (March 1975).","journal-title":"IEEE Transactions on Computers"},{"issue":"1","key":"9_CR3","first-page":"20","volume":"2","author":"J. Boothroyd","year":"1970","unstructured":"J. Boothroyd and P. A. Hamilton, \"Exactly Reversible Plotter Paths,\" Australian Computer Journal Vol. 2(1) pp. 20\u201321 (1970).","journal-title":"Australian Computer Journal"},{"issue":"1","key":"9_CR4","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1147\/sj.41.0025","volume":"4","author":"J. E. Bresenham","year":"1965","unstructured":"J. E. Bresenham, \"Algorithm for Computer Control of a Digital Plotter,\" IBM Systems Journal Vol. 4(1) pp. 25\u201330 (1965).","journal-title":"IBM Systems Journal"},{"key":"9_CR5","unstructured":"K. W. Brodlie, M. C. Maguire, and G. E. Pfaff, \"A Practical Strategy for Certifying GKS Implementations,\" in EUROGRAPHICS 82 International Conference and Exhibition UMIST 8\u201310 Sept 1982, eds. D. S. Greenaway and E. A. Warman, North-Holland (1982)."},{"key":"9_CR6","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1016\/0146-664X(74)90010-0","volume":"3","author":"R. Brons","year":"1974","unstructured":"R. Brons, \"Linguistic Methods for the Description of a Straight Line on a Grid,\" Computer Graphics and Image Processing Vol. 3 pp. 48\u201362 (1974).","journal-title":"Computer Graphics and Image Processing"},{"issue":"6","key":"9_CR7","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1109\/MCG.1983.263212","volume":"3","author":"George S. S. Carson","year":"1974","unstructured":"George S. Carson, \"The Specification of Computer Graphics Systems,\" IEEE Computer Graphics and Applications Vol. 3(6) pp. 27\u201341 (1974).","journal-title":"IEEE Computer Graphics and Applications"},{"key":"9_CR8","unstructured":"D. A. Duce, E. V. C. Fielding, and L. S. Marshall, Formal Specification and Graphics Software, Rutherford Appleton Laboratory Report RAL-84-068, August 1984."},{"key":"9_CR9","unstructured":"R. A. Earnshaw, Display Algorithms \u2014 History, Developments and Applications, University Computing Service, University of Leeds."},{"key":"9_CR10","volume-title":"Computer Systems Research Group, Department of Computer Science","author":"E. Fiume","year":"1984","unstructured":"Eugene Fiume and Alain Fournier, A Programme for the Development of a Mathematical Theory of Computer Graphics, Computer Systems Research Group, Department of Computer Science, University of Toronto, Toronto, Ontario (1984)."},{"key":"9_CR11","unstructured":"J. D. Foley and A. van Dam, Fundamentals of Interactive Computer Graphics, Addison-Wesley Publishing Company (1982)."},{"key":"9_CR12","first-page":"241","volume-title":"Picture Processing and Psychopictorics","author":"H. Freeman","year":"1970","unstructured":"Herbert Freeman, \"Boundary Encoding and Processing,\" pp. 241\u2013266 in Picture Processing and Psychopictorics, eds. Bernice Sacks Lipkin and Azriel Rosenfeld, Academic Press, New York-London (1970)."},{"key":"9_CR13","unstructured":"Graphical Kernel System (GKS) 7.2 Functional Description, Draft International Standard ISO\/DIS 7942 (November 14th, 1982)."},{"key":"9_CR14","unstructured":"R. Gnatz, Approaching a Formal Framework for Graphics Software Standards, Technical University of Munich."},{"issue":"3","key":"9_CR15","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1145\/357306.357308","volume":"1","author":"Leo J. J. Guibas","year":"1982","unstructured":"Leo J. Guibas and Jorge Stolfi, \"A Language for Bitmap Manipulation,\" ACM Transactions on Graphics Vol. 1(3) pp. 191\u2013214 (July 1982).","journal-title":"ACM Transactions on Graphics"},{"issue":"3","key":"9_CR16","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/965161.806783","volume":"15","author":"S. Gupta","year":"1981","unstructured":"Satish Gupta and Robert F. Sproull, \"Filtering Edges for Grey-Scale Displays,\" ACM Computer Graphics Vol. 15(3) pp. 1\u20135 (August 1981).","journal-title":"ACM Computer Graphics"},{"key":"9_CR17","unstructured":"John Guttag and James J. Horning, Formal Specification as a Design Tool, XEROX PARC Technical Report CSL-80-1, Palo Alto, CA (June 1982)."},{"key":"9_CR18","volume-title":"Software Development: A Rigorous Approach","author":"C. B. Jones","year":"1980","unstructured":"C. B. Jones, Software Development: A Rigorous Approach, Prentice-Hall, Englewood Cliffs, NJ (1980)."},{"key":"9_CR19","unstructured":"William R. Mallgren, Formal Specification of Interactive Graphics Programming Languages, ACM Distinguished Dissertation 1982, MIT Press (1983)."},{"key":"9_CR20","doi-asserted-by":"crossref","unstructured":"Lynn S. Marshall, A Formal Specification of Line Representations on Graphics Devices, University of Manchester Transfer Report, September 1984.","DOI":"10.1007\/3-540-15199-0_9"},{"key":"9_CR21","unstructured":"Lynn S. Marshall, GKS Workstations: Formal Specification and Proofs of Correctness for Specific Devices, University of Manchester Transfer Report, September 1984."},{"key":"9_CR22","unstructured":"William M. Newman and Robert F. Sproull, Principles of Interactive Computer Graphics, McGraw Hill Kogakuska Limited (1973)."},{"key":"9_CR23","unstructured":"William M. Newman and Robert F. Sproull, Principles of Interactive Computer Graphics, Second Edition, McGraw Hill International Book Company (1981)."},{"issue":"11","key":"9_CR24","doi-asserted-by":"crossref","first-page":"625","DOI":"10.1145\/359024.359027","volume":"23","author":"M. L. V. V. Pitteway","year":"1980","unstructured":"M. L. V. Pitteway and D. J. Watkinson, \"Bresenham's Algorithm with Grey Scale,\" Communications of the ACM Vol. 23(11) pp. 625\u2013626 (1980).","journal-title":"Communications of the ACM"},{"issue":"12","key":"9_CR25","doi-asserted-by":"crossref","first-page":"1264","DOI":"10.1109\/T-C.1974.223845","volume":"C-23","author":"A. Rosenfeld","year":"1974","unstructured":"Azriel Rosenfeld, \"Digital Straight Line Segments,\" IEEE Transactions on Computers Vol. C-23(12) pp. 1264\u20131269 (December 1974).","journal-title":"IEEE Transactions on Computers"},{"key":"9_CR26","doi-asserted-by":"crossref","first-page":"106","DOI":"10.1016\/S0146-664X(76)80007-X","volume":"5","author":"J. Rothstein","year":"1976","unstructured":"Jerome Rothstein and Carl Weiman, \"Parallel and Sequential Specification of a Context Sensitive Language for Straight Lines on Grids,\" Computer Graphics and Image Processing Vol. 5 pp. 106\u2013124 (1976).","journal-title":"Computer Graphics and Image Processing"},{"issue":"4","key":"9_CR27","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1145\/357311.357312","volume":"1","author":"Robert F. F. Sproull","year":"1982","unstructured":"Robert F. Sproull, \"Using Program Transformations to Derive Line Drawing Algorithms,\" ACM Transactions on Graphics Vol. 1(4) pp. 259\u2013273 (October 1982).","journal-title":"ACM Transactions on Graphics"},{"key":"9_CR28","unstructured":"University of Manchester Computer Graphics Unit, Interactive Computer Graphics Course Notes (March 1984)."},{"issue":"3","key":"9_CR29","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1145\/965145.801297","volume":"16","author":"J. Warnock","year":"1982","unstructured":"John Warnock and Douglas K. Wyatt, \"A Device Independent Graphics Imaging Model for Use with Raster Devices,\" ACM Computer Graphics Vol. 16(3) pp. 313\u2013319 (July 1982).","journal-title":"ACM Computer Graphics"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-15199-0_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:08:13Z","timestamp":1605643693000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-15199-0_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540151999","9783540393078"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/3-540-15199-0_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1985]]}}}