{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T12:13:34Z","timestamp":1725624814248},"publisher-location":"Berlin, Heidelberg","reference-count":28,"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_12","type":"book-chapter","created":{"date-parts":[[2011,10,25]],"date-time":"2011-10-25T05:11:37Z","timestamp":1319519497000},"page":"160-174","source":"Crossref","is-referenced-by-count":0,"title":["Qulait\u00e4tssicherung f\u00fcr Fehlertolerante Software-Systeme"],"prefix":"10.1007","author":[{"given":"H. L.","family":"Hausen","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","volume-title":"M\u00fcnchen","author":"E Abel","year":"1981","unstructured":"E. Abel; E. Harra\u00df; H.J. Schoenen; A. Schwald Einsatz von Methoden der Software-Produktion in der Bundesrepublik Deutschland (GMD-Studie: Untersuchung \u00fcber Malinahmen zur Verbesserung der Software-Produktion) Oldenbourg, M\u00fcnchen, 1981"},{"key":"12_CR2","unstructured":"B.W. Boehm Software Engineering: R amp; D Trends and Defense Needs in [Wegn79]"},{"key":"12_CR3","unstructured":"R. Budde; P. Schnupp; A. Schwald Theoretische Ans\u00e4tze auf dem Gebiet der Software-Technologie (GMD-Studie: Untersuchung \u00fcber Ma\u00dfnahmen zur Verbesserung der Software-Produktion) Oldenbourg, M\u00fcnchen, 1981"},{"key":"12_CR4","unstructured":"J.L. Darlington The Role of Verification Methods in Software Production working paper, GMD-IST, INVENT"},{"key":"12_CR5","volume-title":"CACM 22, No.5 (May 1979) responses in CACM 22","author":"RA DeMillo","year":"1979","unstructured":"R. A. DeMillo; R.J. Lipton; A.J. Perlis Social Processes and Proofs of Theorems and Programs in: CACM 22, No.5 (May 1979) responses in CACM 22, No.11 (Nov.1979)"},{"key":"12_CR6","unstructured":"M.S. Fujii Indepentdent Verification of Highly Reliable Programs in: [Mi 1178a]"},{"key":"12_CR7","volume-title":"Lund","author":"T Gilb","year":"1976","unstructured":"T. Gilb Software Metrics Student I iteratur, Lund (1976)"},{"key":"12_CR8","unstructured":"J.B. Goodenough A Survey of Program Testing Issues in: [Wegn79]"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"D. Gries An Illustration of Current Ideas on the Derivation of Correct Programms in: IEEE Trans, on S.E., SE-2 (1976)","DOI":"10.1109\/TSE.1976.233828"},{"key":"12_CR10","volume-title":"M. M\u00fcllerburg Conspectus of Software Engineering Environments in: Proc. 5th Int. Conf. on Software Engineering","author":"H-L Hausen","year":"1981","unstructured":"H.-L. Hausen; M. M\u00fcllerburg Conspectus of Software Engineering Environments in: Proc. 5th Int. Conf. on Software Engineering, San Diego, March 1981, IEEE"},{"key":"12_CR11","volume-title":"Informatik-Fachberichte Nr","author":"H-L Hausen","year":"1981","unstructured":"H.-L. Hausen; M. M\u00fcllerburg Software-Produktions-Umgebungen: Entwicklungsstand und Trends in: Werkzeuge der Programmiertechnik, G. Goos (ed.), Informatik-Fachberichte Nr. 43, Springer-Verlag, M\u00e4rz 1981"},{"key":"12_CR12","volume-title":"Januar","author":"H-L Hausen","year":"1982","unstructured":"H.-L. Hausen; M. M\u00fcLlerburg Qualit\u00e4ts-Sicherung und -Kontrolle gleich Inspektion plus Test plus Verifikation in: Softwaretechnik-Trends, 6. Bockhorn (Hrsg.) Mitteilungen der GI-Fachgruppe\u2018Software-Engineering\u2019 Heft 4, Januar 1982"},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"W.E. Howden Methodology for the Generation of Program Test Data in: IEEE Trans, on Comp., C-24 (May 1975)","DOI":"10.1109\/T-C.1975.224259"},{"key":"12_CR14","unstructured":"W.E. Howden Introduction to Software Validation in: [Mi1178a]"},{"key":"12_CR15","doi-asserted-by":"crossref","unstructured":"W.E. Howden Theoretical and Empirical Studies of Program Testing in: IEEE Trans, on Software Engineering, SE-4 (July 1978)","DOI":"10.1109\/TSE.1978.231514"},{"key":"12_CR16","unstructured":"W.E. Howden Functional Testing and Design Abstraction in: The Journal of Systems and Software 1 (1980) pp.307\u2013313"},{"key":"12_CR17","volume-title":"P. Freeman A Comparison of Lifecycle Models in: 5th. Int. Conf. on Software Engineering","author":"P Kerola","year":"1981","unstructured":"P. Kerola; P. Freeman A Comparison of Lifecycle Models in: 5th. Int. Conf. on Software Engineering, San Diego, March 1981, IEEE"},{"key":"12_CR18","unstructured":"W. Konrad Fault-Tolerant Aspects of Distributed Compueter Systems Interner Bericht 33\/80 Universit\u00e4t Kaiserslautern, Fachbereich Informatik"},{"key":"12_CR19","unstructured":"H.Kopetz Softwaresuverl\u00e4ssigkeit Carl Hanser Verlag, M\u00fcnchen Wien 1976"},{"key":"12_CR20","volume-title":"Howden Tutorial: Software Testing amp; Validation IEEE Catalog No.EHO 138\u20138","author":"E Miller","year":"1978","unstructured":"E. Miller; W.E. Howden Tutorial: Software Testing amp; Validation IEEE Catalog No.EHO 138\u20138, 1978"},{"key":"12_CR21","unstructured":"E. Miller Introduction to Software Testing Technology in: [Mi1178a]"},{"key":"12_CR22","unstructured":"B. Randell System Structure for Software Fault Tolerance University of Newcastle upon Tyne Computing Laboratory, Technical Report Series, No. 75"},{"key":"12_CR23","volume-title":"Vol.3","author":"Software Engineering Notes","year":"1978","unstructured":"Software Engineering Notes, Vol.3, No. 5 ( Nov. 1978 ) Proc of the Software Quality and Assurance Workshop"},{"key":"12_CR24","volume-title":"Vol.5","author":"Software Engineering Notes","year":"1980","unstructured":"Software Engineering Notes, Vol.5, No. 3 ( July 1980 ) Contribution from the VERkshop on Formal Verification"},{"key":"12_CR25","volume-title":"Vol.6","author":"Software Engineering Notes","year":"1981","unstructured":"Software Engineering Notes, Vol.6, No. 3 ( July 1981 ) Contribution from the VERkshop II"},{"key":"12_CR26","unstructured":"Sogesta Summer School on Computer Program Testing 29 June\u20133 July, 1981, Urbino, Italy"},{"key":"12_CR27","volume-title":"K\u00f6ln-Braunsfeld","author":"H Sneed","year":"1980","unstructured":"H. Sneed Software-Entwicklungsmethodik Verlagsgesellschaft Rudolf M\u00fcllerGmbH, K\u00f6ln-Braunsfeld 1980"},{"key":"12_CR28","unstructured":"P. Wegner (ed.) Research Directions in Software Technology MIT press, Cambridge, Mass., London (1979)"}],"container-title":["Informatik-Fachberichte","Fehlertolerierende Rechnersysteme"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-68356-5_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T17:28:24Z","timestamp":1606238904000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-68356-5_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1982]]},"ISBN":["9783540112099","9783642683565"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-68356-5_12","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1982]]}}}