{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T12:13:30Z","timestamp":1725624810372},"publisher-location":"Berlin, Heidelberg","reference-count":36,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540112099"},{"type":"electronic","value":"9783642683565"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1982]]},"DOI":"10.1007\/978-3-642-68356-5_13","type":"book-chapter","created":{"date-parts":[[2011,10,25]],"date-time":"2011-10-25T09:11:37Z","timestamp":1319533897000},"page":"175-188","source":"Crossref","is-referenced-by-count":0,"title":["Eine Strategie f\u00fcr Entwurf und Spezifikation von Software im Hinblick auf Fehlertoleranz"],"prefix":"10.1007","author":[{"given":"Fevzi","family":"Belli","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","unstructured":"Avizienis,A., \u201cToward a Discipline of Reliable Confuting\u201d, EURO IFIP 79,pp. 701\u2013705"},{"key":"13_CR2","unstructured":"Bauer,J.A., Finger,A.B., \u201cTest Plan Generation Using Formal Grammars\u201d, Proc. 4th International Conf. of Softw. Eng. (1979), pp. 425\u2013432"},{"key":"13_CR3","volume-title":"Oldenburg M\u00fcnchen etc","author":"F Belli","year":"1979","unstructured":"Belli,F., \u201cErweiterung regul\u00e4rer Sprachen zur automatischen Erkennung und Korrektur von syntaktischen Fehlern\u201d, Oldenburg M\u00fcnchen etc. (1979)"},{"key":"13_CR4","unstructured":"Belli,F., \u201cKritik an Entwurfsverfahren im Hinblick auf Qualit\u00e4tsanforderungen\u201d, Proc. German Ch. ACM \u201cSoftw. Eng.-Entw. u. Spez.\u201d, Teubner Stuttgart (1981),pp. 354\u2013356"},{"issue":"2","key":"13_CR5","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1002\/spe.4380110205","volume":"11","author":"JP Black","year":"1981","unstructured":"Black,J.P.. et al., \u201cA Case Study in Fault Tolerant Software\u201d, Softw. Pract. Exper. 11, 2 (1981), pp. 145\u2013157","journal-title":"Softw. Pract. Exper."},{"key":"13_CR6","first-page":"127","volume-title":"Recovery und Zuverl\u00e4ssigkeit von Software Proc","author":"R Budde","year":"1981","unstructured":"Budde.R.. \u201cRecovery und Zuverl\u00e4ssigkeit von Software\u201d Proc. German Ch. ACM \u201cWorkshop on Reliable Softw\u201dTeubner Stuttgart (1981),pp. 127\u2013136"},{"issue":"3","key":"13_CR7","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1109\/TSE.1978.231496","volume":"4","author":"TS Chow","year":"1978","unstructured":"Chow.T.S., \u201cTesting Software Design Modelled by Finite-State Machines\u201d, IEEE Trans, on Softw. Eng. 4, 3 (1978), pp. 178\u2013187","journal-title":"IEEE Trans, on Softw. Eng."},{"key":"13_CR8","unstructured":"Christian,F.. \u201cException Handling and Software-Fault Tolerance\u201d, Proc. 10th Fault-Tolerant Comp. (1980), pp. 97\u2013103"},{"key":"13_CR9","volume-title":"TU Berlin","author":"B Egger","year":"1971","unstructured":"Eggers,B., \u201cZur Theorie und Praxis Selbstkorrigierender Regul\u00e4rer Sprachen\u201d, TU Berlin (1971)"},{"key":"13_CR10","unstructured":"Eggers,B., \u201cError.Reporting, Error Treatment and Error Correction in ALGOL, Part II\u201d, Lect. Notes in Econ. and Math. Syst. 78, Springer Berlin etc. (1973), pp. 188\u2013195"},{"key":"13_CR11","unstructured":"EG3] Eggers,B., Private Kommunikation (1981)"},{"issue":"2","key":"13_CR12","doi-asserted-by":"crossref","first-page":"140","DOI":"10.1109\/TSE.1975.6312834","volume":"1","author":"A Endress","year":"1975","unstructured":"Endress,A., \u201cAn Analysis of Errors and Their Causes in System Programs\u201d, IEEE Trans, on Softw. Eng. 1, 2 (1975), pp. 140\u2013149","journal-title":"IEEE Trans, on Softw. Eng."},{"key":"13_CR13","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1007\/3-540-07389-2_201","volume":"32","author":"H Genrih","year":"1975","unstructured":"Genrich,H., \u201cExtended Simple Regular Expressions\u201d, Lect. Notes in Comp. Sei. 32, (1975), pp. 231\u2013237","journal-title":"Lect. Notes in Comp. Sei"},{"key":"13_CR14","volume-title":"McGraw-Hill New York etc","author":"A Gill","year":"1962","unstructured":"Gill,A., \u201cIntroduction to the Theory of Finite-State Machines\u201d, McGraw-Hill New York etc. (1962)"},{"issue":"2","key":"13_CR15","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1109\/TSE.1975.6312838","volume":"1","author":"JD Ganno","year":"1975","unstructured":"Gannon,J.D., Horning,J.J., \u201cLanguage Design for Programming Reliability\u201d, IEEE Trans, on Softw. Eng. 1, 2 (1975), pp. 179\u2013191","journal-title":"IEEE Trans, on Softw. Eng."},{"issue":"5","key":"13_CR16","doi-asserted-by":"publisher","first-page":"390","DOI":"10.1109\/TSE.1978.233859","volume":"4","author":"TF Gannon","year":"1978","unstructured":"Gannon,T.F., Shapiro,S.D., \u201cAn Optimal Approach to Fault Tolerant Software Systems Design\u201d, IEEE Trans, on Softw. Eng. 4, 5 (1978), pp. 390\u2013409","journal-title":"IEEE Trans, on Softw. Eng."},{"issue":"12","key":"13_CR17","doi-asserted-by":"publisher","first-page":"683","DOI":"10.1145\/361227.361230","volume":"18","author":"JB Goodenough","year":"1975","unstructured":"Goodenough,J.B., \u201cException Handling: Issues and a Proposed Notation\u201d, Comm. ACM 18, 12 (1975), pp. 683\u2013696","journal-title":"Comm. ACM"},{"key":"13_CR18","first-page":"52","volume-title":"Practical Syntactic Error Recovery in Compilers, Proc. ACM Sympos. on Principles of Progr","author":"SL Graham","year":"1973","unstructured":"Graham,S.L., Rhodes,S.P., \u201cPractical Syntactic Error Recovery in Compilers\u201d, Proc. ACM \u201cSympos. on Principles of Progr. Lang.\u201d, Boston (1973), pp. 52\u201358"},{"key":"13_CR19","first-page":"221","volume-title":"Finite State Modelling in Program Development, Proc. ACM International Conf","author":"P Henderson","year":"1975","unstructured":"Henderson,P., \u201cFinite State Modelling in Program Development\u201d, Proc. ACM \u201cInternational Conf. on Reliable Software\u201d, SIGPLAN Notices (1975), pp. 221\u2013227"},{"key":"13_CR20","unstructured":"Horejs,J., \u201cFinite Semantics for Program Testing\u201d, Proc. 4th International Conf. on Softw. Eng. (1979), pp. 433\u2013440"},{"issue":"3","key":"13_CR21","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1002\/spe.4380090304","volume":"9","author":"JW Hughes","year":"1979","unstructured":"Hughes,J.W., \u201cA Formalization and Explication of the M. Jackson Method of Program Design\u201d, Softw. Pract. Exper. 9, 3 (1979), pp. 191\u2013202","journal-title":"Softw. Pract. Exper."},{"key":"13_CR22","unstructured":"Kleene,S.C., \u201cRepresantation of Events in Nerve Nets\u201d, in \u201cAutomata Studies\u201d, eds. Shannon,C.E., McCarthy,J., Princeton Univ. Press, Princeton N.J. (1956), pp. 3\u201343"},{"issue":"11","key":"13_CR23","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1145\/359970.359991","volume":"19","author":"C Litecky","year":"1976","unstructured":"Litecky,C., Davis,B., \u201cA Study of Errors, Error Proneness, and Error Diagnosis in Cobol\u201d, Comm. ACM 19, 11 (1976), pp. 33\u201337","journal-title":"Comm. ACM"},{"issue":"7","key":"13_CR24","first-page":"2","volume":"2","author":"C M\u00f6bus","year":"1981","unstructured":"M\u00f6bus,C., \u201cEine Bibliographie:Psychologische Aspekte der Software-Herstellung\u201d, Notizen zum Interaktiven Programmieren-(Gesellsch. f. Inform., FA 2 ) 7 (1981), pp. 2\u20137","journal-title":"Inform., FA"},{"key":"13_CR25","doi-asserted-by":"crossref","unstructured":"Parnas,D.L., \u201cOn the Use of Transition Diagrams in the Design of User Interface for an Interactive Computer System\u201d, Proc. 24th ACM National Conf. (1969), pp. 379\u2013305","DOI":"10.1145\/800195.805945"},{"issue":"12","key":"13_CR26","doi-asserted-by":"publisher","first-page":"676","DOI":"10.1145\/359038.359041","volume":"23","author":"JL Peterson","year":"1980","unstructured":"Peterson,J.L., \u201cComputer Programs for Detecting and Correcting Spelling Errors\u201d, Comm. ACM 23, 12 (1980), pp. 676\u2013687","journal-title":"Comm. ACM"},{"key":"13_CR27","first-page":"813","volume-title":"A Hierarchical Graph Model of the Semantics of Programs","author":"TW Pratt","year":"1969","unstructured":"Pratt,T.W., \u201cA Hierarchical Graph Model of the Semantics of Programs\u201d, Proc. AFIPS Summer Joint Conf. (1969) pp. 813\u2013825"},{"issue":"2","key":"13_CR28","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1145\/356725.356729","volume":"10","author":"B Randell","year":"1978","unstructured":"Randell,B. et al., \u201cReliability Issues in Computing System Design\u201d, Comp. Surveys (ACM) 10, 2 (1978), pp. 123\u2013165","journal-title":"Comp. Surveys (ACM)"},{"key":"13_CR29","volume-title":"SRM]97, Comp. Lab. Univ. of New Castle, UK","author":"WE Riddle","year":"1974","unstructured":"Riddle,W.E., \u201cThe Equivalence of Petri Nets and Message Transmission Models\u201d, SRM]97, Comp. Lab. Univ. of New Castle, UK (1974)"},{"key":"13_CR30","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/0096-0551(79)90008-0","volume":"4","author":"WE Riddle","year":"1979","unstructured":"Riddle,W.E., \u201cAn Approach to Software System Behavior Description\u201d, Comp. Lang., 4 (1979), pp. 29\u201347","journal-title":"Comp. Lang."},{"key":"13_CR31","volume-title":"Theory of Automata","author":"A Salomaa","year":"1969","unstructured":"Salomaa,A., \u201cTheory of Automata\u201d, Pergamon Press, London etc. (1969)"},{"key":"13_CR32","volume-title":"Academic Press New York etc","author":"A Salomaa","year":"1973","unstructured":"Salomaa,A., \u201cFormal Languages\u201d, Academic Press New York etc. (1973)"},{"key":"13_CR33","unstructured":"Salter,K.G., \u201cA Methodology for Decomposing Systems Requirements into Data Processing Requirements\u201d, Proc. 2nd International Conf. of Softw. Eng. (1976), pp. 91\u2013101"},{"key":"13_CR34","doi-asserted-by":"crossref","unstructured":"Shaw,A.C., \u201cSoftware Specification Languages Based on Regular Expressions\u201d, in \u201cSoftware Development Tools\u201d eds. Riddle,W.E., Fairley,R.E., Springer Berlin etc. (1980), pp. 148\u2013176","DOI":"10.1007\/978-3-642-46430-0_10"},{"key":"13_CR35","volume-title":"Winthrop Publishers Cambridge","author":"B Shneiderman","year":"1980","unstructured":"Shneiderman,B., \u201cSoftware Psychology\u201d, Winthrop Publishers Cambridge (1980)"},{"key":"13_CR36","volume-title":"Van Nostrand Reinhold New York","author":"GM Weinberg","year":"1971","unstructured":"Weinberg,G.M., \u201cThe Psychology of Computer Programming\u201d, Van Nostrand Reinhold New York (1971)"}],"container-title":["Informatik-Fachberichte","Fehlertolerierende Rechnersysteme"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-68356-5_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T22:28:25Z","timestamp":1606256905000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-68356-5_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1982]]},"ISBN":["9783540112099","9783642683565"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-68356-5_13","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1982]]}}}