{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,24]],"date-time":"2025-03-24T07:14:40Z","timestamp":1742800480131},"publisher-location":"Vienna","reference-count":23,"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_6","type":"book-chapter","created":{"date-parts":[[2011,12,5]],"date-time":"2011-12-05T00:34:51Z","timestamp":1323045291000},"page":"105-122","source":"Crossref","is-referenced-by-count":13,"title":["Deriving a formal model of an interactive system from its UIL description in order to verify and to test its behaviour"],"prefix":"10.1007","author":[{"given":"Bruno","family":"d\u2019Ausbourg","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guy","family":"Durrieu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierre","family":"Roche","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"G.D. Abowd, A. J. Dix. Integrating status and events phenomena in formal specifications of interactive systems. SIGSOFT\u201994, December 1994","DOI":"10.1145\/193173.195293"},{"key":"6_CR2","unstructured":"G.D. Abowd. Formal Aspects of Human Computer Interaction. PhD thesis, University of Oxford Computer Laboratory: Programming Research Group, 1991."},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"G.D. Abowd, H.M. Wang and A.F. Monk. A formal technique for automated dialogue development, in Proceedings of the First Symposium on Designing Interactive Systems, DIS\u201995, Ann Arbor,MI, August 1995, ACM Press.","DOI":"10.1145\/225434.225459"},{"key":"6_CR4","unstructured":"P. Bumbulis, P.S.C. Alencar, D.D. Cowan, C.J.P. Lucena, \u201cCombining Formal Techniques and Prototyping in User Interfaces Construction and Verification\u201d in Proceedings of the Eurographics Workshop DSVS-IS\u2019 95, Toulouse, France, June 95, Springer Computer Science, P. Palanque and R. Bastide eds"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"P. Caspi, D. Pilaud, N. Halbwachs and L. Plaice. Lustre: a declarative language for programming synchronous systems. In 14th ACM Symposium on Principles of Programming Languages, January 1987","DOI":"10.1145\/41625.41641"},{"key":"6_CR6","unstructured":"J. Coutaz \u201cInterfaces Homme-Machine: un regard critique\u201d TSI vol 10(1), 1991"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"D. J. Duke, M.D. Harrison \u201cEvent model of a human system interaction\u201d in Software Engineering Journal, January 95","DOI":"10.1049\/sej.1995.0002"},{"key":"6_CR8","unstructured":"G. Faconti, F. Paterno \u201cAn approach to the formal specification of the components of an interaction\u201d in Eurographics 90"},{"issue":"3","key":"6_CR9","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1111\/1467-8659.1230025","volume":"12","author":"DJ Duke","year":"1993","unstructured":"D.J. Duke and M.D. Harrison. Abstract Interaction Objects. Computer Graphics Forum, 12(3):25\u201326, 1993","journal-title":"Computer Graphics Forum"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"D.J. Duke and M.D. Harrison. Event Model of human system interaction. In Software Engineering Journal, Janauary 1995.","DOI":"10.1049\/sej.1995.0002"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"D.J. Duke, G. Faconti, M.D. Harrison, and F. Paterno. Unifying views of interactors. In Proceedings of Advance Visual Interface\u201994 International workshop, Bari, 1994","DOI":"10.1145\/192309.192341"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"J.R. Mc Graw. \u201cThe VAL Language: description and analysis\u201d. TOPLAS, 4(1), January 1982","DOI":"10.1145\/357153.357157"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"M. Green. \u201cA survey of Three Dialogue Models\u201d, ACM TRansactions on Graphics vol 5(3), July 1986","DOI":"10.1145\/24054.24057"},{"key":"6_CR14","unstructured":"M.D. Harrison, D.J. Duke A review of Formalisms for describing Interactive Behaviour. In Proceedings of the ICSE\u201994 Worksho, R.N. Taylor and J. Coutaz, editors, Software Engineering and Human Computer Interaction; LNCS 896; May 1994"},{"issue":"9","key":"6_CR15","doi-asserted-by":"publisher","first-page":"1305","DOI":"10.1109\/5.97300","volume":"79","author":"N Halbwachs","year":"1991","unstructured":"N. Halbwachs, P. Caspi, P. Raymond, D. Pilaud. The synchronous dataflow programming language LUSTRE. Proceedings of the IEEE 79(9):1305\u20131320, September 1991.","journal-title":"Proceedings of the IEEE"},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"N. Halbwachs, D. Pilaud, F. Ouabdesselam and A.C. Glory. Specifying, programming and verifying real time systems, using a synchronous declarative language. In Workshop on automatic verification methods for finite states systems, LNCS 407, Springer Verlag, June 1989.","DOI":"10.1007\/3-540-52148-8_18"},{"key":"6_CR17","unstructured":"D. Heller, P. Ferguson and D. Brennan. Motif Programming Manual, 2nd edition, February 1994."},{"key":"6_CR18","unstructured":"G. Kahn. \u201cThe semantics of a simple language for parallel programming\u201d. In IFIP 74, North Holland, 1974"},{"key":"6_CR19","unstructured":"F. Paterno and G. Faconti. On the use of Lotos to Describe Graphical Interaction. In A. Monk, D. Diaper, and M.D. Harrison, editors, People and Computers VII: HCI\u201992 Conference, pages 155\u2013174. BCS HCI Specialist Group, Cambridge University Press, 1992."},{"key":"6_CR20","unstructured":"F. Paterno, Definition of Properties of User Interfaces Using Action-Based Temporal Logic, in Proceedings of the 5\u2019th International Conference on Software Engineering, pp 314\u2013319, San Francisco, June 1993"},{"key":"6_CR21","doi-asserted-by":"crossref","unstructured":"F. Paterno and M. Mezzanotte, Formal Verification of undesired behaviours in the CERD case study, in Proceedings EHCI\u201995 Conference, Wyoming, August 1995.","DOI":"10.1007\/978-0-387-34907-7_12"},{"key":"6_CR22","doi-asserted-by":"crossref","unstructured":"D. Pilaud and N. Halbwachs. \u201cFrom a synchronous declarative language to a temporal logic dealing with multiform time\u201d. Formal Techniques in Real-Time amd Fault tolerant Systems, LNCS 331, Springer Verlag, September 1988","DOI":"10.1007\/3-540-50302-1_5"},{"key":"6_CR23","unstructured":"B. Sufrin and J. He, Specification, Analysis and refinement of interactive processes, in M. Harrison and H. Thimbley editors, Formal Methods in Human Computer Interaction, Cambridge University Press, 1990."}],"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_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T04:36:15Z","timestamp":1606106175000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-7091-7491-3_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783211829004","9783709174913"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-7091-7491-3_6","relation":{},"ISSN":["0946-2767"],"issn-type":[{"type":"print","value":"0946-2767"}],"subject":[],"published":{"date-parts":[[1996]]}}}