{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T13:37:49Z","timestamp":1725629869037},"publisher-location":"Berlin, Heidelberg","reference-count":59,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540133834"},{"type":"electronic","value":"9783642697050"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1984]]},"DOI":"10.1007\/978-3-642-69705-0_23","type":"book-chapter","created":{"date-parts":[[2011,11,5]],"date-time":"2011-11-05T03:54:52Z","timestamp":1320465292000},"page":"253-267","source":"Crossref","is-referenced-by-count":0,"title":["Ein B\u00fcndel heuristischer Methoden zur kostenoptimalen Bestimmung und Sicherung von Software-Zuverl\u00e4ssigkeit"],"prefix":"10.1007","author":[{"given":"F.","family":"Belli","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"23_CR1","first-page":"6","volume-title":"Digest of Papers 12th Internat\u2019l Fault-Tolerant Comp. Symposium","author":"A Avizienis","year":"1982","unstructured":"Avizienis, A., \u201cThe Four-Universe Information System Model for the Study of Fault-Tolerance\u201d, Digest of Papers 12th Internat\u2019l Fault-Tolerant Comp. Symposium, Internat\u2019l. Comp. Press (IEEE), New York (1982), pp. 6\u201313"},{"key":"23_CR2","first-page":"297","volume-title":"Proc. of IFIP Internat\u2019l. Comp. Conf","author":"B Bhargard","year":"1981","unstructured":"Bhargard, B., \u201cSoftware Reliability in Real-Time Systems\u201d, Proc. of IFIP Internat\u2019l. Comp. Conf. (1981), pp. 297\u2013315"},{"key":"23_CR3","first-page":"354","volume-title":"Tagungsband German Chapter of ACM \u201cSoftware-Engineering: Entwurf und Spezifikation\u201d","author":"F Belli","year":"1981","unstructured":"Belli, F., \u201cKritik an Entwurfsverfahren im Hinblick auf Qualit\u00e4tsanforderungen\u201d, Tagungsband German Chapter of ACM \u201cSoftware-Engineering: Entwurf und Spezifikation\u201d, Teubner Verlag, Stuttgart (1981) pp. 354\u2013356"},{"key":"23_CR4","first-page":"66","volume-title":"Digest of Papers 13th Internat\u2019l. Fault-Tolerant Comp. Symposium","author":"F Belli","year":"1983","unstructured":"Belli, F., Gro\u00dfpietsch, K.-E., \u201cA Strategy for the Development of Communication Fault-Tolerant Systems\u201d, Digest of Papers 13th Internat\u2019l. Fault-Tolerant Comp. Symposium, Internat\u2019l. Comp. Press (IEEE), New York (1983), pp. 66\u201373"},{"key":"23_CR5","first-page":"87","volume-title":"Proc. of ACM SIGMETRICS\/SIGSOFT Workshop on Software Quality and Assurance","author":"JP Benson","year":"1978","unstructured":"Benson J.P. et al, \u201cA Software Quality Assurance Experiment\u201d, Proc. of ACM SIGMETRICS\/SIGSOFT Workshop on Software Quality and Assurance, San Diego (1978) pp. 87\u201391"},{"key":"23_CR6","volume-title":"Characteristics of Software Quality","author":"BW Boehm","year":"1978","unstructured":"Boehm, B.W. et al., \u201cCharacteristics of Software Quality\u201d, North Holland (1978)"},{"key":"23_CR7","volume-title":"The Correctness Problem in Computer Science","author":"RS Boyer","year":"1981","unstructured":"Boyer, R.S., Strother-Moore, J. (eds.), \u201cThe Correctness Problem in Computer Science\u201d, Academic Press London, New York etc. (1981)"},{"key":"23_CR8","doi-asserted-by":"publisher","first-page":"328","DOI":"10.1093\/comjnl\/22.4.328","volume":"22\/4","author":"PIP Boulton","year":"1979","unstructured":"Boulton, P.I.P., Kittler, M.A.R., \u201cEstimating Program Reliability\u201d, The Computer Journal, 22\/4 (1979), pp. 328\u2013331","journal-title":"The Computer Journal"},{"key":"23_CR9","volume-title":"The Design of a Prototype Mutation System for Program Testing","author":"T Budd","year":"1978","unstructured":"Budd, T., DeMillo, R., Lipton, R., Sayward, F., \u201cThe Design of a Prototype Mutation System for Program Testing\u201d, Proc. ACM National Comp. Conf. (1978)"},{"key":"23_CR10","volume-title":"CADAS: A Tool for Rapid Prototyping and Testing of Embedded Software","author":"MAJ Burford","year":"1983","unstructured":"Burford M.A.J., Belli, F., \u201cCADAS: A Tool for Rapid Prototyping and Testing of Embedded Software\u201d, Proc. of IEEE\/ACM SIGSOFT Symposium on Application and Assessment of Automated Tools for Software Development, IEEE Computer Society Press (1983)"},{"volume-title":"Computer Program Testing","year":"1981","key":"23_CR11","unstructured":"Chandrasekaran B., Radicchi S. (eds.), \u201cComputer Program Testing\u201d, North Holland, Amsterdam etc. (1981)"},{"key":"23_CR12","unstructured":"Computer, IEEE, Special Issue on Software-Testing (April 1978)"},{"key":"23_CR13","volume-title":"Software Quality Management","author":"JD Cooper","year":"1978","unstructured":"Cooper, J.D., Fisher, M.J. (Eds.), \u201cSoftware Quality Management\u201d, Petrocelli Books (1978)"},{"key":"23_CR14","volume-title":"The DACS Glossary - A Bibliography of Software Engineering Terms","author":"DACS\/Rome Air Development Center","year":"1979","unstructured":"DACS\/Rome Air Development Center, \u201cThe DACS Glossary - A Bibliography of Software Engineering Terms\u201d (1979)"},{"key":"23_CR15","volume-title":"Quantitative Software Models","author":"DACS\/Rome Air Development Center","year":"1979","unstructured":"DACS\/Rome Air Development Center, \u201cQuantitative Software Models\u201d (1979)"},{"key":"23_CR16","volume-title":"Software Verification an Validation - Realistic Project Approaches","author":"MS Deutsch","year":"1982","unstructured":"Deutsch, M.S., \u201cSoftware Verification an Validation - Realistic Project Approaches\u201d, Prentice Hall Englewood Cliffs, NJ (1982)"},{"key":"23_CR17","volume-title":"Structured Programming","author":"EW Dijkstra","year":"1972","unstructured":"Dijkstra, E.W., \u201cNotes on Structured Programming\u201d, in \u201cStructured Programming\u201d, Dahl, O.J. et al. (eds.), Academic Press, London etc. (1972)"},{"key":"23_CR18","unstructured":"Dijkstra, E.W., \u201cWhy Correctness Must be a Mathematical Concern\u201d, in \/BOYE\/"},{"key":"23_CR19","unstructured":"DIN 40041, 40042, \u201cZuverl\u00e4ssigkeit...; Begriffe\/Kenngr\u00f6\u00dfen\u201d"},{"key":"23_CR20","unstructured":"DIN 55350, \u201cBegriffe der Qualit\u00e4tssicherung\u201d"},{"key":"23_CR21","unstructured":"Ehrenberger, W.D., \u201cSystematische und statistische Verfahren zur Gewinnung von Zuverl\u00e4ssigkeitskenngr\u00f6\u00dfen f\u00fcr Programme\u201d, in \/VDI\/, pp. 71\u201377"},{"key":"23_CR22","first-page":"35","volume-title":"Proc. IFAC Comp. Appl. to Proc. Control","author":"WD Ehrenberger","year":"1981","unstructured":"Ehrenberger, W.D., \u201cAspects of Development and Verification of Reliable Process Computer Software\u201d, Proc. IFAC Comp. Appl. to Proc. Control (1981), pp. 35\u201348"},{"key":"23_CR23","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1147\/sj.153.0182","volume":"15","author":"ME Fagan","year":"1976","unstructured":"Fagan, M.E., \u201cDesign and Code Inspections to Reduce Errors in Program Development\u201d, IBM System Journal 15 (1976), pp. 182\u2013211","journal-title":"IBM System Journal"},{"key":"23_CR24","first-page":"350","volume-title":"IEEE Computer","author":"RE Fairley","year":"1978","unstructured":"Fairley R.E., \u201cTutorial: Static Analysis and Dynamic Testing of Computer Software\u201d, IEEE Computer (April 1978), pp. 350\u2013357"},{"key":"23_CR25","volume-title":"Software Metrics","author":"T Gilb","year":"1977","unstructured":"Gilb, T., \u201cSoftware Metrics\u201d, Winthrop (1977)"},{"key":"23_CR26","volume-title":"Software Reliability Guidebook","author":"RL Glass","year":"1979","unstructured":"Glass, R.L., \u201cSoftware Reliability Guidebook\u201d, Prentice Hall (1979)"},{"key":"23_CR27","first-page":"156","volume-title":"IEEE Trans, on Software Engineering","author":"JB Goodenough","year":"1975","unstructured":"Goodenough, J.B., Gerhart, S.L., \u201cToward a Theory of Test Data Selection\u201d, IEEE Trans, on Software Engineering (June 1975), pp. 156\u2013173"},{"key":"23_CR28","first-page":"238","volume-title":"IEEE Trans. on Software Engineering","author":"D Gries","year":"1976","unstructured":"Gries, D., \u201cAn Illustration of Current Ideas on the Derivation of Correction Proofs and Correct Programs\u201d, IEEE Trans. on Software Engineering, (dwc. 1976), pp. 238\u2013244"},{"key":"23_CR29","volume-title":"Elements of Software Science","author":"M Halstead","year":"1977","unstructured":"Halstead, M., \u201cElements of Software Science\u201d, Elsevier (1977)"},{"key":"23_CR30","first-page":"279","volume-title":"IEEE Trans. on Software Engineering","author":"RG Hamlet","year":"1977","unstructured":"Hamlet, R.G., \u201cTesting Programs with the Aid of a Compiler\u201d, IEEE Trans. on Software Engineering, (July 1977), pp. 279\u2013290"},{"key":"23_CR31","volume-title":"Program Test Methods","author":"WC Hetzel","year":"1973","unstructured":"Hetzel, W.C., \u201cProgram Test Methods\u201d, Prentice Hall (1973)"},{"key":"23_CR32","first-page":"293","volume-title":"IEEE Trans. on Software Engineering","author":"WE Howden","year":"1978","unstructured":"Howden, W.E., \u201cTheoretical and Empirical Studies of Program Testing\u201d, IEEE Trans. on Software Engineering (July 1978), pp. 293\u2013298"},{"key":"23_CR33","volume-title":"Trans. on Software Engineering, Special Issue on Software-Testing","author":"IEEE","year":"1976","unstructured":"IEEE, Trans. on Software Engineering, Special Issue on Software-Testing (Sept. 1976)"},{"key":"23_CR34","volume-title":"Trans. on Software-Engineering, Special Collection on Program Testing","author":"IEEE","year":"1980","unstructured":"IEEE, Trans. on Software-Engineering, Special Collection on Program Testing (May 1980)"},{"key":"23_CR35","volume-title":"State of the Arts Report Software Reliability","author":"INFOTECH","year":"1977","unstructured":"INFOTECH, \u201cState of the Arts Report Software Reliability\u201d (1977)"},{"key":"23_CR36","volume-title":"State of the Arts Report Software Testing","author":"INFOTECH","year":"1979","unstructured":"INFOTECH, \u201cState of the Arts Report Software Testing\u201d (1979)"},{"volume-title":"Reliability Handbook","year":"1966","key":"23_CR37","unstructured":"Ireson, W.G. (Ed.).\u201cReliability Handbook\u201d, McGraw Hill (1966)"},{"key":"23_CR38","first-page":"385","volume-title":"Symbolic Execution and Program Testing","author":"JC King","year":"1976","unstructured":"King, J.C., \u201cSymbolic Execution and Program Testing\u201d, CACM (July 1976), pp. 385\u2013394"},{"key":"23_CR39","volume-title":"The Art of Computer Programming","author":"DE Knuth","year":"1973","unstructured":"Knuth, D.E., \u201cThe Art of Computer Programming\u201d, geplant: Vol. I bis VII, AddisonWesley Publishing Co., Reading, Mass. (1973 etc.)"},{"key":"23_CR40","first-page":"103","volume-title":"IEEE Trans. on Reliability","author":"B Littlewood","year":"1979","unstructured":"Littlewood, B., \u201cHow to Measure Software Reliabilty and How Not to\u201d, IEEE Trans. on Reliability (June 1979), pp. 103\u2013110"},{"key":"23_CR41","unstructured":"Microelectronics and Reliability, Vol. 19 (1979), Special Issue on Reliability, Pergamon Press"},{"key":"23_CR42","unstructured":"MIL-STD-1679 (U.S. DoD\/Navy), \u201cMilitary Standard System Software Development\u201d (Dec. 1978)"},{"key":"23_CR43","unstructured":"\u039cIL-STD-721 C (U.S. DoD), \u201cDefinitions and Terms for Reliability and Maintainability\u201d (12 June 1981)"},{"key":"23_CR44","volume-title":"IEEE Computer","author":"E Miller","year":"1979","unstructured":"Miller, E., \u201cTesting and Test Documentation (Workshop Report)\u201d, IEEE Computer (March 1979)"},{"key":"23_CR45","first-page":"52","volume-title":"Proc. of the Internat\u2019l. Conference on Reliable Software","author":"EF Miller","year":"1975","unstructured":"Miller, E.F. et al, \u201cAutomated Generation of Testcase Data sets\u201d, Proc. of the Internat\u2019l. Conference on Reliable Software (1975), pp. 52\u201358"},{"key":"23_CR46","volume-title":"On the Statistical Validation of Computer Programs","author":"HD Mills","year":"1972","unstructured":"Mills, H.D., \u201cOn the Statistical Validation of Computer Programs\u201d, FSC-72\u20136015, IBM Federal Systems Dev., Gaithersburg, Md. (1972)"},{"key":"23_CR47","volume-title":"Software Reliability, Principles & Practices","author":"GJ Myers","year":"1976","unstructured":"Myers, G.J., \u201cSoftware Reliability, Principles & Practices\u201d, J. Wileys, New York (1976)"},{"key":"23_CR48","volume-title":"Composite\/Structured Design","author":"GJ Myers","year":"1978","unstructured":"Myers, G.J., \u201cComposite\/Structured Design\u201d, Van Nostrand Reinhold, New York (1978)"},{"key":"23_CR49","volume-title":"The Art of Software Testing","author":"GJ Myers","year":"1979","unstructured":"Myers, G.J., \u201cThe Art of Software Testing\u201d Wiley-Interscience, New York (1979)"},{"key":"23_CR50","volume-title":"Proc. of Symposium on Computer Software Engineering","author":"RJ Peterson","year":"1976","unstructured":"Peterson, R.J., \u201cTESTER\/1: An Abstract Mgdel for the Automatic Synthesis of Program Test Case Specification\u201d, in Proc. of Symposium on Computer Software Engineering, Polytechnic Inst. of New York (1976)"},{"key":"23_CR51","unstructured":"PDV-Bericht-Nr. 179, \u201cTesten und Verifizieren von Proze\u00dfrechner-Software\u201d, KfK-PDV (Kernforschungszentrum Karlsruhe) (Dez. 1979)"},{"key":"23_CR52","unstructured":"Proc. of Annual Symposiums of \u201cFault Tolerance Computing\u201d since 1970 by IEEE & IFIP"},{"key":"23_CR53","first-page":"46","volume-title":"IEEE Trans. on Software Engineering","author":"CV Ramamoorthy","year":"1975","unstructured":"Ramamoorthy, C.V. \u201cTesting Large Software with Automated Software Evaluation Systems\u201d, IEEE Trans. on Software Engineering (March 1975) pp. 46\u201358"},{"key":"23_CR54","first-page":"11","volume-title":"Tagungsband German Chapter of ACM \u201cSoftware-Qualit\u00e4tssicherung","author":"CV Ramamoorthy","year":"1982","unstructured":"Ramamoorthy, C.V., \u201cTechniques in Software Quality Assurance\u201d, Tagungsband German Chapter of ACM \u201cSoftware-Qualit\u00e4tssicherung, Teubner Verlag, Stuttgart (March 1982) pp. 11\u201334"},{"key":"23_CR55","first-page":"198","volume-title":"Formal Language Description Languages for Computer Programming","author":"C Strachey","year":"1966","unstructured":"Strachey, C., \u201cTowards a Formal Semantics\u201d, in \u201cFormal Language Description Languages for Computer Programming\u201d, Steel, T.B. (ed.), North Holland (1966), pp. 198\u2013220"},{"key":"23_CR56","unstructured":"VDI-Bericht Nr. 307, \u201cZuverl\u00e4ssigkeit und Qualit\u00e4t in der Luft- und Raumfahrt\u201d (1978)"},{"key":"23_CR57","first-page":"286","volume-title":"IEEE Trans. on Software Engineering","author":"U Voges","year":"1980","unstructured":"Voges U. et al, \u201cSADAT - An Automated Testing Tool\u201d, IEEE Trans. on Software Engineering (May 1980), pp. 286\u2013290"},{"volume-title":"\u201cResearch Directions in Software Technology\u201d, insbes. Kap. \u201cProgram Verification\u201d","year":"1979","key":"23_CR58","unstructured":"Wegner, P. (ed.), \u201cResearch Directions in Software Technology\u201d, insbes. Kap. \u201cProgram Verification\u201d, The MIT Press, Cambridge, Mass. etc. (1979)"},{"key":"23_CR59","volume-title":"Handbuch der Qualit\u00e4ts-Sicherung","author":"P Weigel","year":"1980","unstructured":"Weigel, P. \u201cQualit\u00e4ts-Sicherung von EDV Software\u201d, (in Handbuch der Qualit\u00e4ts-Sicherung, Masing, W. (Herausgeber), Carl-Hanser-Verlag (1980)"}],"container-title":["Informatik-Fachberichte","Software-Fehlertoleranz und -Zuverl\u00e4ssigkeit"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-69705-0_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T22:52:53Z","timestamp":1606258373000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-69705-0_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984]]},"ISBN":["9783540133834","9783642697050"],"references-count":59,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-69705-0_23","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1984]]}}}