{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,1]],"date-time":"2023-10-01T04:24:38Z","timestamp":1696134278015},"reference-count":10,"publisher":"Wiley","issue":"1","license":[{"start":{"date-parts":[[2006,10,27]],"date-time":"2006-10-27T00:00:00Z","timestamp":1161907200000},"content-version":"vor","delay-in-days":9065,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Pract Exp"],"published-print":{"date-parts":[[1982,1]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>This paper proposes some improvements to the archaic methodologies currently used for checkout of real\u2010time software. The emphasis is placed on removing errors from the computer program source code in the host computer environment, and deferring target computer checkout until those errors have been largely removed. Specific tools and techniques to make this possible are described. This improvement is seen to be risk\u2010free and to reduce cost. It is, however, controversial.<\/jats:p>","DOI":"10.1002\/spe.4380120108","type":"journal-article","created":{"date-parts":[[2006,11,17]],"date-time":"2006-11-17T12:19:20Z","timestamp":1163765960000},"page":"77-83","source":"Crossref","is-referenced-by-count":3,"title":["Real\u2010time checkout: The \u2018source error first\u2019 approach"],"prefix":"10.1002","volume":"12","author":[{"given":"Robert L.","family":"Glass","sequence":"first","affiliation":[]}],"member":"311","published-online":{"date-parts":[[2006,10,27]]},"reference":[{"key":"e_1_2_1_2_2","doi-asserted-by":"crossref","unstructured":"R. L.Glass \u2018Real\u2010time: The \u201cLost World\u201d of software debugging and testing\u2019 Communications of the ACMMay (1980).","DOI":"10.1145\/358855.358857"},{"key":"e_1_2_1_3_2","doi-asserted-by":"crossref","unstructured":"R. L.Glass \u2018A benefit analysis of some software reliability methodologies\u2019 ACM Software Engineering Notes April (1980).","DOI":"10.1145\/1010792.1010797"},{"key":"e_1_2_1_4_2","doi-asserted-by":"crossref","unstructured":"L. G.StuckiandG. L.Foshee \u2018New assertion concepts for self metric validation\u2019 Proceedings of the 1975 IEEE International Conference on Reliable Software.","DOI":"10.1145\/800027.808425"},{"key":"e_1_2_1_5_2","doi-asserted-by":"crossref","unstructured":"J. C.Huang \u2018An Approach to program testing\u2019 ACM Computing Surveys Sept. (1975).","DOI":"10.1145\/356651.356652"},{"key":"e_1_2_1_6_2","unstructured":"\u2018Special issue on fault\u2010tolerant software\u2019 ACM Computing Suroeys Dec. (1976)."},{"key":"e_1_2_1_7_2","unstructured":"Structured Programming Series 1975 15"},{"key":"e_1_2_1_8_2","unstructured":"Reference Manual for the Ada Programming Language U.S. Department of Defense July1980."},{"key":"e_1_2_1_9_2","volume-title":"Requirements for the Ada Programming Support Environment\u2010\u2018Stoneman\u2019","year":"1980"},{"key":"e_1_2_1_10_2","doi-asserted-by":"crossref","unstructured":"C. F.GillandM. T.Holden \u2018On the evolution of an adaptive support software system\u2019 Computers in Aerospace Conference 1977.","DOI":"10.2514\/6.1977-1420"},{"key":"e_1_2_1_11_2","unstructured":"W. H.Vandever \u2018The DAIS executive: An introduction\u2019 Proceedings of NAECON 1978."}],"container-title":["Software: Practice and Experience"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fspe.4380120108","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/spe.4380120108","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,30]],"date-time":"2023-09-30T04:13:44Z","timestamp":1696047224000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/spe.4380120108"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1982,1]]},"references-count":10,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1982,1]]}},"alternative-id":["10.1002\/spe.4380120108"],"URL":"https:\/\/doi.org\/10.1002\/spe.4380120108","archive":["Portico"],"relation":{},"ISSN":["0038-0644","1097-024X"],"issn-type":[{"value":"0038-0644","type":"print"},{"value":"1097-024X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1982,1]]}}}