{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T16:49:41Z","timestamp":1759682981954},"reference-count":38,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[1994,4,1]],"date-time":"1994-04-01T00:00:00Z","timestamp":765158400000},"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":["Information Systems"],"published-print":{"date-parts":[[1994,4]]},"DOI":"10.1016\/0306-4379(94)90047-7","type":"journal-article","created":{"date-parts":[[2003,8,7]],"date-time":"2003-08-07T21:31:39Z","timestamp":1060291899000},"page":"291-309","source":"Crossref","is-referenced-by-count":12,"title":["Visualization of conceptual specifications"],"prefix":"10.1016","volume":"19","author":[{"given":"V","family":"Lalioti","sequence":"first","affiliation":[]},{"given":"P","family":"Loucopoulos","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0306-4379(94)90047-7_BIB1","doi-asserted-by":"crossref","DOI":"10.1109\/52.28119","article-title":"Software verification and validation: an overview","author":"Wallace","year":"1989","journal-title":"IEEE Software"},{"key":"10.1016\/0306-4379(94)90047-7_BIB2","series-title":"Methoden und Rechnergest\u00fctze Werkzuege f\u00fcr den Logischen Databankenwurf","author":"Eick","year":"1984"},{"key":"10.1016\/0306-4379(94)90047-7_BIB3","series-title":"Ariticial Intelligence in Databases and Information Systems (DS-3). Proc. IFIP Working Conference on the Role of Artificial Intelligence in Databases a","first-page":"437","article-title":"Diagnosis of conceptual schemas","author":"Wohed","year":"1988"},{"key":"10.1016\/0306-4379(94)90047-7_BIB4","series-title":"ESPRIT'87: Achievements and Impact","first-page":"375","article-title":"ASPIS: a knowledge-based environment for software development","author":"Pietre","year":"1988"},{"key":"10.1016\/0306-4379(94)90047-7_BIB5","series-title":"Artificial Intelligence in Databases and Information Systems (DS-3)","first-page":"1","article-title":"Information systems design: an expert system approach","author":"Cauvet","year":"1988"},{"key":"10.1016\/0306-4379(94)90047-7_BIB6","first-page":"325","article-title":"An application overview of program visualization","volume":"20","author":"Baecker","year":"1986","journal-title":"Computer Graphics"},{"key":"10.1016\/0306-4379(94)90047-7_BIB7","series-title":"CHI'88: Human Factors in Computing Systems","first-page":"33","article-title":"Perspectives on algorithm animation","author":"Brown","year":"1988"},{"key":"10.1016\/0306-4379(94)90047-7_BIB8","series-title":"21st Hawaii International Conference on System Sciences (HICSS-21)","first-page":"662","article-title":"A visual programming language designed for automatic programming","author":"Shu","year":"1988"},{"key":"10.1016\/0306-4379(94)90047-7_BIB9","first-page":"249","article-title":"A Language for Office and Business Automation","author":"Zloof","year":"1980"},{"key":"10.1016\/0306-4379(94)90047-7_BIB10","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/MC.1985.1662974","article-title":"FORMAL: a forms-oriented and visual directed application system","volume":"18","author":"Shu","year":"1985","journal-title":"IEEE Computer"},{"key":"10.1016\/0306-4379(94)90047-7_BIB11","first-page":"242","volume":"7","author":"Smith","year":"1982","journal-title":"Designing the Star User Interface"},{"key":"10.1016\/0306-4379(94)90047-7_BIB12","first-page":"466","article-title":"The Tinkertoy Graphical Programming Environment","author":"Edel","year":"1986"},{"key":"10.1016\/0306-4379(94)90047-7_BIB13","series-title":"Workshop on Visual Language","first-page":"305","article-title":"An environment for HI_VISUAL iconic programming","author":"Hirakawa","year":"1987"},{"key":"10.1016\/0306-4379(94)90047-7_BIB14","article-title":"Visual query systems","author":"Batini","year":"1991","journal-title":"Universita degli Studi di Roma la Sapienza, Report, 04.91"},{"key":"10.1016\/0306-4379(94)90047-7_BIB15","first-page":"172","article-title":"A-Vu: A Visualization Tool for Complex Software Systems","author":"Smart","year":"1992"},{"key":"10.1016\/0306-4379(94)90047-7_BIB16","article-title":"Fitting pieces to the maintenance puzzle","author":"Osborne","year":"1990","journal-title":"IEEE Software"},{"key":"10.1016\/0306-4379(94)90047-7_BIB17","series-title":"Workshop on Visual Languages","first-page":"2","article-title":"Concept-D: a graphical language modelling and data base use","author":"Kangassalo","year":"1988"},{"key":"10.1016\/0306-4379(94)90047-7_BIB18","series-title":"ESPRIT'91","first-page":"534","article-title":"Objects + Scripts = Applications","author":"Nierstrasz","year":"1991"},{"issue":"No. 11","key":"10.1016\/0306-4379(94)90047-7_BIB19","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/MCG.1985.276330","article-title":"The SAGE system architecture: a system for the rapid development of graphics interfaces for decision support","volume":"5","author":"Clemons","year":"1985","journal-title":"IEEE Computer Graph. Applic."},{"key":"10.1016\/0306-4379(94)90047-7_BIB20","doi-asserted-by":"crossref","DOI":"10.1109\/2.42012","article-title":"A declarative approach to visualizing concurrent computations","author":"Roman","year":"1989","journal-title":"Computer"},{"key":"10.1016\/0306-4379(94)90047-7_BIB21","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1145\/964965.808596","article-title":"A system for algorithm animation","volume":"18","author":"Brown","year":"1984","journal-title":"ACM Computer Graph."},{"key":"10.1016\/0306-4379(94)90047-7_BIB22","series-title":"SIGCHI'86 Conference on Human Factors in Computing Systems","first-page":"59","article-title":"Visual programming, programming by example, and program visualization: a taxonomy","author":"Myers","year":"1986"},{"key":"10.1016\/0306-4379(94)90047-7_BIB23","doi-asserted-by":"crossref","first-page":"276","DOI":"10.1109\/TSE.1985.232211","article-title":"PECAN: program developmet environments that support multiple views","volume":"11","author":"Reiss","year":"1985","journal-title":"IEEE Trans. Software Engng"},{"key":"10.1016\/0306-4379(94)90047-7_BIB24","article-title":"Animation of geometric algorithms: a video review","volume":"87a","author":"Brown","year":"1992"},{"key":"10.1016\/0306-4379(94)90047-7_BIB25","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1109\/MS.1985.229778","article-title":"Techniques for algorithm animation","author":"Brown","year":"1985","journal-title":"IEEE Software"},{"key":"10.1016\/0306-4379(94)90047-7_BIB26","doi-asserted-by":"crossref","DOI":"10.1109\/MC.1985.1662978","article-title":"Animating programs using smalltalk","author":"London","year":"1985","journal-title":"Computer August"},{"key":"10.1016\/0306-4379(94)90047-7_BIB27","article-title":"A system for algorithm animation: tutorial and user manual","author":"Bentley","year":"1987"},{"key":"10.1016\/0306-4379(94)90047-7_BIB28","series-title":"Database and Expert System Applications, Proceedings of the International Conference DEXA 91","article-title":"Experiences with SUPER, a database visual environment","author":"Auddino","year":"1991"},{"key":"10.1016\/0306-4379(94)90047-7_BIB29","first-page":"69","article-title":"ERC+: an object-based entity relationship approach","author":"Parent","year":"1992"},{"key":"10.1016\/0306-4379(94)90047-7_BIB30","first-page":"749","article-title":"Animation of requirements specification","volume":"18","author":"Kramer","year":"1988","journal-title":"SPE"},{"key":"10.1016\/0306-4379(94)90047-7_BIB31","first-page":"232","article-title":"Rule-based behaviour modelling: specification and validation of information systems dynamics","volume":"33","author":"Tsalgatidou","year":"1991","journal-title":"IST"},{"key":"10.1016\/0306-4379(94)90047-7_BIB32","series-title":"Information modelling\u2014subjective forver","author":"Falkneberg","year":"1989"},{"key":"10.1016\/0306-4379(94)90047-7_BIB33","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1111\/j.1365-2575.1991.tb00032.x","article-title":"Integrating database technology, rule-based systems and temporal reasoning for information systems: the TEMPORA paradigm","volume":"1","author":"Loucopoulos","year":"1991","journal-title":"J. Inform. Syst."},{"key":"10.1016\/0306-4379(94)90047-7_BIB34","series-title":"Advanced Information Systems Engineering: Second Nordic Conference CAiSE '90 Proceedings","first-page":"264","article-title":"Requirements specIfication in TEMPORA","author":"Theodoulidis","year":"1990"},{"key":"10.1016\/0306-4379(94)90047-7_BIB35","series-title":"Conceptual Schema and Relational Databases\u2014A Fact-Oriented Approach","author":"Nijssen","year":"1989"},{"key":"10.1016\/0306-4379(94)90047-7_BIB36","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1016\/0306-4379(91)90031-4","article-title":"A conceptual modelling formalism for temporal database applications","volume":"16","author":"Theodoulidis","year":"1991","journal-title":"Informations Systems"},{"key":"10.1016\/0306-4379(94)90047-7_BIB37","series-title":"Verification and validation for rule-based requirements specifications","author":"Katsouli","year":"1992"},{"key":"10.1016\/0306-4379(94)90047-7_BIB38","series-title":"Jasmine: a cinematographic representation of algorthims","author":"Lalioti","year":"1990"}],"container-title":["Information Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0306437994900477?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0306437994900477?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T00:56:28Z","timestamp":1552611388000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0306437994900477"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,4]]},"references-count":38,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1994,4]]}},"alternative-id":["0306437994900477"],"URL":"https:\/\/doi.org\/10.1016\/0306-4379(94)90047-7","relation":{},"ISSN":["0306-4379"],"issn-type":[{"value":"0306-4379","type":"print"}],"subject":[],"published":{"date-parts":[[1994,4]]}}}