{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T14:41:01Z","timestamp":1648996861718},"reference-count":60,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1990,1,1]],"date-time":"1990-01-01T00:00:00Z","timestamp":631152000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computers & Graphics"],"published-print":{"date-parts":[[1990,1]]},"DOI":"10.1016\/0097-8493(90)90005-i","type":"journal-article","created":{"date-parts":[[2003,8,7]],"date-time":"2003-08-07T23:49:30Z","timestamp":1060300170000},"page":"17-28","source":"Crossref","is-referenced-by-count":1,"title":["Archetype-oriented user interfaces"],"prefix":"10.1016","volume":"14","author":[{"given":"F.M\u00e1rio","family":"Martins","sequence":"first","affiliation":[]},{"given":"J.Nuno","family":"Oliveira","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0097-8493(90)90005-I_BIB1","article-title":"Society as a learning system: Discovery, invention and innovation cycles revisited","author":"Marchetti","year":"1981"},{"key":"10.1016\/0097-8493(90)90005-I_BIB2","series-title":"The Long Wave in Economic Life","author":"Van Dujin","year":"1983"},{"key":"10.1016\/0097-8493(90)90005-I_BIB3","series-title":"Technological Forecasting for Industry and Government: Methods and Applications","article-title":"Envelope curve forecasting","author":"Ayres","year":"1968"},{"key":"10.1016\/0097-8493(90)90005-I_BIB4","series-title":"The Cognitive Paradigm","author":"DeMey","year":"1982"},{"key":"10.1016\/0097-8493(90)90005-I_BIB5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0020-7373(86)80037-2","article-title":"From timesharing to the sixth generation: The development of human-computer interaction, Part I","volume":"24","author":"Gaines","year":"1986","journal-title":"Int. J. Man-Machine Studies"},{"key":"10.1016\/0097-8493(90)90005-I_BIB6","series-title":"The Sciences of the Artificial","author":"Simon","year":"1981"},{"key":"10.1016\/0097-8493(90)90005-I_BIB7","series-title":"Conversational Computing","year":"1988"},{"key":"10.1016\/0097-8493(90)90005-I_BIB8","series-title":"Methodology of Interaction","year":"1980"},{"key":"10.1016\/0097-8493(90)90005-I_BIB9","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1016\/0167-6423(82)90014-4","article-title":"Formal specification of a display-oriented text editor","volume":"1","author":"Sufrin","year":"1982","journal-title":"Science of Comput. Programming"},{"issue":"4","key":"10.1016\/0097-8493(90)90005-I_BIB10","first-page":"315","article-title":"Using formal specifications in the design of a human-computer interface","volume":"26","author":"Jakob","year":"1983","journal-title":"Comm. of the ACM"},{"key":"10.1016\/0097-8493(90)90005-I_BIB11","series-title":"Proc. 7th Int. Conf. Software Eng.","article-title":"Abstract models of dialogue concepts","author":"Struder","year":"1984"},{"issue":"8","key":"10.1016\/0097-8493(90)90005-I_BIB12","first-page":"671","article-title":"Formal specification of user interfaces: A comparison and evaluation of four axiomatic approaches","volume":"SE-11","author":"Chi","year":"1985","journal-title":"IEEE TSE"},{"key":"10.1016\/0097-8493(90)90005-I_BIB13","first-page":"251","article-title":"Concerning the specification of user interfaces","volume":"4","author":"Duce","year":"1985"},{"key":"10.1016\/0097-8493(90)90005-I_BIB14","article-title":"User interface design and formal methods","author":"Thimbleby","year":"1986","journal-title":"Comp. Bulletin"},{"key":"10.1016\/0097-8493(90)90005-I_BIB15","series-title":"Prentice-Hall International, Series in Comp. Science","article-title":"Systematic software development using VDM","author":"Jones","year":"1986"},{"key":"10.1016\/0097-8493(90)90005-I_BIB16","article-title":"An initial algebra approach to the specification, correctness and implementation of abstract data types","author":"Goguen","year":"1976"},{"issue":"6","key":"10.1016\/0097-8493(90)90005-I_BIB17","doi-asserted-by":"crossref","first-page":"557","DOI":"10.1002\/spe.4380120607","article-title":"Modelling and validating the man-machine interface","volume":"12","author":"Casey","year":"1982","journal-title":"Software Practice and Experience"},{"key":"10.1016\/0097-8493(90)90005-I_BIB18","series-title":"Proc. of the Second Conf. of the BCS-HCISG","article-title":"Ease of use\u2014The ultimate deception. People and computers: Designing for usability","author":"Thimbleby","year":"1986"},{"key":"10.1016\/0097-8493(90)90005-I_BIB19","series-title":"Colloquium on Formal Methods and Human-Computer Interaction","author":"Thimbleby","year":"1987"},{"issue":"1","key":"10.1016\/0097-8493(90)90005-I_BIB20","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0020-7373(81)80022-3","article-title":"The command language grammar\u2014A representation for the user interface of interactive computer systems","volume":"15","author":"Moran","year":"1981","journal-title":"Int. J. Man-Machine Studies"},{"key":"10.1016\/0097-8493(90)90005-I_BIB21","series-title":"Fundamentals of Interactive Computer Graphics","author":"Foley","year":"1982"},{"issue":"3","key":"10.1016\/0097-8493(90)90005-I_BIB22","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1016\/S0020-7373(86)80028-1","article-title":"A virtual protocol model for computer-human interaction","volume":"24","author":"Nielsen","year":"1986","journal-title":"Int. J. Man-Machine Studies"},{"key":"10.1016\/0097-8493(90)90005-I_BIB23","series-title":"The Psychology of Human-Computer Interaction","author":"Card","year":"1983"},{"issue":"2","key":"10.1016\/0097-8493(90)90005-I_BIB24","first-page":"229","article-title":"Formal grammar and human factors design of an interactive graphics system","volume":"SE-7","author":"Reisner","year":"1981","journal-title":"IEEE TSE"},{"issue":"7","key":"10.1016\/0097-8493(90)90005-I_BIB25","doi-asserted-by":"crossref","first-page":"396","DOI":"10.1145\/358886.358895","article-title":"The keystroke-level model for user performance time with interactive systems","volume":"23","author":"Card","year":"1980","journal-title":"Comm. of the ACM"},{"key":"10.1016\/0097-8493(90)90005-I_BIB26","series-title":"Human Factors in Interactive Computer Systems","article-title":"The future of interactive systems and the emergence of direct manipulation","author":"Schneiderman","year":"1982"},{"key":"10.1016\/0097-8493(90)90005-I_BIB27","series-title":"Smalltalk-80: The Interactive Programming Environment","author":"Goldberg","year":"1984"},{"key":"10.1016\/0097-8493(90)90005-I_BIB28","series-title":"Human Computer Interaction\u2014INTERACT '87","article-title":"PAC, an Object Oriented Model for Dialog Design","author":"Coutaz","year":"1987"},{"key":"10.1016\/0097-8493(90)90005-I_BIB29","series-title":"Software Psychology: Human Factors in Computer and Information Systems","author":"Schneiderman","year":"1980"},{"key":"10.1016\/0097-8493(90)90005-I_BIB30","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1016\/S0020-7373(82)80061-8","article-title":"An evaluation of published recommendations on the design of man-computer dialogues","volume":"16","author":"Maguire","year":"1982","journal-title":"Int. J. Man-Machine Studies"},{"key":"10.1016\/0097-8493(90)90005-I_BIB31","series-title":"Fundamentals of Human-Computer Interaction","article-title":"User interface design: Generative user engineering principles","author":"Thimbleby","year":"1985"},{"key":"10.1016\/0097-8493(90)90005-I_BIB32","series-title":"People and Computers: Designing the Interface","article-title":"Abstract models of interactive systems","author":"Dix","year":"1985"},{"key":"10.1016\/0097-8493(90)90005-I_BIB33","series-title":"People and Computers: Designing for Usability","article-title":"Principles and interaction models for window managers","author":"Dix","year":"1986"},{"key":"10.1016\/0097-8493(90)90005-I_BIB34","doi-asserted-by":"crossref","DOI":"10.1016\/B978-0-444-70304-0.50071-6","article-title":"Formalising models of interaction in the design of a display editor","author":"Dix","year":"1987"},{"issue":"3","key":"10.1016\/0097-8493(90)90005-I_BIB35","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1145\/965145.801268","article-title":"A user interface management system","volume":"16","author":"Kasik","year":"1982","journal-title":"ACM Comp. Graphics"},{"key":"10.1016\/0097-8493(90)90005-I_BIB36","series-title":"User Interface Management Systems","year":"1985"},{"issue":"3","key":"10.1016\/0097-8493(90)90005-I_BIB37","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1145\/24054.24057","article-title":"A survey of three dialogue models","volume":"5","author":"Green","year":"1986","journal-title":"ACM Trans. on Graphics"},{"issue":"2","key":"10.1016\/0097-8493(90)90005-I_BIB38","first-page":"149","article-title":"Multiparty grammars and related features for defining interactive systems","volume":"SMC-12","author":"Schneiderman","year":"1982","journal-title":"IEEE TSMC"},{"issue":"8","key":"10.1016\/0097-8493(90)90005-I_BIB39","first-page":"699","article-title":"Extending state transition diagrams for the specification of human-computer interaction","volume":"SE-11","author":"Wasserman","year":"1985","journal-title":"IEEE TSE"},{"issue":"5","key":"10.1016\/0097-8493(90)90005-I_BIB40","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1109\/MCG.1982.1674312","article-title":"Dialogue cells: A method for defining interactions","volume":"2","author":"Borufka","year":"1982","journal-title":"IEEE Comp. Graphics Appl."},{"issue":"3","key":"10.1016\/0097-8493(90)90005-I_BIB41","first-page":"247","article-title":"Input-output tools: A language for interactive and real-time systems","volume":"SE-9","author":"van Den Bos","year":"1983","journal-title":"IEEE TSE"},{"issue":"3","key":"10.1016\/0097-8493(90)90005-I_BIB42","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1145\/325165.325238","article-title":"Squeak: A language for communicating with mice","volume":"19","author":"Cardelli","year":"1985","journal-title":"ACM Comp. Graphics"},{"key":"10.1016\/0097-8493(90)90005-I_BIB43","article-title":"Formally-based tools and techniques for human-computer dialogues","author":"Alexander","year":"1987"},{"key":"10.1016\/0097-8493(90)90005-I_BIB44","series-title":"Colloquium on Formal Methods and Human-Computer Interaction","article-title":"Review of formal methods in HCI","author":"Sommerville","year":"1987"},{"issue":"1","key":"10.1016\/0097-8493(90)90005-I_BIB45","doi-asserted-by":"crossref","first-page":"6","DOI":"10.1016\/0953-5438(89)90003-9","article-title":"Task analysis, systems analysis and design: Symbiosis or synthesis?","volume":"1","author":"Sutcliffe","year":"1989","journal-title":"Interacting with Comp."},{"key":"10.1016\/0097-8493(90)90005-I_BIB46","series-title":"Theoretical Foundations of Computer Graphics and CAD","article-title":"Formal specification of graphics software","author":"Duce","year":"1988"},{"key":"10.1016\/0097-8493(90)90005-I_BIB47","article-title":"Formal specification of highly interactive text editors\u2014The SPY example","author":"Martins","year":"1987"},{"key":"10.1016\/0097-8493(90)90005-I_BIB48","series-title":"Fundamentals of Human-Computer Interaction","article-title":"User interface design: Generative user engineering principles","author":"Thimbleby","year":"1985"},{"issue":"8","key":"10.1016\/0097-8493(90)90005-I_BIB49","article-title":"Direct manipulation: A step beyond programming languages","volume":"16","author":"Schneiderman","year":"1983","journal-title":"Comp."},{"key":"10.1016\/0097-8493(90)90005-I_BIB50","article-title":"Natural menus: An application of a logic programming approach to natural language semantics","author":"Filgueiras","year":"1987"},{"key":"10.1016\/0097-8493(90)90005-I_BIB51","series-title":"EUROGRAPHICS'86 Special Session, Lisbon, Portugal","article-title":"On the specification of archetype-oriented graphics editors","author":"Martins","year":"1986"},{"key":"10.1016\/0097-8493(90)90005-I_BIB52","article-title":"Communicating functional programs","author":"Henderson","year":"1984"},{"key":"10.1016\/0097-8493(90)90005-I_BIB53","article-title":"Guarded graph-grammars\u2014A formalism for specifying context dependent interaction","author":"Martins","year":"1988"},{"issue":"1","key":"10.1016\/0097-8493(90)90005-I_BIB54","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1145\/321992.321997","article-title":"Initial algebra semantics and continuous algebras","volume":"24","author":"Goguen","year":"1977","journal-title":"JACM"},{"key":"10.1016\/0097-8493(90)90005-I_BIB55","series-title":"Prentice-Hall International, Series in Comp. Science","article-title":"Formal specification and software development","author":"Bjorner","year":"1982"},{"key":"10.1016\/0097-8493(90)90005-I_BIB56","series-title":"Proc. of the EUROGRAPHICS'85 Conference","article-title":"Graphics programming with archetypes\u2014A preliminary study","author":"Martins","year":"1985"},{"key":"10.1016\/0097-8493(90)90005-I_BIB57","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1016\/0743-1066(86)90013-0","article-title":"LOGIN: A logic programming language with built-in inheritance","volume":"3","author":"Ait-Kaci","year":"1986","journal-title":"The Journal of Logic Programming"},{"key":"10.1016\/0097-8493(90)90005-I_BIB58","article-title":"\u201cme too\u201d\u2014A language for software specification and model building\u2014preliminary report","author":"Henderson","year":"1985"},{"key":"10.1016\/0097-8493(90)90005-I_BIB59","unstructured":"F. M. Martins, From application models to abstract user interfaces. Int. Rep. UMINHO\/INESC, Univ. do Minho, Braga, Portugal (in preparation)."},{"key":"10.1016\/0097-8493(90)90005-I_BIB60","series-title":"Human Computer Interaction\u2014INTERACT'84","article-title":"Generic commands","author":"Rosenberg","year":"1985"}],"container-title":["Computers & Graphics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:009784939090005I?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:009784939090005I?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T06:50:06Z","timestamp":1552632606000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/009784939090005I"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990,1]]},"references-count":60,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1990,1]]}},"alternative-id":["009784939090005I"],"URL":"https:\/\/doi.org\/10.1016\/0097-8493(90)90005-i","relation":{},"ISSN":["0097-8493"],"issn-type":[{"value":"0097-8493","type":"print"}],"subject":[],"published":{"date-parts":[[1990,1]]}}}