{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:39:57Z","timestamp":1725485997292},"publisher-location":"Berlin, Heidelberg","reference-count":52,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540416630"},{"type":"electronic","value":"9783540446750"}],"license":[{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44675-3_13","type":"book-chapter","created":{"date-parts":[[2007,6,3]],"date-time":"2007-06-03T20:44:02Z","timestamp":1180903442000},"page":"207-226","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":45,"title":["User Interface Declarative Models and Development Environments: A Survey"],"prefix":"10.1007","author":[{"given":"Paulo","family":"Pinheiro da Silva","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,5,11]]},"reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"H. Balzert. From OOA to GUI \u2014 The JANUS-System. In Proceedings of INTERACT\u201995, pages 319\u2013324, London, UK, June 1995. Chapman & Hall.","DOI":"10.1007\/978-1-5041-2896-4_53"},{"key":"13_CR2","unstructured":"H. Balzert, F. Hofmann, V. Kruschinski, and C. Niemann. The JANUS Application Development Environment \u2014 Generating More than the User Interface. In Computer-Aided Design of User Interfaces, pages 183\u2013206, Namur, Belgium, 1996. Namur University Press."},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"F. Bodart, A. Hennebert, J. Leheureux, I. Provot, B. Sacre, and J. Vanderdonckt. Towards a Systematic Building of Software Architectures: the TRIDENT Methodological Guide. In Design, Specification and Verification of Interactive Systems, pages 262\u2013278, Vienna, 1995. Springer.","DOI":"10.1007\/978-3-7091-9437-9_16"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"F. Bodart, A. Hennebert, J. Leheureux, I. Provot, and J. Vanderdonckt. A Model-Based Approach to Presentation: A Continuum from Task Analysis to Prototype. In Proceedings of DSV-IS\u201994, pages 25\u201339, Bocca di Magra, June 1994.","DOI":"10.1007\/978-3-642-87115-3_6"},{"key":"13_CR5","unstructured":"F. Bodart and J. Vanderdonckt. Widget Standardisation Through Abstract Interaction Objects. In Advances in Applied Ergonomics, pages 300\u2013305, Istanbul \u2014 West Lafayette, May 1996. USA Publishing."},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"T. Bolognesi and E. Brinksma. Introduction to the ISO specification language LOTOS. Computer Network ISDN Systems, 14(1), 1987.","DOI":"10.1016\/0169-7552(87)90085-7"},{"key":"13_CR7","unstructured":"G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modeling Language User Guide. Addison-Wesley, Reading, MA, 1999."},{"key":"13_CR8","unstructured":"T. Browne, D. D\u00e1vila, S. Rugaber, and K. Stirewalt. Formal Methods in Human-Computer Interaction, chapter Using Declarative Descriptions to Model User Interfaces with MASTERMIND. Springer-Verlag, 1997."},{"key":"13_CR9","unstructured":"P. Coad and E. Yourdon. Object-Oriented Design. Prentice-Hall, 1991."},{"key":"13_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BFb0035800","volume-title":"Proceedings of the Software Engineering and Human-Computer Interaction\u201994","author":"J. Coutaz","year":"1995","unstructured":"J. Coutaz and R. Taylor. Introduction to the Workshop on Software Engineering and Human-Computer Interaction: Joint Research Issues. In Proceedings of the Software Engineering and Human-Computer Interaction\u201994, volume 896 of Lecture Notes In Computer Science, pages 1\u20133, Berlin, May 1995. Springer-Verlag."},{"issue":"1","key":"13_CR11","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1145\/174800.174803","volume":"1","author":"B. Curtis","year":"1994","unstructured":"B. Curtis and B. Hefley. A WIMP No More \u2014 The Maturing of User Interface Engineering. ACM Interactions, 1(1):22\u201334, 1994.","journal-title":"ACM Interactions"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"T. Elwert and E. Schlungbaum. Modelling and Generation of Graphical User Interfaces in the TADEUS Approach. In Designing, Specification and Verification of Interactive Systems, pages 193\u2013208, Vienna, 1995. Springer.","DOI":"10.1007\/978-3-7091-9437-9_12"},{"key":"13_CR13","first-page":"3","volume-title":"Proceedings of DSV-IS\u201994","author":"J. Foley","year":"1995","unstructured":"J. Foley. History, Results and Bibliography of the User Interface Design Environment (UIDE), an Early Model-based Systems for User Interface Design and Implementation. In Proceedings of DSV-IS\u201994, pages 3\u201314, Vienna, 1995. Springer-Verlag."},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"J. Foley, W. Kim, S. Kovacevic, and K. Murray. UIDE \u2014 An Intelligent User Interface Design Environment. In Intelligent User Interfaces, pages 339\u2013384. Addison-Wesley, ACM Press, 1991.","DOI":"10.1145\/107215.128716"},{"key":"13_CR15","first-page":"86","volume-title":"Proceedings of UIDIS\u201999","author":"T. Griffiths","year":"1999","unstructured":"T. Griffiths, P. Barclay, J. McKirdy, N. Paton, P. Gray, J. Kennedy, R. Cooper, C. Goble, A. West, and M. Smyth. Teallach: A Model-Based User Interface Development Environment for Object Databases. In Proceedings of UIDIS\u201999, pages 86\u201396, Edinburgh, UK, September 1999. IEEE Press."},{"key":"13_CR16","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/978-0-387-35372-2_2","volume-title":"Proceedings of Visual Database Systems (VDB)","author":"T. Griffiths","year":"1998","unstructured":"T. Griffiths, J. McKirdy, G. Forrester, N. Paton, J. Kennedy, P. Barclay, R. Cooper, C. Goble, and P. Gray. Exploiting Model-Based Techniques for User Interfaces to Database. In Proceedings of Visual Database Systems (VDB) 4, pages 21\u201346, Italy, May 1998. Chapman & Hall."},{"key":"13_CR17","doi-asserted-by":"crossref","unstructured":"P. Hayes, P. Szekely, and R. Lerner. Design Alternatives for User Interface Management Systems Based on Experience with COUSIN. In Proceedings of SIGCHI\u201985, pages 169\u2013175. Addison-Wesley, April 1985.","DOI":"10.1145\/317456.317488"},{"key":"13_CR18","doi-asserted-by":"crossref","unstructured":"C. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"issue":"4","key":"13_CR19","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1145\/27623.27624","volume":"5","author":"R. Jacob","year":"1986","unstructured":"R. Jacob. A Specification Language for Direct Manipulation User Interfaces. ACM Transactions on Graphics, 5(4):283\u2013317, October 1986.","journal-title":"ACM Transactions on Graphics"},{"key":"13_CR20","first-page":"418","volume-title":"Proceedings of InterCHI\u201993","author":"C. Janssen","year":"1993","unstructured":"C. Janssen, A. Weisbecker, and J. Ziegler. Generating User Interfaces from Data Models and Dialogue Net Specifications. In Proceedings of InterCHI\u201993, pages 418\u2013423, New York, NY, 1993. ACM Press."},{"key":"13_CR21","unstructured":"P. Johnson. Human Computer Interaction: Psychology, Task Analysis and Software Engineering. McGraw-Hill, Maidenhead, UK, 1992."},{"key":"13_CR22","first-page":"209","volume-title":"Scenario-Based Design","author":"P. Johnson","year":"1995","unstructured":"P. Johnson, H. Johnson, and S. Wilson. Rapid Prototyping of User Interfaces Driven by Task Models. In Scenario-Based Design, pages 209\u2013246, London, UK, 1995. John Wiley."},{"key":"13_CR23","doi-asserted-by":"crossref","unstructured":"W. Kim and J. Foley. DON: User Interface Presentation Design Assistant. In Proceedings of UIST\u201990, pages 10\u201320. ACM Press, October 1990.","DOI":"10.1145\/97924.97926"},{"key":"13_CR24","unstructured":"F. Lonczewski and S. Schreiber. The FUSE-System: an Integrated User Interface Desgin Environment. In Computer-Aided Design of User Interfaces, pages 37\u201356, Namur, Belgium, 1996. Namur University Press."},{"key":"13_CR25","doi-asserted-by":"crossref","unstructured":"P. Luo, P. Szekely, and R. Neches. Management of interface design in HUMANOID. In Proceedings of InterCHI\u201993, pages 107\u2013114, April 1993.","DOI":"10.1145\/169059.169111"},{"key":"13_CR26","doi-asserted-by":"crossref","unstructured":"P. Markopoulos, J. Pycock, S. Wilson, and P. Johnson. Adept \u2014 A task based design environment. In Proceedings of the 25th Hawaii International Conference on System Sciences, pages 587\u2013596. IEEE Computer Society Press, 1992.","DOI":"10.1109\/HICSS.1992.183310"},{"key":"13_CR27","unstructured":"C. M\u00e4rtin. Software Life Cycle Automation for Interactive Applications: The AME Design Environment. In Computer-Aided Design of User Interfaces, pages 57\u201374, Namur, Belgium, 1996. Namur University Press."},{"issue":"1","key":"13_CR28","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1145\/200968.200971","volume":"2","author":"B. Myers","year":"1995","unstructured":"B. Myers. User Interface Software Tools. ACM Transactions on Computer-Human Interaction, 2(1):64\u2013103, March 1995.","journal-title":"ACM Transactions on Computer-Human Interaction"},{"issue":"6","key":"13_CR29","doi-asserted-by":"publisher","first-page":"346","DOI":"10.1109\/32.601073","volume":"23","author":"B. Myers","year":"1997","unstructured":"B. Myers, R. McDaniel, R. Miller, A. Ferrency, A. Faulring, B. Kyle, A. Mickish, A. Klimovitsky, and P. Doane. The Amulet Environment: New Models for Effective User Interface Software Development. IEEE Transactions on Software Engineering, 23(6):346\u2013365, June 1997.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"13_CR30","doi-asserted-by":"crossref","unstructured":"D. Olsen. A Programming Language Basis for User Interface Management. In Proceedings of SIGCHI\u201989, pages 171\u2013176, May 1989.","DOI":"10.1145\/67450.67485"},{"key":"13_CR31","unstructured":"Puerta. The Mecano Project: Comprehensive and Integrated Support for Model-Based Interface Development. In Computer-Aided Design of User Interfaces, pages 19\u201336, Namur, Belgium, 1996. Namur University Press."},{"key":"13_CR32","unstructured":"Puerta and J. Eisenstein. Interactively Mapping Task Models to Interfaces in MOBI-D. In Design, Specification and Verification of Interactive Systems, pages 261\u2013273, Abingdon, UK, June 1998."},{"key":"13_CR33","doi-asserted-by":"crossref","unstructured":"Puerta and J. Eisenstein. Towards a General Computational Framework fo Model-Based Interface Development Systems. In Proceedings of IUI\u201999, Los Angeles, CA, January 1999. (to be published).","DOI":"10.1145\/291080.291108"},{"key":"13_CR34","doi-asserted-by":"crossref","unstructured":"Puerta and D. Maulsby. Management of Interface Design Knowledge with MODI-D. In Proceedings of IUI\u201997, pages 249\u2013252, Orlando, FL, January 1997.","DOI":"10.1145\/238218.238337"},{"key":"13_CR35","unstructured":"J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object-Oriented Modeling and Design. Prentice Hall, Englewood Cliffs, NJ, 1991."},{"key":"13_CR36","unstructured":"E. Schlungbaum. Model-Based User Interface Software Tools \u2014 Current State of Declarative Models. Technical Report 96\u201330, Graphics, Visualization and Usability Center, Georgia Institute of Technology, 1996."},{"key":"13_CR37","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/3-540-58648-2_30","volume-title":"Proceedings of EWHCI\u201994","author":"S. Schreiber","year":"1994","unstructured":"S. Schreiber. Specification and Generation od User Interfaces with the BOSS-System. In Proceedings of EWHCI\u201994, volume 876 of Lecture Notes in Computer Sciences, pages 107\u2013120, Berlin, 1994. Springer-Verlag."},{"key":"13_CR38","first-page":"161","volume-title":"Proceedings of DSV-IS\u201994","author":"S. Schreiber","year":"1995","unstructured":"S. Schreiber. The BOSS System: Coupling Visual Programming with Model Based Interface Design. In Proceedings of DSV-IS\u201994, Focus on Computer Graphics, pages 161\u2013179, Berlin, 1995. Springer-Verlag."},{"key":"13_CR39","unstructured":"Shneiderman. Designing the User Interface: Strategies for Effective Human-Computer Interaction. Addison-Wesley, Reading, MA, second edition, 1992."},{"key":"13_CR40","volume-title":"CORBA: Fundamentals and Programming","author":"J. Siegel","year":"1996","unstructured":"J. Siegel. CORBA: Fundamentals and Programming. John Wiley, New York, NY, 1996."},{"key":"13_CR41","doi-asserted-by":"crossref","unstructured":"G. Singh and M. Green. A high-level user interface management system. In Proceedings of SIGCHI\u201989, pages 133\u2013138, May 1989.","DOI":"10.1145\/67450.67476"},{"key":"13_CR42","unstructured":"K. Stirewalt. Automatic Generation of Interactive Systems from Declarative Models. PhD thesis, Georgia Institute of Technology, December 1997."},{"key":"13_CR43","doi-asserted-by":"crossref","unstructured":"P. Szekely. Template-Based Mapping of Application Data to Interactive Displays. In Proceedings of UIST\u201990, pages 1\u20139. ACM Press, October 1990.","DOI":"10.1145\/97924.97925"},{"key":"13_CR44","doi-asserted-by":"crossref","unstructured":"P. Szekely. Retrospective and Challenges for Model-Bases Interface Development. In Computer-Aided Design of User Interfaces, pages xxi\u2013xliv, Namur, Belgium, 1996. Namur University Press.","DOI":"10.1007\/978-3-7091-7491-3_1"},{"key":"13_CR45","doi-asserted-by":"crossref","unstructured":"P. Szekely, P. Luo, and R. Neches. Facilitating the Exploration of Interface Design Alternatives: The HUMANOID Model of Interface Design. In Proceedings of SIGCHI\u201992, pages 507\u2013515, May 1992.","DOI":"10.1145\/142750.142912"},{"key":"13_CR46","doi-asserted-by":"crossref","unstructured":"P. Szekely, P. Sukaviriya, P. Castells, J. Muthukumarasamy, and E. Salcher. Declarative Interface Models for User Interface Construction Tools: the MASTERMIND Approach. In Engineering for Human-Computer Interaction, pages 120\u2013150, London, UK, 1996. Chapman & Hall.","DOI":"10.1007\/978-0-387-34907-7_8"},{"key":"13_CR47","unstructured":"J. Tarby and M. Barthet. The DIANE+ Method. In Computer-Aided Design of User Interfaces, pages 95\u2013119, Namur, Belgium, 1996. Namur University Press."},{"key":"13_CR48","unstructured":"J. Vanderdonckt. Conception assist\u00e9e de la pr\u00e9sentation d\u2019une interface homme-machine ergonomique pour une application de gestion hautement interactive. PhD thesis, Facult\u00e9s Universitaires Notre-Dame de la Paix, Namur, Belgium, July 1997."},{"issue":"3","key":"13_CR49","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1145\/98188.98194","volume":"8","author":"Wiecha","year":"1990","unstructured":"Wiecha, W. Bennett, S. Boies, J. Gould, and S. Green. ITS: A Tool for Rapidly Developing Interactive Applications. ACM Transactions on Information Systems, 8(3):204\u2013236, July 1990.","journal-title":"ACM Transactions on Information Systems"},{"key":"13_CR50","doi-asserted-by":"crossref","unstructured":"Wiecha and S. Boies. Generating user interfaces: principles and use of ITS style rules. In Proceedings of UIST\u201990, pages 21\u201330. ACM Press, October 1990.","DOI":"10.1145\/97924.97927"},{"key":"13_CR51","unstructured":"S. Wilson and P. Johnson. Bridging the Generation Gap: From Work Tasks to User Interface Designs. In Computer-Aided Design of User Interfaces, pages 77\u201394, Namur, Belgium, 1996. Namur University Press."},{"key":"13_CR52","doi-asserted-by":"crossref","unstructured":"M. Wirsing. Algebraic Specification. In Handbook of Theoretical Computer Science, pages 676\u2013788. North Holland, 1990.","DOI":"10.1016\/B978-0-444-88074-1.50018-4"}],"container-title":["Lecture Notes in Computer Science","Interactive Systems Design, Specification, and Verification"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44675-3_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,22]],"date-time":"2020-04-22T17:53:55Z","timestamp":1587578035000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44675-3_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540416630","9783540446750"],"references-count":52,"URL":"https:\/\/doi.org\/10.1007\/3-540-44675-3_13","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]},"assertion":[{"value":"11 May 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}