{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T12:45:26Z","timestamp":1649076326788},"reference-count":33,"publisher":"Elsevier BV","issue":"7","license":[{"start":{"date-parts":[[1999,5,1]],"date-time":"1999-05-01T00:00:00Z","timestamp":925516800000},"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":[[1999,5]]},"DOI":"10.1016\/s0950-5849(99)00010-5","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T18:22:28Z","timestamp":1027621348000},"page":"421-434","source":"Crossref","is-referenced-by-count":2,"title":["Measurement and prediction of the verification cost of the design in a formalized methodology"],"prefix":"10.1016","volume":"41","author":[{"given":"L","family":"Fern\u00e1ndez","sequence":"first","affiliation":[]},{"given":"J.J","family":"Dolado","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0950-5849(99)00010-5_BIB1","series-title":"Software Metrics. A Rigorous Approach","author":"Fenton","year":"1991"},{"key":"10.1016\/S0950-5849(99)00010-5_BIB2","series-title":"Software Metrics, SEI Curriculum Module SEI-CM-12-1.1","author":"Mills","year":"1988"},{"key":"10.1016\/S0950-5849(99)00010-5_BIB3","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1109\/32.481535","article-title":"Property based software engineering measurement","volume":"22","author":"Briand","year":"1996","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0950-5849(99)00010-5_BIB4","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1109\/32.491650","article-title":"Chidamber and Kemerer's metrics suite: a measurement theory perspective","volume":"SE-22","author":"Hitz","year":"1996","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0950-5849(99)00010-5_BIB5","series-title":"Software Reliability and Metrics","article-title":"New approach to software cost estimation","author":"Kok","year":"1991"},{"key":"10.1016\/S0950-5849(99)00010-5_BIB6","series-title":"Software Reliability, Modelling and Identification","first-page":"141","article-title":"Forecasting software reliability","volume":"341","author":"Littlewood","year":"1988"},{"key":"10.1016\/S0950-5849(99)00010-5_BIB7","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1016\/0164-1212(90)90035-K","article-title":"On the utility of historical project statistics for cost and schedule estimation: results from a simulation-based case study","volume":"13","author":"Abdel-Hamid","year":"1990","journal-title":"The Journal of Systems and Software"},{"key":"10.1016\/S0950-5849(99)00010-5_BIB8","series-title":"Practical Implementation of Software Metrics","author":"Goodman","year":"1993"},{"key":"10.1016\/S0950-5849(99)00010-5_BIB9","doi-asserted-by":"crossref","first-page":"929","DOI":"10.1109\/32.489070","article-title":"Towards a framework for software measurement validation","volume":"21","author":"Kitchenham","year":"1995","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0950-5849(99)00010-5_BIB10","series-title":"Information system development. Techniques and tools","author":"Avison","year":"1988"},{"key":"10.1016\/S0950-5849(99)00010-5_BIB11","series-title":"Software Engineering. A Practitioner's Approach","author":"Pressman","year":"1992"},{"key":"10.1016\/S0950-5849(99)00010-5_BIB12","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1049\/sej.1994.0014","article-title":"Comparative review of functional complexity assessment methods for effort estimation","volume":"9","author":"MacDonell","year":"1994","journal-title":"Software Engineering Journal"},{"key":"10.1016\/S0950-5849(99)00010-5_BIB13","series-title":"Structured Analysis and System Specification","author":"DeMarco","year":"1979"},{"key":"10.1016\/S0950-5849(99)00010-5_BIB14","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1016\/0950-5849(95)01065-3","article-title":"Estimating CASE development size from outline specifications","volume":"38","author":"Cockcroft","year":"1996","journal-title":"Information and Software Technology"},{"key":"10.1016\/S0950-5849(99)00010-5_BIB15","series-title":"Software Engineering with Formal Metrics","author":"Ejiogu","year":"1991"},{"key":"10.1016\/S0950-5849(99)00010-5_BIB16","series-title":"Controlling Software Projects","author":"DeMarco","year":"1982"},{"key":"10.1016\/S0950-5849(99)00010-5_BIB17","doi-asserted-by":"crossref","first-page":"814","DOI":"10.1109\/32.83916","article-title":"Specification and design of transactions in information systems: a formal approach","volume":"17","author":"Babin","year":"1991","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0950-5849(99)00010-5_BIB18","unstructured":"L. Fern\u00e1ndez, G. Cuevas, A. Amescua, METRAD: a method for deriving a Merise conceptual treatment model based on a data flow diagram, Proceedings of the 18th ITI Conference, University of Zagreb, 1996, pp. 533\u2013540."},{"key":"10.1016\/S0950-5849(99)00010-5_BIB19","series-title":"La m\u00e9thode Merise. Principles et outils","author":"Tardieu","year":"1983"},{"key":"10.1016\/S0950-5849(99)00010-5_BIB20","series-title":"Software engineering: a European perspective","first-page":"78","article-title":"Software requirements analysis and specification in Europe: an overview","author":"Gray","year":"1993"},{"key":"10.1016\/S0950-5849(99)00010-5_BIB21","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1057\/ejis.1993.28","article-title":"Conceptual euromodelling: how do SSADM and MERISE compare","volume":"2","author":"Flynn","year":"1993","journal-title":"European Journal of Information Systems"},{"key":"10.1016\/S0950-5849(99)00010-5_BIB22","series-title":"Merise appliqu\u00e9. Conception des syst\u00e8mes. De la th\u00e9orie a la pratique. M\u00e9thode et outils","author":"Quang","year":"1989"},{"key":"10.1016\/S0950-5849(99)00010-5_BIB23","doi-asserted-by":"crossref","first-page":"855","DOI":"10.1016\/S0950-5849(97)00009-8","article-title":"A combination of the Mk-II Function Points software estimation method with the ADISSA methodology for systems analysis and design","volume":"39","author":"Shoval","year":"1997","journal-title":"Information and Software Technology"},{"key":"10.1016\/S0950-5849(99)00010-5_BIB24","doi-asserted-by":"crossref","first-page":"1127","DOI":"10.1109\/TSE.1987.232854","article-title":"Isomorphism between petri nets and dataflow graphs","volume":"SE-13","author":"Kavi","year":"1987","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0950-5849(99)00010-5_BIB25","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0020-0190(87)90089-5","article-title":"An O(n1.5) algorithm to decide boundedness for conflict-free vector replacement systems","volume":"25","author":"Howell","year":"1987","journal-title":"Information Processing Letters"},{"key":"10.1016\/S0950-5849(99)00010-5_BIB26","series-title":"Petri Nets: Central models and their properties. Advances in Petri Nets","first-page":"414","article-title":"Complexity of place\/transitions nets","author":"Jantzen","year":"1987"},{"key":"10.1016\/S0950-5849(99)00010-5_BIB27","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1109\/TSE.1983.235581","article-title":"Distributed software system design representation using modified petri nets","volume":"9","author":"Yau","year":"1983","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0950-5849(99)00010-5_BIB28","doi-asserted-by":"crossref","first-page":"435","DOI":"10.1016\/0950-5849(94)90066-3","article-title":"A Petri net based methodology to integrate qualitative and quantitative analysis","volume":"36","author":"Heiner","year":"1994","journal-title":"Information and Software Technology"},{"key":"10.1016\/S0950-5849(99)00010-5_BIB29","unstructured":"L. Fern\u00e1ndez, Medici\u00f3n y predicci\u00f3n de atributos del dise\u00f1o de software en una metodolog\u0131\u0301a formalizada, (in Spanish) Doctoral Thesis, University of the Basque Country, Spain, 1997."},{"key":"10.1016\/S0950-5849(99)00010-5_BIB30","doi-asserted-by":"crossref","first-page":"1357","DOI":"10.1109\/32.6178","article-title":"Evaluating software complexity measures","volume":"14","author":"Weyuker","year":"1988","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0950-5849(99)00010-5_BIB31","doi-asserted-by":"crossref","first-page":"190","DOI":"10.1109\/32.585508","article-title":"Comments on property-based software engineering measurement","volume":"23","author":"Poels","year":"1997","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0950-5849(99)00010-5_BIB32","doi-asserted-by":"crossref","first-page":"196","DOI":"10.1109\/TSE.1997.585509","article-title":"Response to: comments on property-based software engineering measurement","volume":"23","author":"Briand","year":"1997","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0950-5849(99)00010-5_BIB33","series-title":"Capability maturity model for software, version 1.1. Technical report CMU\/SEI-93-TR-24","author":"Paulk","year":"1993"}],"container-title":["Information and Software Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584999000105?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584999000105?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,23]],"date-time":"2019-04-23T22:21:44Z","timestamp":1556058104000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0950584999000105"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,5]]},"references-count":33,"journal-issue":{"issue":"7","published-print":{"date-parts":[[1999,5]]}},"alternative-id":["S0950584999000105"],"URL":"https:\/\/doi.org\/10.1016\/s0950-5849(99)00010-5","relation":{},"ISSN":["0950-5849"],"issn-type":[{"value":"0950-5849","type":"print"}],"subject":[],"published":{"date-parts":[[1999,5]]}}}