{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:53:12Z","timestamp":1725558792564},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540201595"},{"type":"electronic","value":"9783540399292"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39929-2_10","type":"book-chapter","created":{"date-parts":[[2010,6,29]],"date-time":"2010-06-29T16:08:51Z","timestamp":1277827731000},"page":"139-153","source":"Crossref","is-referenced-by-count":5,"title":["Specification-Based Testing of User Interfaces"],"prefix":"10.1007","author":[{"given":"Ana C. R.","family":"Paiva","sequence":"first","affiliation":[]},{"given":"Jo\u00e3o C. P.","family":"Faria","sequence":"additional","affiliation":[]},{"given":"Raul F. A. M.","family":"Vidal","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"Puerta, A.: The MECANO Project: Comprehensive and Integrated Support for Model-Based Interface Development. In: Vanderdonckt, J. (ed.) CADUI 1996, pp. 19\u201336 (1996)"},{"key":"10_CR2","unstructured":"Aichernig, B.K.: Automated black-box testing with abstract VDM oracles. In: Fitzgerald, J., Larsen, P.G. (eds.) Workshop Materials: VDM in Practice!, Part of the FM 1999 World Congress on Formal Methods, Toulouse, September 1999, pp. 57\u201366 (1999)"},{"key":"10_CR3","volume-title":"Programming from Specification","author":"C. Morgan","year":"1998","unstructured":"Morgan, C.: Programming from Specification, 2nd edn. Prentice Hall, Englewood Cliffs (1998)","edition":"2"},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"Gieskens, D.F., Foley, J.D.: Controlling User Interface Objects Through Pre- and Post-conditions, GVU Technical Report Number GIT-GVU-91-09 (June 1991)","DOI":"10.1145\/142750.142787"},{"key":"10_CR5","unstructured":"Duke, D., Harrison, M.: Towards a theory of Interactors, Human Computer Interaction Group, Department of Computer Science, University of York (February 1993)"},{"key":"10_CR6","unstructured":"Schlungbaum, E., Elwert, T.: Automatic User Interface Generation from Declarative Models. In: Vanderdonckt, J. (ed.) CADUI 1996, pp. 3\u201318 (1996)"},{"key":"10_CR7","first-page":"262","volume-title":"Eurographics","author":"Fran\u00e7ois Bodart","year":"1995","unstructured":"Bodart, F., Hennebert, A.-M., Leheureux, J.-M., Provot, I., Sacr\u00e9, B., Vanderdonckt, J.: Towards a Systematic Building of Software Architecture: the TRIDENT Methodological Guide. In: Bastide, P. (ed.) DSVIS 1995, June 5-7, 1995, pp. 262\u2013278 (1995)"},{"key":"10_CR8","unstructured":"Lonczewski, F.: The FUSE-System: an Integrated User Interface Design Environment. In: Vanderdonckt, J. (ed.) CADUI 1996, pp. 37\u201356 (1996)"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"MacColl, I., Carrington, D.: User Interface Correctness, Human Computer Interaction. Human Computer Interaction \u2013 Spring, 3\u20133 (Spring 1997)","DOI":"10.1145\/270974.270978"},{"key":"10_CR10","volume-title":"Modelling Systems Practical Tools and Techniques in Software Development","author":"J. Fitzgerald","year":"1998","unstructured":"Fitzgerald, J., Larsen, P.G.: Modelling Systems Practical Tools and Techniques in Software Development. Cambridge University Press, Cambridge (1998)"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Liskov, B.H., Wing, J.: Behavioural subtyping using invariants and constraints. Technical Report CMU CS-99-156, School of Computer Science, Carnegie Mellon University (July 1999)","DOI":"10.21236\/ADA367674"},{"key":"10_CR12","first-page":"121","volume-title":"2nd International Workshop on Computer-Aided Design of User Interfaces CADUI 1996","author":"M.B. Harning","year":"1996","unstructured":"Harning, M.B.: An Approach to Strctured Display Design - Coping with Conceptual Compexity. In: Vanderdonckt, J. (ed.) 2nd International Workshop on Computer-Aided Design of User Interfaces CADUI 1996, Namur, 5-7 June 1996, pp. 121\u2013138. Presses Universitaires de Namur, Namur (1996)"},{"key":"10_CR13","unstructured":"Palanque, P., Bastide, R.: A Formalism for Reliable User Interfaces. Workshop Software Engineering\/Human Computer Interaction associated with the IEEE\/ICSE 16 conference, Sorento, Italy, May 16-22 (1994)"},{"key":"10_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-2920-7","volume-title":"Specification of Software Systems","author":"S. Alagar","year":"1998","unstructured":"Alagar, S., Periyasamy, K.: Specification of Software Systems. Springer, Heidelberg (1998)"},{"key":"10_CR15","unstructured":"Flynn, S.: Expression Refinement Explained, Information Technology Centre, National University of Ireland, Galway (1999)"},{"key":"10_CR16","volume-title":"Formal Methods in Human Computer Interaction","author":"T.P. Browne","year":"1997","unstructured":"Browne, T.P., D\u00e1vila, D., Rugaber, S., Stirewalt, K.: Using Declarative Descriptions to Model User Interfaces with MASTERMIND. In: Paterno, F., Palanque, P. (eds.) Formal Methods in Human Computer Interaction. Springer, Heidelberg (1997)"},{"key":"10_CR17","first-page":"504","volume-title":"Marciniak, editor, Encyclopedia of Software Engineering","author":"J.M. Wing","year":"1994","unstructured":"Wing, J.M.: Formal methods. In: Marciniak, J.J. (ed.) Marciniak, editor, Encyclopedia of Software Engineering, pp. 504\u2013517. John Wiley & Sons, Chichester (1994)"},{"key":"10_CR18","unstructured":"http:\/\/www.ifad.dk\/ifad.htm [conferred at 9\/Oct\/2002]"},{"key":"10_CR19","unstructured":"http:\/\/beethoven.site.uottawa.ca\/ELG7186W2000\/cn00ch4B.ps"}],"container-title":["Lecture Notes in Computer Science","Interactive Systems. Design, Specification, and Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39929-2_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T11:02:46Z","timestamp":1559214166000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39929-2_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540201595","9783540399292"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39929-2_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}