{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T22:46:21Z","timestamp":1648593981961},"reference-count":18,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[1987,6,1]],"date-time":"1987-06-01T00:00:00Z","timestamp":549504000000},"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":["Journal of Systems and Software"],"published-print":{"date-parts":[[1987,6]]},"DOI":"10.1016\/0164-1212(87)90014-8","type":"journal-article","created":{"date-parts":[[2003,8,8]],"date-time":"2003-08-08T00:49:55Z","timestamp":1060303795000},"page":"99-107","source":"Crossref","is-referenced-by-count":0,"title":["On the development of reliable large software"],"prefix":"10.1016","volume":"7","author":[{"given":"Paolino","family":"Di Felice","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0164-1212(87)90014-8_BIB1","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1109\/MSPEC.1981.6369815","article-title":"A New Breed: The Software Engineer","author":"Fagenbaum","year":"1981","journal-title":"IEEE Spectrum"},{"issue":"5","key":"10.1016\/0164-1212(87)90014-8_BIB2","doi-asserted-by":"crossref","first-page":"477","DOI":"10.1109\/TSE.1984.5010270","article-title":"An Expansive View of Reusable Software","volume":"SE-10","author":"Horowitz","year":"1984","journal-title":"IEEE Trans. Software Engineering"},{"issue":"5","key":"10.1016\/0164-1212(87)90014-8_BIB3","doi-asserted-by":"crossref","first-page":"498","DOI":"10.1109\/TSE.1984.5010273","article-title":"Software Engineering with Reusable Designs and Code","volume":"SE-10","author":"Lanergan","year":"1984","journal-title":"IEEE Trans. Software Engineering"},{"issue":"2","key":"10.1016\/0164-1212(87)90014-8_BIB4","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1109\/TSE.1984.5010217","article-title":"SLAN-4. A Software Specification and Design Language","volume":"SE-10","author":"Beichter","year":"1984","journal-title":"IEEE Trans. Software Engineering"},{"key":"10.1016\/0164-1212(87)90014-8_BIB5","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1016\/0164-1212(84)90031-1","article-title":"High-Level Testing and Example-directed Development of Software Specifications","volume":"4","author":"Probert","year":"1984","journal-title":"J. Systems Software"},{"key":"10.1016\/0164-1212(87)90014-8_BIB6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1002\/spe.4380150102","article-title":"Program Development by Inductive Stepwise Refinement","volume":"15","author":"Dromey","year":"1985","journal-title":"Software Practice and Experience"},{"key":"10.1016\/0164-1212(87)90014-8_BIB7","unstructured":"G. Ciccarella, P. Di Felice, and L. Urgias, Design of Correct Algorithms: A Somehow New Approach, Research Report No. 16, Department of Electrical Engineering, University of L'Aquila, submitted for publication."},{"key":"10.1016\/0164-1212(87)90014-8_BIB8","series-title":"3th IASTED Intern. Symposium on Applied Informatics","first-page":"34","article-title":"Towards the Development of Correct Programs: Remarks and Proposals","author":"Di Felice","year":"1985"},{"key":"10.1016\/0164-1212(87)90014-8_BIB9","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1016\/0164-1212(84)90030-X","article-title":"Development and Application of a White Box Approach to Integration Testing","volume":"4","author":"Haley","year":"1984","journal-title":"J. Systems Software"},{"issue":"5","key":"10.1016\/0164-1212(87)90014-8_BIB10","doi-asserted-by":"crossref","first-page":"519","DOI":"10.1109\/TSE.1981.231114","article-title":"On the Development of Correct Specified Programs","volume":"SE-7","author":"Blikle","year":"1981","journal-title":"IEEE Trans. Software Engineering"},{"issue":"4","key":"10.1016\/0164-1212(87)90014-8_BIB11","first-page":"221","article-title":"Program Development by Stepwise Refinement","volume":"14","author":"Wirth","year":"1971","journal-title":"Commun. Assoc. Comput. Mach."},{"key":"10.1016\/0164-1212(87)90014-8_BIB12","volume":"18","author":"Jensen","year":"1974"},{"issue":"10","key":"10.1016\/0164-1212(87)90014-8_BIB13","first-page":"576","article-title":"An Axiomatic Basis for Computer Programming","volume":"12","author":"Hoare","year":"1969","journal-title":"Commun. Assoc. Comput. Mach."},{"key":"10.1016\/0164-1212(87)90014-8_BIB14","series-title":"Mathematical Theory of Program Correctness","author":"De Bakker","year":"1980"},{"key":"10.1016\/0164-1212(87)90014-8_BIB15","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1007\/BF00289504","article-title":"An Axiomatic Definition of The Programming Language Pascal","volume":"2","author":"Hoare","year":"1973","journal-title":"Acta Inform."},{"key":"10.1016\/0164-1212(87)90014-8_BIB16","series-title":"The Craft of Programming","author":"Reynolds","year":"1981"},{"key":"10.1016\/0164-1212(87)90014-8_BIB17","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1016\/0164-1212(84)90032-3","article-title":"Module Size: A Standard or Heuristic?","volume":"4","author":"Bowen","year":"1984","journal-title":"J. Systems Software"},{"key":"10.1016\/0164-1212(87)90014-8_BIB18","first-page":"42","article-title":"Software Errors and Complexity: An Empirical Investigation","volume":"27","author":"Basili","year":"1984","journal-title":"Commun. Assoc. Comput. Mach."}],"container-title":["Journal of Systems and Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0164121287900148?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0164121287900148?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,14]],"date-time":"2019-03-14T22:55:46Z","timestamp":1552604146000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0164121287900148"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987,6]]},"references-count":18,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1987,6]]}},"alternative-id":["0164121287900148"],"URL":"https:\/\/doi.org\/10.1016\/0164-1212(87)90014-8","relation":{},"ISSN":["0164-1212"],"issn-type":[{"value":"0164-1212","type":"print"}],"subject":[],"published":{"date-parts":[[1987,6]]}}}