{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T23:34:16Z","timestamp":1648596856114},"reference-count":24,"publisher":"Elsevier BV","issue":"10","license":[{"start":{"date-parts":[[1993,10,1]],"date-time":"1993-10-01T00:00:00Z","timestamp":749433600000},"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":[[1993,10]]},"DOI":"10.1016\/0950-5849(93)90035-2","type":"journal-article","created":{"date-parts":[[2003,9,3]],"date-time":"2003-09-03T15:40:25Z","timestamp":1062603625000},"page":"603-610","source":"Crossref","is-referenced-by-count":4,"title":["A rule-based process representation technique for software process evaluation"],"prefix":"10.1016","volume":"35","author":[{"given":"D","family":"Welzel","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0950-5849(93)90035-2_BIB1","series-title":"An introduction to SSADM Version 4","author":"Ashworth","year":"1993"},{"key":"10.1016\/0950-5849(93)90035-2_BIB2","series-title":"Das V-Modell: der Standard f\u00fcr die Softwareentwicklung mit Praxisleitf\u00e4den","year":"1993"},{"key":"10.1016\/0950-5849(93)90035-2_BIB3","series-title":"Information technology\u2014software packages\u2014quality requirements and testing","author":"International Standard ISO\/IEC DIS 12119","year":"1993"},{"key":"10.1016\/0950-5849(93)90035-2_BIB4","series-title":"Capability maturity model for software","author":"Paulk","year":"1991"},{"key":"10.1016\/0950-5849(93)90035-2_BIB5","series-title":"Quality management and quality assurance standards\u2014Part 3: Guidelines for the application of ISO 9001 to the development, supply and maintance of software","author":"International Standard ISO 9000-3","year":"1991"},{"key":"10.1016\/0950-5849(93)90035-2_BIB6","series-title":"General requirements for the competence of calibration and testing laboratories","author":"ISO\/IEC Guide 25","year":"1990"},{"key":"10.1016\/0950-5849(93)90035-2_BIB7","article-title":"Guides to software evaluation","author":"H-L","year":"1993"},{"key":"10.1016\/0950-5849(93)90035-2_BIB8","article-title":"A method of software evaluation and certification\u2014Draft","author":"H-L","year":"1991"},{"key":"10.1016\/0950-5849(93)90035-2_BIB9","article-title":"Specification of software evaluation and certification\u2014formal model","author":"H-L","year":"1993"},{"key":"10.1016\/0950-5849(93)90035-2_BIB10","series-title":"A method for software evaluation and certification\u2014the informal model\u2014refinement of the phase one model","author":"SCOPE Consortium","year":"1992"},{"key":"10.1016\/0950-5849(93)90035-2_BIB11","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1016\/0004-3702(77)90003-0","article-title":"Production rules as a representation for a knowledge-based consultation program","volume":"Vol 8","author":"Davis","year":"1977","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0950-5849(93)90035-2_BIB12","article-title":"Description and theoretical analysis using schemata of PLANNER","author":"Hewitt","year":"1972"},{"key":"10.1016\/0950-5849(93)90035-2_BIB13","series-title":"The psychology of computer vision","first-page":"211","article-title":"A framework for representing knowledge","author":"Minsky","year":"1975"},{"key":"10.1016\/0950-5849(93)90035-2_BIB14","series-title":"Representation and understanding, studies in cognitive science","first-page":"185","article-title":"Frame representations and the declarative\/procedural controversy","author":"Winograd","year":"1975"},{"key":"10.1016\/0950-5849(93)90035-2_BIB15","doi-asserted-by":"crossref","first-page":"197","DOI":"10.2307\/2371809","article-title":"Formal reductions of the general combinatorial problem","volume":"Vol 65","author":"Post","year":"1943","journal-title":"American J. Mathematics"},{"key":"10.1016\/0950-5849(93)90035-2_BIB16","series-title":"ESEC '89 2nd European Software Engineering Conference 1989","first-page":"376","article-title":"Rule-based handling of software quality and productivity models","author":"H-L","year":"1989"},{"key":"10.1016\/0950-5849(93)90035-2_BIB17","series-title":"Project engineering\u2014computer-oriented planning and operational decision making","author":"Pagnoni","year":"1990"},{"key":"10.1016\/0950-5849(93)90035-2_BIB18","series-title":"Proc. 10th Int. Conf. Soft. Eng.","first-page":"174","article-title":"Software process modeling: a behavioral approach","author":"Williams","year":"1988"},{"key":"10.1016\/0950-5849(93)90035-2_BIB19","series-title":"paper submitted to the European Process Modelling Workshop","article-title":"Process modeling paradigms: an evaluation","author":"Liu","year":"1991"},{"key":"10.1016\/0950-5849(93)90035-2_BIB20","article-title":"Notations and terminology on Petri net theory","author":"Best","year":"1987"},{"key":"10.1016\/0950-5849(93)90035-2_BIB21","series-title":"Petri nets: an introduction","author":"Reisig","year":"1985"},{"key":"10.1016\/0950-5849(93)90035-2_BIB22","series-title":"Safety and reliability assessment\u2014an integral approach Proc. ESREL '93","article-title":"Specifying and evaluating causal dependencies within software engineering processes","author":"Welzel","year":"1993"},{"key":"10.1016\/0950-5849(93)90035-2_BIB23","series-title":"The Yourdon Structured Method\u2014an introduction","author":"Yourdon International","year":"1989"},{"key":"10.1016\/0950-5849(93)90035-2_BIB24","article-title":"Application of the process representation technique for software evaluation and certification to the German V-Modell","author":"Welzel","year":"1992"}],"container-title":["Information and Software Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0950584993900352?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0950584993900352?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,25]],"date-time":"2019-02-25T11:57:43Z","timestamp":1551095863000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0950584993900352"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,10]]},"references-count":24,"journal-issue":{"issue":"10","published-print":{"date-parts":[[1993,10]]}},"alternative-id":["0950584993900352"],"URL":"https:\/\/doi.org\/10.1016\/0950-5849(93)90035-2","relation":{},"ISSN":["0950-5849"],"issn-type":[{"value":"0950-5849","type":"print"}],"subject":[],"published":{"date-parts":[[1993,10]]}}}