{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T12:12:46Z","timestamp":1648555966629},"reference-count":28,"publisher":"Elsevier BV","issue":"9","license":[{"start":{"date-parts":[[1998,9,1]],"date-time":"1998-09-01T00:00:00Z","timestamp":904608000000},"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 and Software Technology"],"published-print":{"date-parts":[[1998,9]]},"DOI":"10.1016\/s0950-5849(98)00081-0","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T08:27:49Z","timestamp":1027585669000},"page":"463-474","source":"Crossref","is-referenced-by-count":2,"title":["VCt\u2014a formal language for the specification of diagrammatic modelling techniques"],"prefix":"10.1016","volume":"40","author":[{"given":"J.","family":"Artur Serrano","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ray","family":"Welland","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0950-5849(98)00081-0_BIB1","doi-asserted-by":"crossref","unstructured":"P. Marttiin, K. Lyytinen, M. Rossi et al., Modeling requirements for future CASE: modeling issues and architectural considerations. Information Resources Management Journal 8(1) (1995) 15\u201325.","DOI":"10.4018\/irmj.1995010102"},{"key":"10.1016\/S0950-5849(98)00081-0_BIB2","unstructured":"J.L. Wynekoop, N.L. Russo, System development methodologies: unanswered questions and the research\u2013practice gap, presented at Fourteenth International Conference on Information Systems, Orlando, FL, 1993."},{"key":"10.1016\/S0950-5849(98)00081-0_BIB3","unstructured":"D. Budgen, Software Design, Addison-Wesley, Reading MA, 1994."},{"key":"10.1016\/S0950-5849(98)00081-0_BIB4","doi-asserted-by":"crossref","unstructured":"P. Chen, The entity relationship model\u2014toward a unified view of data, ACM Transactions on Database Systems 1(1) (1976).","DOI":"10.1145\/320434.320440"},{"key":"10.1016\/S0950-5849(98)00081-0_BIB5","unstructured":"B. Potter, J. Sinclair, D. Till, An Introduction to Formal Specification and Z, Prentice-Hall, Englewood Cliffs, NJ, 1991."},{"key":"10.1016\/S0950-5849(98)00081-0_BIB6","doi-asserted-by":"crossref","unstructured":"J. Woodcock, M. Loomes, Software Engineering Mathematics, Pitman, 1988.","DOI":"10.4324\/9780203212059"},{"key":"10.1016\/S0950-5849(98)00081-0_BIB7","unstructured":"J.A. Serrano, Automatic generation of software design tools supporting semantics of modelling techniques. Ph.D. Thesis, University of Glasgow, 1997."},{"key":"10.1016\/S0950-5849(98)00081-0_BIB8","unstructured":"A.V. Aho, R. Sethi, J.D. Ullman, 1986. Compilers Principles, Techniques and Tools, Addison-Wesley, Reading, MA, 1986."},{"key":"10.1016\/S0950-5849(98)00081-0_BIB9","unstructured":"A.T. Schreiner, H.G. Friedman, Jr. Introduction to Compiler Construction with UNIX. Prentice-Hall, Englewood Cliffs, NJ, 1985."},{"key":"10.1016\/S0950-5849(98)00081-0_BIB10","unstructured":"B.W. Kernighan, D.M. Ritchie, The C Programming Language, 2nd ed., Prentice-Hall, Englewood cliffs, NJ, 1988."},{"key":"10.1016\/S0950-5849(98)00081-0_BIB11","unstructured":"R. Morrison, F. Brown, R. Connor et al., The Napier88 Reference Manual Release 2.0, University of St Andrews, Research Report CS\/94\/8, 1994."},{"key":"10.1016\/S0950-5849(98)00081-0_BIB12","doi-asserted-by":"crossref","unstructured":"B.V. Zanden, B.A. Myers, D. Giuse, P. Szekely, The importance of pointer variables in constraint models, presented at UIST, 1991.","DOI":"10.1145\/120782.120799"},{"issue":"10","key":"10.1016\/S0950-5849(98)00081-0_BIB13","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1145\/357146.357147","article-title":"The programming language aspects of ThingLab, a constraint-oriented simulation laboratory","volume":"3","author":"Borning","year":"1981","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10.1016\/S0950-5849(98)00081-0_BIB14","doi-asserted-by":"crossref","unstructured":"J.A. Serrano, The use of semantic constraints on diagram editors, presented at 11th International IEEE Symposium on Visual Languages, VL'95, Darmstadt, Germany, 1995.","DOI":"10.1109\/VL.1995.520811"},{"key":"10.1016\/S0950-5849(98)00081-0_BIB15","unstructured":"F. Bott, ECLIPSE an integrated project support environment, in IEE Computing Series, vol. 14, Peter Peregrinus Ltd, London, 1989."},{"key":"10.1016\/S0950-5849(98)00081-0_BIB16","unstructured":"R. Welland, A toolbuilders guide to the ECLIPSE design editing system, University of Strathclyde, Glasgow, Research Report CS\/ST\/1\/88, 1988."},{"key":"10.1016\/S0950-5849(98)00081-0_BIB17","unstructured":"S.J. Beer, Supporting checking in a generic, graphical, software design environment, Ph.D. thesis University of Strathclyde, Glasgow, 1988."},{"key":"10.1016\/S0950-5849(98)00081-0_BIB18","doi-asserted-by":"crossref","unstructured":"S. Hekmatpour, M. Woodman, Formal specification of graphical notations and graphical software tools, presented at 1st European Software Engineering Conference, Strasbourg, France, 1987.","DOI":"10.1007\/BFb0022122"},{"key":"10.1016\/S0950-5849(98)00081-0_BIB19","unstructured":"R. Cooper, Configurable data modelling systems, presented at 9th Entity Relationship, Lausanne, 1990."},{"key":"10.1016\/S0950-5849(98)00081-0_BIB20","doi-asserted-by":"crossref","unstructured":"A. Alderson, Meta-CASE technology, presented at European Symposium on Software Development Environments and CASE Technology, Konigswinter, Germany, 1991.","DOI":"10.1007\/3-540-54194-2_27"},{"issue":"5","key":"10.1016\/S0950-5849(98)00081-0_BIB21","first-page":"13","volume":"5","author":"Blaha","year":"1992","journal-title":"Models of models, JOOP"},{"key":"10.1016\/S0950-5849(98)00081-0_BIB22","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1016\/0306-4379(93)90012-P","article-title":"A metamodel approach for the management of multiple models and the translation of schemes","volume":"18","author":"Atzeni","year":"1993","journal-title":"Information Systems"},{"key":"10.1016\/S0950-5849(98)00081-0_BIB23","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1016\/S0950-5849(05)80004-7","article-title":"Integrating diagrams in CASE tools through modelling tranparency","volume":"35","author":"Brinkkemper","year":"1993","journal-title":"Information and Software Technology"},{"key":"10.1016\/S0950-5849(98)00081-0_BIB24","doi-asserted-by":"crossref","unstructured":"B. Nuseibeh, A. Finkelstein, ViewPoints: a vehicle for method and tool integration, presented at International Workshop on CASE (CASE92), Montreal, Canada, 1992.","DOI":"10.1109\/CASE.1992.200130"},{"issue":"7","key":"10.1016\/S0950-5849(98)00081-0_BIB25","doi-asserted-by":"crossref","first-page":"489","DOI":"10.1016\/0306-4379(93)90004-K","article-title":"Formal definition of a conceptual language for the description and manipulation of information models","volume":"18","author":"ter Hofstede","year":"1993","journal-title":"Information Systems"},{"key":"10.1016\/S0950-5849(98)00081-0_BIB26","doi-asserted-by":"crossref","unstructured":"K. Smolander, K. Lyytinen, V.-P. Tahavanainen et al., MetaEdit\u2014a flexible graphical environment for methodology modelling, presented at Advanced Information Systems Engineering 3rd International Conference CAiSE'91, Trondheim, Norway, 1991.","DOI":"10.1007\/3-540-54059-8_85"},{"key":"10.1016\/S0950-5849(98)00081-0_BIB27","first-page":"51","article-title":"Flexible method adaptation in CASE\u2014the metamodeling approach","volume":"5","author":"Tolvanen","year":"1993","journal-title":"Scandinavian Journal of Information Systems"},{"key":"10.1016\/S0950-5849(98)00081-0_BIB28","doi-asserted-by":"crossref","unstructured":"S. Kelly, K. Lyytinen, M. Rossi, MetaEdit+ a fully configurable multi-user and muti-tool CASE and CAME environment, presented at Advanced Information Systems Engineering 8th International Conference, CAiSE'96, Heraklion, Crete, Greece, 1996.","DOI":"10.1007\/3-540-61292-0_1"}],"container-title":["Information and Software Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584998000810?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584998000810?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,30]],"date-time":"2019-04-30T12:28:43Z","timestamp":1556627323000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0950584998000810"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,9]]},"references-count":28,"journal-issue":{"issue":"9","published-print":{"date-parts":[[1998,9]]}},"alternative-id":["S0950584998000810"],"URL":"https:\/\/doi.org\/10.1016\/s0950-5849(98)00081-0","relation":{},"ISSN":["0950-5849"],"issn-type":[{"value":"0950-5849","type":"print"}],"subject":[],"published":{"date-parts":[[1998,9]]}}}