{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,11]],"date-time":"2023-09-11T02:25:30Z","timestamp":1694399130584},"reference-count":27,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1992,1,1]],"date-time":"1992-01-01T00:00:00Z","timestamp":694224000000},"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":[[1992,1]]},"DOI":"10.1016\/0950-5849(92)90094-6","type":"journal-article","created":{"date-parts":[[2003,8,8]],"date-time":"2003-08-08T01:31:39Z","timestamp":1060306299000},"page":"57-65","source":"Crossref","is-referenced-by-count":23,"title":["Formalization of techniques: chopping down the methodology jungle"],"prefix":"10.1016","volume":"34","author":[{"given":"AHM","family":"ter Hofstede","sequence":"first","affiliation":[]},{"given":"TP","family":"van der Weide","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0950-5849(92)90094-6_BIB1","series-title":"Information system development: methodologies, techniques and tools","author":"Avison","year":"1988"},{"key":"10.1016\/0950-5849(92)90094-6_BIB2","series-title":"Information system design methodologies: improving the practice","first-page":"289","article-title":"Information system methodologies \u2014 a research view","author":"Bubenko","year":"1986"},{"key":"10.1016\/0950-5849(92)90094-6_BIB3","series-title":"Information system methodologies: a framework for understanding","author":"Olle","year":"1988"},{"key":"10.1016\/0950-5849(92)90094-6_BIB4","series-title":"Advanced information systems engineering","first-page":"88","article-title":"Automated support of the modelling process: a view based on experiments with expert information engineers","author":"Wijers","year":"1990"},{"key":"10.1016\/0950-5849(92)90094-6_BIB5","series-title":"Proc. First Dutch Conf. on Information Systems","article-title":"Analyzing the structure of I.S. methodologies, an alternative approach","author":"Seligmann","year":"1989"},{"key":"10.1016\/0950-5849(92)90094-6_BIB6","article-title":"Structured system analysis: tools and techniques","author":"Gane","year":"1986"},{"issue":"No 5","key":"10.1016\/0950-5849(92)90094-6_BIB7","doi-asserted-by":"crossref","first-page":"514","DOI":"10.1145\/42411.42414","article-title":"On visual formalisms","volume":"Vol 31","author":"Harel","year":"1988","journal-title":"Commun. ACM"},{"key":"10.1016\/0950-5849(92)90094-6_BIB8","series-title":"Systematic software development using","author":"Jones","year":"1986"},{"key":"10.1016\/0950-5849(92)90094-6_BIB9","series-title":"Understanding Z: a specification language and its formal semantics","author":"Spivey","year":"1988"},{"key":"10.1016\/0950-5849(92)90094-6_BIB10","article-title":"The uniquest algorithm: a formal semantics of complex uniqueness constraints","author":"van der Weide","year":"1990"},{"key":"10.1016\/0950-5849(92)90094-6_BIB11","article-title":"Eine auf Petri-Netzen basierende Konstruktions, Analyse und (Teil) Verificationsmethode zur Modellierungsunterst\u00fctzung bei der Entwicklung von Informationssystemen","author":"Scheschonk","year":"1984"},{"key":"10.1016\/0950-5849(92)90094-6_BIB12","series-title":"Conceptual schema and relational database design: a fact oriented approach","author":"Nijssen","year":"1989"},{"key":"10.1016\/0950-5849(92)90094-6_BIB13","series-title":"Proc. IFIP WG 8.1 Working Conf. Computerized Assistance during the Information Systems Life Cycle","first-page":"375","article-title":"RIDL\u2217 on the CRIS case: a workbench for NIAM","author":"de Troyer","year":"1988"},{"issue":"No 1","key":"10.1016\/0950-5849(92)90094-6_BIB14","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1145\/320434.320440","article-title":"The entity-relationship model: toward a unified view of data","volume":"Vol 1","author":"Chen","year":"1976","journal-title":"ACM Trans. Database Syst."},{"issue":"No 2","key":"10.1016\/0950-5849(92)90094-6_BIB15","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1145\/7474.7475","article-title":"A logical design methodology for relational databases using the extended entity-relationship model","volume":"Vol 18","author":"Teory","year":"1986","journal-title":"Comput. Surv."},{"key":"10.1016\/0950-5849(92)90094-6_BIB16","series-title":"Modern structured analysis","author":"Yourdon","year":"1989"},{"key":"10.1016\/0950-5849(92)90094-6_BIB17","series-title":"Elements of the theory of computation","author":"Lewis","year":"1981"},{"key":"10.1016\/0950-5849(92)90094-6_BIB18","series-title":"Compiler construction","author":"Waite","year":"1984"},{"issue":"No 5","key":"10.1016\/0950-5849(92)90094-6_BIB19","doi-asserted-by":"crossref","DOI":"10.1016\/0306-4379(91)90037-A","article-title":"Semantics and verification of object-role models","volume":"Vol 16","author":"van Bommel","year":"1991","journal-title":"Inf. Syst."},{"key":"10.1016\/0950-5849(92)90094-6_BIB20","series-title":"Proc. Int. Conf. Management of Data","article-title":"The semantics of data flow diagrams","author":"Bruza","year":"1989"},{"key":"10.1016\/0950-5849(92)90094-6_BIB21","series-title":"Information systems development \u2014 a systematic approach","author":"Lundeberg","year":"1981"},{"issue":"No 4","key":"10.1016\/0950-5849(92)90094-6_BIB22","doi-asserted-by":"crossref","DOI":"10.1016\/0306-4379(91)90032-5","article-title":"Understanding process structure diagrams","volume":"Vol 16","author":"Falkenberg","year":"1991","journal-title":"Inf. Syst."},{"key":"10.1016\/0950-5849(92)90094-6_BIB23","series-title":"Proc. 9th Int. Conf. Software Engineering","first-page":"2","article-title":"Software processes are software too","author":"Osterweil","year":"1987"},{"issue":"No 1","key":"10.1016\/0950-5849(92)90094-6_BIB24","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1093\/comjnl\/32.1.1","article-title":"Toward a formal definition for DeMarco data flow diagrams","volume":"Vol 32","author":"Tse","year":"1989","journal-title":"Computer J."},{"key":"10.1016\/0950-5849(92)90094-6_BIB25","series-title":"Petri nets: central models and their properties","first-page":"207","article-title":"Predicate\/transition nets","author":"Genrich","year":"1987"},{"key":"10.1016\/0950-5849(92)90094-6_BIB26","series-title":"Proc. Second Workshop on the Next Generation of CASE Tools","first-page":"159","article-title":"Representation of information modelling knowledge","author":"Wijers","year":"1991"},{"key":"10.1016\/0950-5849(92)90094-6_BIB27","article-title":"Van dataflowdiagrammen via petrinetten naar systeemmatrixnotatie","author":"Bergstra","year":"1982"}],"container-title":["Information and Software Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0950584992900946?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0950584992900946?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T04:26:27Z","timestamp":1552623987000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0950584992900946"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,1]]},"references-count":27,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1992,1]]}},"alternative-id":["0950584992900946"],"URL":"https:\/\/doi.org\/10.1016\/0950-5849(92)90094-6","relation":{},"ISSN":["0950-5849"],"issn-type":[{"value":"0950-5849","type":"print"}],"subject":[],"published":{"date-parts":[[1992,1]]}}}