{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T04:18:56Z","timestamp":1742617136429,"version":"3.40.2"},"publisher-location":"Cham","reference-count":35,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319981765"},{"type":"electronic","value":"9783319981772"}],"license":[{"start":{"date-parts":[[1993,1,1]],"date-time":"1993-01-01T00:00:00Z","timestamp":725846400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56777-1_8","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:31:57Z","timestamp":1330255917000},"page":"143-164","source":"Crossref","is-referenced-by-count":8,"title":["Visualisation for validation"],"prefix":"10.1007","author":[{"given":"V.","family":"Lalioti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Loucopoulos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"issue":"4","key":"8_CR1","first-page":"325","volume":"20","author":"R. M. Baeckcr","year":"1986","unstructured":"Baeckcr, R.M., An Application Overview of Program Visualization, Computer Graphics, 20, 4: 325, 1986.","journal-title":"Computer Graphics"},{"key":"8_CR2","unstructured":"Batini, C., T. Catarci, M.F. Constabile and S. Levialdi, Visual Query Systems, Universita degli Studi di Roma La Sapienza, Report, 04.91, March, 1991."},{"key":"8_CR3","unstructured":"Bentley, J.L. and B.W. Kernighan, A System for Algorithm Animation: Tutorial and User Manual, AT&T Bell Laboratories, Technical Report Computer Science, 132, January, 1987."},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Brown, M.H., Perspectives on Algorithm Animation, CHI'88: Human Factors in Computing Systems, Washington, D.C., 33\u201338, 1988.","DOI":"10.1145\/57167.57172"},{"key":"8_CR5","unstructured":"Brown, M.H., Hershberger, J., Animation of Geometric Algorithms: A Video Review, DEC Systems Research Center, Research Report, 87a, June 6, 1992."},{"issue":"3","key":"8_CR6","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1145\/964965.808596","volume":"18","author":"M. H. Brown","year":"1984","unstructured":"Brown, M.H. and R. Sedgewick, A System for Algorithm Animation, ACM Computer Graphics, 18, 3: 177\u2013186, 1984.","journal-title":"ACM Computer Graphics"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Brown, M.H. and R. Sedgewick, Techniques for Algorithm Animation, IEEE Software, 28\u201339, 1985.","DOI":"10.1109\/MS.1985.229778"},{"key":"8_CR8","first-page":"1","volume-title":"Artificial Intelligence in Databases and Information Systems (DS\u223c3)","author":"C. Cauvet","year":"1988","unstructured":"Cauvet, C., C. Proix and C. Rolland, Information Systems Design: an Expert System Approach, Artificial Intelligence in Databases and Information Systems (DS\u223c3), R. A. Meersman, Z. Shi and C. H. Kung, Canton, China, North-Holland, 1\u201328, 1988."},{"issue":"11","key":"8_CR9","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/MCG.1985.276330","volume":"5","author":"E. K. Clemons","year":"1985","unstructured":"Clemons, E.K. and A.J. Greenfield, The SAGE system Architecture: A System for the Rapid development of Graphics Interfaces for Decision Support, IEEE Computer graphics and Applications, 5, 11: 38\u201350, 1985.","journal-title":"IEEE Computer graphics and Applications"},{"key":"8_CR10","unstructured":"Edel, M., The Tinkertoy Graphical Programming Environment, COMPSAG, IEEE, 466\u2013471, 1986."},{"key":"8_CR11","unstructured":"Eick, C.F., Metoden und Rechnergest\u00fctze Werkzuege f\u00fcr den Logischen Databankentwurf Dept of Informatics, University of Karlsrue, 1984."},{"key":"8_CR12","volume-title":"Information Modelling \u2014 Subjective Forever","author":"E. D. Falkenberg","year":"1989","unstructured":"Falkenberg, E.D., Information Modelling \u2014 Subjective Forever, Database dag, Eindhoven, 1989."},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"Hirakawa, M., S. Iwata, I. Yoshimoto, M. Tanaka and T. Ichikawa, An Environment for HI_VISUAL Iconic Programming, Workshop on Visual Languages, 305\u2013314, 1987.","DOI":"10.1007\/978-1-4613-1805-7_10"},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"Kangassalo, H., Concept-D: A Graphical Language for Conceptual Modelling and Data Base Use, Workshop on Visual Languages, IEEE, 2\u201311, 1988.","DOI":"10.1109\/WVL.1988.18004"},{"key":"8_CR15","unstructured":"Katsouli, E., Verification and Validation for Rule-based Requirements Specifications MSc Thesis, UMIST, 1992."},{"issue":"8","key":"8_CR16","first-page":"749","volume":"18","author":"J. Kramer","year":"1988","unstructured":"Kramer, J. and K. Ng, Animation of Requirements Specification, SPE, 18, 8: 749\u2013774, 1988.","journal-title":"SPE"},{"key":"8_CR17","volume-title":"MSc Thesis","author":"V. Lalioti","year":"1990","unstructured":"Lalioti, V., Jasmine: A cinematographic representation of algorithms MSc Thesis, University of Crete, Iraklion, GREECE, 1990."},{"key":"8_CR18","doi-asserted-by":"crossref","unstructured":"London, R.L. and Duisberg, Animating Programs Using Smalltalk, Computer, August 61\u201371, 1985.","DOI":"10.1109\/MC.1985.1662978"},{"issue":"2","key":"8_CR19","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1111\/j.1365-2575.1991.tb00032.x","volume":"1","author":"P. Loucopoulos","year":"1991","unstructured":"Loucopoulos, P., P. McBrien, F. Schumacker, B. Theodoulidis, V. Kopanas and B. Wangler, Integrating database technology, rule-based systems and temporal reasoning for effective information systems: the TEMPORA paradigm, Journal of Information Systems, 1, 2, April: 129\u2013152, 1991.","journal-title":"Journal of Information Systems"},{"key":"8_CR20","doi-asserted-by":"crossref","unstructured":"Myers, B.A., Visual Programming, Programming by Example, and Program visualization: a Taxonomy, SIGCHI '86 Conference on human Factors in computing Systems, ACM, 59\u201366, 1986.","DOI":"10.1145\/22627.22349"},{"key":"8_CR21","unstructured":"Nierstrasz, O., D. Tsichritzis, V. de Mey and M. Stadelmann, Objects + Scripts = Applications, ESPRIT '91, Brussels, 534\u2013552, 1991."},{"key":"8_CR22","unstructured":"Nijssen, H., Conceptual Schema and Relational Databases-A Fact-Oriented Approach, Prentice Hall, 1989."},{"key":"8_CR23","unstructured":"Osborne, W., M., Fitting pieces to the maintenance puzzle, IEEE Software, January: 11\u201312, 1990."},{"key":"8_CR24","unstructured":"Pietri, F., Puncello, P.P., Torrigiani, P., Casale, G., Innocenti, M.D., Ferrari, G., Pacini, G., Turini, F., ASPIS: A Knowledge-Based Environment for Software Development, ESPRIT '87: Achievements and Impact, North Holland, 375\u2013391, 1987."},{"issue":"3","key":"8_CR25","doi-asserted-by":"crossref","first-page":"276","DOI":"10.1109\/TSE.1985.232211","volume":"11","author":"S. P. Reiss","year":"1985","unstructured":"Reiss, S.P., PECAN: Program Development Environments that support Multiple Views, IEEE Transactions on software Engineering, 11, 3: 276\u2013285., 1985","journal-title":"IEEE Transactions on software Engineering"},{"key":"8_CR26","doi-asserted-by":"crossref","unstructured":"Roman, G. and K.G. Cox, A Declarative Approach to Visualizing Concurrent Computations, Computer, October: 25\u201336, 1989.","DOI":"10.1109\/2.42012"},{"key":"8_CR27","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/MC.1985.1662974","volume":"18","author":"N. C. Shu","year":"1985","unstructured":"Shu, N.C., FORMAL: A Forms-Oriented and Visual-Directed Application System, IEEE Computer, 18, August: 38\u201349, 1985.","journal-title":"IEEE Computer"},{"key":"8_CR28","first-page":"662","volume-title":"A Visual Programming Language Designed for Automatic Programming","author":"N. C. Shu","year":"1988","unstructured":"Shu, N.C., A Visual Programming Language Designed for Automatic Programming, 21st Hawaii International Conference on System Sciences (HICSS-21), Hawaii, IEEE, 2 Software Track: 662\u2013671, 1988."},{"key":"8_CR29","doi-asserted-by":"crossref","unstructured":"Smart, J.C. and V. Vemuri, A-Vu: A Visualization Tool for Complex Software Systems, IEEE, August 172\u2013182, 1992.","DOI":"10.1109\/AQSDT.1992.205852"},{"key":"8_CR30","first-page":"242","volume":"7","author":"D. C. Smith","year":"1982","unstructured":"Smith, D.C., C. Irby, R. Kimball, W. Verplank and E. Harslem, Designing the Star User Interface 7: 242\u2013282, 1982.","journal-title":"Designing the Star User Interface"},{"issue":"4","key":"8_CR31","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1016\/0306-4379(91)90031-4","volume":"16","author":"C. Theodoulidis","year":"1991","unstructured":"Theodoulidis, C., P. Loucopoulos and B. Wangler, A Conceptual Modelling Formalism for Temporal Database Applications, Informations Systems, 16, 4:401\u2013416, 1991.","journal-title":"Informations Systems"},{"key":"8_CR32","unstructured":"Tsalgatidou, A., Dynamics of Information Systems Modelling and Verification, PhD Thesis UMIST, Manchester, UK, 1988."},{"key":"8_CR33","doi-asserted-by":"crossref","unstructured":"Wallace, D.R., Fujii, R.U., Software Verification and Validation: An Overview, IEEE Software, May 1989.","DOI":"10.1109\/52.28119"},{"key":"8_CR34","first-page":"437","volume-title":"Artificial Intelligence in Databases and Information Systems (DS\u223c3)","author":"R. Wohed","year":"1988","unstructured":"Wohed, R., Diagnosis of Conceptual Schemas, Artificial Intelligence in Databases and Information Systems (DS\u223c3), Proc. IFIP Working Conference on The Role of Artificial Intelligence in Databases and Information Systems, R. A. Meersman, Z. Shi and C. H. Kung, Canton, PR China, North-Holland, 437\u2013456, 1988."},{"key":"8_CR35","unstructured":"Zloof, M.M., A Language for Office and Business Automation, AFIPS Office Automation Conference Digest, AFIPS Press, 249\u2013260, 1980."}],"container-title":["Notes on Numerical Fluid Mechanics and Multidisciplinary Design","Active Flow and Combustion Control 2018"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56777-1_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T21:53:57Z","timestamp":1742594037000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56777-1_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783319981765","9783319981772"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/3-540-56777-1_8","relation":{},"ISSN":["1612-2909","1860-0824"],"issn-type":[{"type":"print","value":"1612-2909"},{"type":"electronic","value":"1860-0824"}],"subject":[],"published":{"date-parts":[[1993]]}}}