{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T14:26:28Z","timestamp":1742394388657},"reference-count":17,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[2002,4,1]],"date-time":"2002-04-01T00:00:00Z","timestamp":1017619200000},"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":[[2002,4]]},"DOI":"10.1016\/s0164-1212(01)00149-2","type":"journal-article","created":{"date-parts":[[2002,10,14]],"date-time":"2002-10-14T20:48:11Z","timestamp":1034628491000},"page":"213-224","source":"Crossref","is-referenced-by-count":7,"title":["Producing reliable software: an experiment"],"prefix":"10.1016","volume":"61","author":[{"given":"Carol","family":"Smidts","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xin","family":"Huang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James C","family":"Widmaier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0164-1212(01)00149-2_BIB1","doi-asserted-by":"crossref","DOI":"10.1109\/6.632499","article-title":"Spec-based tests make sure telecom works","author":"Apfelbaum","year":"1997","journal-title":"IEEE Spectrum"},{"key":"10.1016\/S0164-1212(01)00149-2_BIB2","series-title":"Category Theory for Computer Science","author":"Barr","year":"1995"},{"key":"10.1016\/S0164-1212(01)00149-2_BIB3","series-title":"Introduction to the Theory of Finite-State Machines","author":"Gill","year":"1962"},{"key":"10.1016\/S0164-1212(01)00149-2_BIB4","series-title":"Understanding UML: The Developer's Guide: With a Web-based Application in Java","author":"Harmon","year":"1998"},{"key":"10.1016\/S0164-1212(01)00149-2_BIB5","unstructured":"Huang, X., 1998. A comparison between standard and formal mathematical development, Master's Thesis. Department of Nuclear Materials and Reliability Engineering, University of Maryland"},{"key":"10.1016\/S0164-1212(01)00149-2_BIB6","series-title":"The Haskell School of Expression: Learning Functional Programming Through Multimedia","author":"Hudak","year":"2000"},{"key":"10.1016\/S0164-1212(01)00149-2_BIB7","unstructured":"IEEE, 1998. IEEE Recommended Practice for Software Requirements Specifications. IEEE Std 830-1998"},{"key":"10.1016\/S0164-1212(01)00149-2_BIB8","doi-asserted-by":"crossref","unstructured":"Juellig, R. et al., 1996, Specware: An advanced environment for the formal development of complex software systems. In: Proceedings of the 5th International Conference of Algebraic Methodology and Software Technology, Munich, Germany","DOI":"10.1007\/BFb0014339"},{"key":"10.1016\/S0164-1212(01)00149-2_BIB9","unstructured":"Mercury, 1997. WinRunner User's Guide, Version 4.0, Mercury Interactive Corporation"},{"key":"10.1016\/S0164-1212(01)00149-2_BIB10","series-title":"Software Reliability Engineering: More Reliable Software, Faster Development and Testing","author":"Musa","year":"1999"},{"key":"10.1016\/S0164-1212(01)00149-2_BIB11","article-title":"Software reliability engineered testing, crosstalk","author":"Musa","year":"1996","journal-title":"J. Defense Software Eng"},{"key":"10.1016\/S0164-1212(01)00149-2_BIB12","article-title":"Software reliability engineering testing","author":"Musa","year":"1997","journal-title":"J. Software Quality Assurance Inst"},{"key":"10.1016\/S0164-1212(01)00149-2_BIB13","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1016\/0026-2714(78)91139-3","article-title":"Estimating software reliability from test data","volume":"17","author":"Nelson","year":"1978","journal-title":"Microelectron. Reliab."},{"key":"10.1016\/S0164-1212(01)00149-2_BIB14","article-title":"Cleanroom Software Engineering Technology and Process","author":"Prowell","year":"1999"},{"key":"10.1016\/S0164-1212(01)00149-2_BIB15","series-title":"Visual Modeling with Rational Rose and UML","author":"Quatrani","year":"2000"},{"key":"10.1016\/S0164-1212(01)00149-2_BIB16","unstructured":"Royce, W.W., 1987. Managing the development of large software systems: concepts and techniques. In: Proceedings of Wescon, August, Computer Society Press (also available in Proceedings of ICSE9)"},{"key":"10.1016\/S0164-1212(01)00149-2_BIB17","unstructured":"Software Engineering Institute, 1995. The Capability Maturity Model: Guidelines for Improving the Software Process. SEI Series in Software Engineering. Addison-Wesley, Reading, MA"}],"container-title":["Journal of Systems and Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0164121201001492?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0164121201001492?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T23:57:40Z","timestamp":1556841460000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0164121201001492"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,4]]},"references-count":17,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2002,4]]}},"alternative-id":["S0164121201001492"],"URL":"https:\/\/doi.org\/10.1016\/s0164-1212(01)00149-2","relation":{},"ISSN":["0164-1212"],"issn-type":[{"value":"0164-1212","type":"print"}],"subject":[],"published":{"date-parts":[[2002,4]]}}}