{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:49:17Z","timestamp":1725490157185},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540731047"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-73105-4_116","type":"book-chapter","created":{"date-parts":[[2007,8,27]],"date-time":"2007-08-27T11:58:56Z","timestamp":1188215936000},"page":"1062-1071","source":"Crossref","is-referenced-by-count":4,"title":["Formal Validation of Java\/Swing User Interfaces with the Event B Method"],"prefix":"10.1007","author":[{"given":"Alexandre","family":"Cortier","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bruno","family":"d\u2019Ausbourg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yamine","family":"A\u00eft-Ameur","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"116_CR1","doi-asserted-by":"crossref","unstructured":"Abrial, J.R.: Event Based Sequential Program Development: Application to Constructing a Pointer Program. In: FME, pp. 51\u201374 (2003)","DOI":"10.1007\/978-3-540-45236-2_5"},{"key":"116_CR2","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511624162","volume-title":"The B-Book: Assigning Programs to Meanings","author":"J.R. Abrial","year":"1996","unstructured":"Abrial, J.R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)"},{"key":"116_CR3","volume-title":"ISOLA 2005","author":"Y. A\u00eft-Ameur","year":"2005","unstructured":"A\u00eft-Ameur, Y., Baron, M., Kamel, N.: Encoding a Process Algebra using the Event B Method. Application to the Validation of User Interfaces. In: ISOLA 2005, Columbia, USA, Springer, Heidelberg (2005)"},{"key":"116_CR4","volume-title":"Proceedings of Design, Specification and Verification of Interactive Systems \u201998","author":"B. Ausbourd(d\u2019)","year":"1998","unstructured":"Ausbourd(d\u2019), B.: Using Model Checking fort he Automatic Validation of User Interfaces Systems. In: Markopoulos, P., Johnson, P. (eds.) Proceedings of Design, Specification and Verification of Interactive Systems \u201998, Abingdon, UK, Springer, Heidelberg (1998)"},{"key":"116_CR5","doi-asserted-by":"crossref","unstructured":"Ausbourd(d\u2019), B., Durrieu, G., Roch\u00e9, P.: Deriving a Formal Model of an Interactive System from its UIL Description in order to Verify and Tests its Behaviour. In: DSV-IS, pp. 105\u2013122 (1996)","DOI":"10.1007\/978-3-7091-7491-3_6"},{"key":"116_CR6","unstructured":"Bass, L., Pellegrino, R., Reed, S., Seacord, R., Sheppard, S., Szcezur, M.R.: The Arch Model: Seeheim Revisited. In: CHI 91 User Interface Developper\u2019s Workshop (1991)"},{"key":"116_CR7","unstructured":"Cortier, A., Ausbourg(d\u2019), B., A\u00eft-Ameur, Y.: Using the Event B Method to contribute to the Formal Validation of User Interface Systems. Technical Report, ONERA-CERT (2007)"},{"key":"116_CR8","doi-asserted-by":"crossref","unstructured":"Duke, D.J., Harrison, M.D.: Event Model of Human-System Interaction. Software Engineering Journal, pp. 3\u201312 (January 1995)","DOI":"10.1049\/sej.1995.0002"},{"key":"116_CR9","unstructured":"Markopoulos, P.: A Compositional Model for the Formal Specification of User Interface. PhD thesis, University of London (1997)"},{"key":"116_CR10","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1109\/WCRE.2003.1287256","volume-title":"Proceedings of the 10th Working Conference on Reverse Engineering (WCRE\u201903)","author":"A. Memon","year":"2003","unstructured":"Memon, A., Banerjee, I., Nagarajan, A.: GUI Ripping: Reverse Engineering of Graphical User Interfaces for Testing. In: Proceedings of the 10th Working Conference on Reverse Engineering (WCRE\u201903), Los Alamitos, CA, USA, vol.\u00a00, p. 260. IEEE Computer Society, Washington, DC, USA (2003)"},{"key":"116_CR11","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1109\/WCRE.1996.558844","volume-title":"Proceedings of the 3rd Working Conference on Reverse Engineering (WCRE\u201996)","author":"M. Moore","year":"1996","unstructured":"Moore, M.: Rule-Based Detection for Reverse Engineering User Interfaces. In: Proceedings of the 3rd Working Conference on Reverse Engineering (WCRE\u201996), p. 42. IEEE Computer Society Press, Washington, DC, USA (1996)"},{"key":"116_CR12","first-page":"189","volume-title":"Working Conference on Engineering for Human-Computer Interaction (EHCI\u201995)","author":"P. Palanque","year":"1995","unstructured":"Palanque, P., Bastide, R., Seng\u00e8s, V.: Validating Interactive System Design through the verification of Formal Task and System Models. In: Bass, L.J., Unger, C. (eds.) Working Conference on Engineering for Human-Computer Interaction (EHCI\u201995), pp. 189\u2013212. Chapman & Hall, USA (1995)"},{"key":"116_CR13","volume-title":"Model-Based Design and Evaluation of Interactive Applications.","author":"F. Patern\u00f2","year":"1999","unstructured":"Patern\u00f2, F.: Model-Based Design and Evaluation of Interactive Applications. Springer, London,UK (1999)"},{"key":"116_CR14","unstructured":"ISO\/TC159 Sub-Committee SC4. Draft International ISO DIS 9241-11 Standard (September 1995)"},{"key":"116_CR15","unstructured":"Silva, J.C., Campos, J.C., Saraiva, J.: Models for the Reverse Engineering of Java\/Swing Applications. In: 3rd International Workshop on Metamodels, Schemas, Grammars, and Ontologies (ateM 2006) for Reverse Engineering, Informatik-Bericht series. Johannes Gutenberg-Universit\u00e4t Mainz, Institut f\u00fcr Informatik \u2013 FB 8 (October 2006)"},{"key":"116_CR16","first-page":"174","volume-title":"Proceedings of the Workshop on Object-Oriented Technology","author":"T. Systa","year":"1999","unstructured":"Systa, T.: Dynamic Reverse Engineering of Java Software. In: Proceedings of the Workshop on Object-Oriented Technology, London, UK, pp. 174\u2013175. Springer, Heidelberg (1999)"}],"container-title":["Lecture Notes in Computer Science","Human-Computer Interaction. Interaction Design and Usability"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73105-4_116.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:00:18Z","timestamp":1619517618000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73105-4_116"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540731047"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73105-4_116","relation":{},"subject":[]}}