{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T16:08:01Z","timestamp":1725638881173},"publisher-location":"Vienna","reference-count":14,"publisher":"Springer Vienna","isbn-type":[{"type":"print","value":"9783211829004"},{"type":"electronic","value":"9783709174913"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/978-3-7091-7491-3_14","type":"book-chapter","created":{"date-parts":[[2011,12,5]],"date-time":"2011-12-05T00:34:51Z","timestamp":1323045291000},"page":"272-291","source":"Crossref","is-referenced-by-count":1,"title":["GRALPLA: An Algebraic Specification Language for Interactive Graphic Systems"],"prefix":"10.1007","author":[{"given":"J. C.","family":"Torres","sequence":"first","affiliation":[]},{"given":"M.","family":"Gea","sequence":"additional","affiliation":[]},{"given":"F. L.","family":"Gutierrez","sequence":"additional","affiliation":[]},{"given":"M.","family":"Cabrera","sequence":"additional","affiliation":[]},{"given":"M.","family":"Rodriguez","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","unstructured":"Faconti, G.; Paterno, F.: An Approach to the Formal Specification of the Components of an Interaction. EUROGRAPHICS 1990"},{"key":"14_CR2","unstructured":"Paterno, Fabio; Faconti, G.: On the use of LOTOS to describe Graphical Interaction. HCI, 1992"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"Duce, D.A.: Formal Specification of Graphics Software. NATO ASI Series. Theoretical Foundations of Computer Graphics and CAD. Springer Verlag, 1988","DOI":"10.1007\/978-3-642-83539-1_19"},{"key":"14_CR4","unstructured":"J.C. Torres; B. Clares: Using an Abstract Model for the Specification of Interactive Graphics Systems. F. Paterno (Ed.): Design, Specification and Verification of Interactive Graphic Systems. Springer Verlag, 1994."},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"J.C. Torres; B. Clares: Graphic Objects: A Mathematical Abstract Model For Computer Graphics. Computer Graphic Forum, Vol. 12, N.5, 1993.","DOI":"10.1111\/1467-8659.1250311"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"Torres, J.C; Clares, B.: A Formal Approach to the Specification of Graphic Object Functions, Proceedings Eurographics 1994","DOI":"10.1111\/1467-8659.1330371"},{"key":"14_CR7","unstructured":"M. Gea; J.C. Torres: Object Oriented Prototyping of Graphic Application from Algebraic Specification. Fourth Eurographics Workshop on Object Oriented Graphics, Sintra, Portugal, 9\u201311 May 1994."},{"key":"14_CR8","unstructured":"Gutierrez, F.L.; Gea, M: Especificacion Formal de sistemas interactivos basados en interadorcs. Proceedings CEIG, 1995"},{"key":"14_CR9","unstructured":"J.C. Torres; M. Gea; F.L. Gutierrez, M. Cabrera; M. Rodriguez: The Gralpla Specification Language. Dpt. Lengunjes y Sistemas Inform\u00e1ticos, Universidad de Granada, Spain. Report 96\u20131, 1996."},{"key":"14_CR10","unstructured":"R. Duke; P. King; G. Rose; G. Smith: The Object-Z Specification Language. Version 1. Sot ware Verification Research Centre. Deparment of Computer Science. University of Queensland. Australia. Technical Report N.91\u20131. May 1991."},{"key":"14_CR11","unstructured":"J.A. Goguen; J.J. Tardo: An introduction to OBJ: a language for writing and testing formal algebraic Program Specifications. Software Specification Techniques. Addison Wesley, 1986."},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"G.P. Faconti; A. Fornari; N. Zani: Visual Representation of Formal Specification: An Application to hierarchical Logical Input Devices. DSVIS\u201994. Pisa. June 1994.","DOI":"10.1007\/978-3-642-87115-3_21"},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"P.A. Palanque; R. Bastide: Petri Net Based Design of User-Driven Interfaces Using Interactive Cooperative Objects Formalism. DSVIS\u201994. Pisa. June 1994.","DOI":"10.1007\/978-3-642-87115-3_23"},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"W. Mallgren: Formal Specification of Interactive Graphic Programming Languages. ACM Press. 1982.","DOI":"10.1145\/69622.357191"}],"container-title":["Eurographics","Design, Specification and Verification of Interactive Systems \u201996"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-7091-7491-3_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T04:36:12Z","timestamp":1606106172000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-7091-7491-3_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783211829004","9783709174913"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-7091-7491-3_14","relation":{},"ISSN":["0946-2767"],"issn-type":[{"type":"print","value":"0946-2767"}],"subject":[],"published":{"date-parts":[[1996]]}}}