{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T19:26:29Z","timestamp":1725909989297},"publisher-location":"Cham","reference-count":9,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319675305"},{"type":"electronic","value":"9783319675312"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-67531-2_27","type":"book-chapter","created":{"date-parts":[[2017,9,5]],"date-time":"2017-09-05T09:33:37Z","timestamp":1504604017000},"page":"410-415","source":"Crossref","is-referenced-by-count":1,"title":["Runtime Verification of User Interface Guidelines in Mobile Devices"],"prefix":"10.1007","author":[{"given":"Chafik","family":"Meniar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Florence","family":"Opalvens","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sylvain","family":"Hall\u00e9","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,9,6]]},"reference":[{"key":"27_CR1","unstructured":"Android: Core app quality (2017). \nhttps:\/\/developer.android.com\/develop\/quality-guidelines\/core-app-quality.html\n\n. Accessed 5 May 2017"},{"key":"27_CR2","unstructured":"Android: User interface guidelines (2017). \nhttps:\/\/developer.android.com\/guide\/practices\/ui_guidelines\/index.html\n\n. Accessed 7 May 2017"},{"key":"27_CR3","unstructured":"Apple: Apple iOS human interface guidelines (2017). \nhttps:\/\/developer.apple.com\/ios\/human-interface-guidelines\/\n\n. Accessed 7 May 2017"},{"key":"27_CR4","doi-asserted-by":"crossref","unstructured":"Chircop, L., Colombo, C., Pace, G.J.: Device-centric monitoring for mobile device management. In: Kofron, J., Tumova, J., Buhnova, B. (eds.) Proceedings of the 13th International Workshop on Formal Engineering Approaches to Software Components and Architectures, FESCA@ETAPS 2016. EPTCS, Eindhoven, The Netherlands, 3rd April 2016, vol. 205, pp. 31\u201344 (2016)","DOI":"10.4204\/EPTCS.205.3"},{"key":"27_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1007\/978-3-319-23820-3_24","volume-title":"Runtime Verification","author":"P Daian","year":"2015","unstructured":"Daian, P., Falcone, Y., Meredith, P., \u015eerb\u0103nu\u0163\u0103, T.F., Shiriashi, S., Iwai, A., Rosu, G.: RV-android: efficient parametric android runtime verification, a brief tutorial. In: Bartocci, E., Majumdar, R. (eds.) RV 2015. LNCS, vol. 9333, pp. 342\u2013357. Springer, Cham (2015). doi:\n10.1007\/978-3-319-23820-3_24"},{"issue":"5","key":"27_CR6","doi-asserted-by":"crossref","first-page":"737","DOI":"10.1016\/j.jlamp.2016.04.001","volume":"85","author":"S Hall\u00e9","year":"2016","unstructured":"Hall\u00e9, S., Bergeron, N., Gu\u00e9rin, F., Le Breton, G., Beroual, O.: Declarative layout constraints for testing web applications. J. Log. Algebr. Meth. Program. 85(5), 737\u2013758 (2016)","journal-title":"J. Log. Algebr. Meth. Program."},{"issue":"2","key":"27_CR7","doi-asserted-by":"crossref","first-page":"192","DOI":"10.1109\/TSC.2011.10","volume":"5","author":"S Hall\u00e9","year":"2012","unstructured":"Hall\u00e9, S., Villemaire, R.: Runtime enforcement of web service message contracts with data. IEEE Trans. Serv. Comput. 5(2), 192\u2013206 (2012)","journal-title":"IEEE Trans. Serv. Comput."},{"key":"27_CR8","unstructured":"Microsoft Corporation: The Windows Interface: An Application Design Guide. Microsoft Press, Redmond (1992)"},{"key":"27_CR9","unstructured":"The GNOME Project: GNOME human interface guidelines (2017). \nhttps:\/\/developer.gnome.org\/hig\/stable\/\n\n. Accessed 7 May 2017"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-67531-2_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,9,5]],"date-time":"2017-09-05T09:40:48Z","timestamp":1504604448000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-67531-2_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319675305","9783319675312"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-67531-2_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}