{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T13:47:45Z","timestamp":1725630465578},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540133483"},{"type":"electronic","value":"9783642696985"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1984]]},"DOI":"10.1007\/978-3-642-69698-5_9","type":"book-chapter","created":{"date-parts":[[2011,11,7]],"date-time":"2011-11-07T01:48:36Z","timestamp":1320630516000},"page":"101-112","source":"Crossref","is-referenced-by-count":1,"title":["CADAS: A Tool for Designing Reliable Embedded Software and Supporting Testing \u201cin the Large\u201d"],"prefix":"10.1007","author":[{"given":"M. A. J.","family":"Burford","sequence":"first","affiliation":[]},{"given":"F.","family":"Belli","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","volume-title":"The ADA Programming Language","author":"IC Pyle","year":"1981","unstructured":"Pyle I.C., \u201cThe ADA Programming Language\u201d, Prentice Hall, Englewood Cliffs, NJ (1981)"},{"key":"9_CR2","first-page":"66","volume-title":"A Strategy for the Development of Communication Fault Tolerant Systems by means of Regular Expressions, Proc. of 13th Int. Symp","author":"F Belli","year":"1983","unstructured":"Belli F., Gro\u00dfpietsch K.E., \u201cA Strategy for the Development of Communication Fault Tolerant Systems by means of Regular Expressions\u201d, Proc. of 13th Int. Symp. on Fault Tolerant Computing, IEEE Comp. Society (1983),pp. 66\u201373"},{"key":"9_CR3","first-page":"188","volume-title":"Reasoning About Programs with Exceptions, Proc. of 13th Int. Symp","author":"F Cristian","year":"1983","unstructured":"Cristian F., \u201cReasoning About Programs with Exceptions\u201d, Proc. of 13th Int. Symp. on Fault Tolerant Computing, IEEE Computer Society (1983), pp. 188\u2013195"},{"key":"9_CR4","volume-title":"Software Engineering Terminology","author":"IEEE Computer Society Draft","year":"1977","unstructured":"IEEE Computer Society Draft, \u201cSoftware Engineering Terminology\u201d (Aug. 1977 )"},{"key":"9_CR5","unstructured":"Dunn R., Ullman R., \u201cQuality Assurance for Computer Software\u201d, McGraw-Hill(82)"},{"key":"9_CR6","first-page":"156","volume-title":"Toward a Theory of Test Data Selection","author":"JB Goodenough","year":"1975","unstructured":"Goodenough J.B., Gerhart S., \u201cToward a Theory of Test Data Selection\u201d, IEEE Trans. on SW Engineering (June 1975), pp. 156\u2013173"},{"issue":"3","key":"9_CR7","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1145\/356778.356783","volume":"II","author":"SN Mohanty","year":"1979","unstructured":"Mohanty S.N., \u201cModels and Measurements for Quality Assessment of Software\u201d. ACM Computing Surveys, Vol. II, No. 3 (Sept. 1979) pp. 251\u2013275","journal-title":"ACM Computing Surveys"},{"key":"9_CR8","first-page":"11","volume-title":"Techniques in Software Quality Assurance, Proc. of German Chapter of ACM Conf. on Software Quality Assurance","author":"CV Ramamoorthy","year":"1982","unstructured":"Ramamoorthy C.V., \u201cTechniques in Software Quality Assurance\u201d, Proc. of German Chapter of ACM Conf. on Software Quality Assurance, Teubner Verlag, Stuttgart (March 1982), pp. 11\u201334"},{"volume-title":"Computer Program Testing","year":"1981","key":"9_CR9","unstructured":"Chandrasekaran B., Radicchi S. (eds.), \u201cComputer Program Testing\u201d, North Holland Publishing Co., Amsterdam etc. (1981)"},{"key":"9_CR10","first-page":"87","volume-title":"A Software Quality Assurance Experiment, GRC Rep. Proc","author":"JP Benson","year":"1978","unstructured":"Benson J. P., Sahib P.H., \u201cA Software Quality Assurance Experiment\u201d, GRC Rep. Proc. of ACM SIGMETRICS\/SIGSOFT Workshop on Software Quality and Assurance, San Diego (1978), pp. 87\u201391"},{"key":"9_CR11","volume-title":"The Art of Software Testing","author":"GT Myers","year":"1979","unstructured":"Myers G.T., \u201cThe Art of Software Testing\u201d, John Wiley and Sons, NJ (1979)"},{"key":"9_CR12","volume-title":"Quantitative SW Models","author":"DACS, Rome Air Development Center","year":"1979","unstructured":"DACS, Rome Air Development Center, \u201cQuantitative SW Models\u201d (1979)"},{"key":"9_CR13","first-page":"341","volume-title":"The Structure of the THE Multiprogramming System","author":"EW Dijkstra","year":"1968","unstructured":"Dijkstra E.W., \u201cThe Structure of the \u2018THE\u2019 Multiprogramming System\u201d, CACM Vol. II, (May 1968) pp. 341\u2013346"},{"key":"9_CR14","first-page":"293","volume-title":"Theoretical and Empirical Studies of Programm Testing","author":"WE Bowden","year":"1968","unstructured":"Bowden W.E., \u201cTheoretical and Empirical Studies of Programm Testing\u201d, IEEE Trans. on SW Engineering (July 1978), pp. 293\u2013298"},{"key":"9_CR15","volume-title":"State of the Art Report SW Testing","author":"Infotech","year":"1979","unstructured":"Infotech, \u201cState of the Art Report SW Testing\u201d (1979)"},{"key":"9_CR16","volume-title":"Fault Tolerance, Principles and Practice","author":"T Anderson","year":"1981","unstructured":"Anderson T., Lee P.A., \u201cFault Tolerance, Principles and Practice\u201d, Prentice\/ Hall International 1981"},{"key":"9_CR17","volume-title":"Working Papers from the ACM SIGSOFT Rapid Prototyping Workshop","author":"Special Issue on Rapid Prototyping","year":"1982","unstructured":"Special Issue on Rapid Prototyping, Working Papers from the ACM SIGSOFT Rapid Prototyping Workshop, Columbia, Maryland (1982)"},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"Ramamoorthy C.V., \u201cTesting Large Software with Automated Software Evaluation Systems\u201d, IEEE Trans. on SW Engineering (March 1975), pp. 46\u201358","DOI":"10.1109\/TSE.1975.6312819"},{"key":"9_CR19","first-page":"75","volume-title":"The Emperor\u2019s New Clothes","author":"CAR Hoare","year":"1981","unstructured":"Hoare C.A.R. \u201cThe Emperor\u2019s New Clothes\u201d, CACM (Feb. 1981), pp. 75\u201383"},{"key":"9_CR20","volume-title":"Programming in ADA","author":"JGP Barnes","year":"1982","unstructured":"Barnes J.G.P., \u201cProgramming in ADA\u201d, Addison-Wesley Reading, Massachusetts (1982)"},{"key":"9_CR21","volume-title":"Testing and Test Documentation","author":"E Miller","year":"1979","unstructured":"Miller E. \u201cTesting and Test Documentation\u201d ( Workshop Report ), IEE Computer (March 1979)"},{"key":"9_CR22","first-page":"58","volume-title":"Automated Generation of Test Case Data Sets, Proc","author":"EF Miller","year":"1975","unstructured":"Miller E.F. et al., \u201cAutomated Generation of Test Case Data Sets\u201d, Proc. of the Int. Conf. on Reliable SW (1975), pp. 58\u201385"},{"key":"9_CR23","unstructured":"Biewald J., et al.- \u201cEPOS - A Specification and Design Technique for Computer Controlled Real-Time Automation Systems\u201d, Proceedings of the 4th International Conference on Software Engineering, Munich (West Germany) (1979), pp.245\u2013250"},{"key":"9_CR24","volume-title":"Stoneman: Requirements for ADA Programming Support Environments","author":"U.S. Department of Defence","year":"1980","unstructured":"U.S. Department of Defence, \u201cStoneman: Requirements for ADA Programming Support Environments\u201d (Feb. 1980)"},{"key":"9_CR25","unstructured":"Belli F., \u201eEine interaktive Methode zur Bestimmung und Sicherung der Zuver- l\u00e4ssigkeit von Softwareprodukten durch Tests\u201d. DGLR Bericht 83\u201302, Test und Verifikation von Software bei digitalen Systemen der Luft-und Raumfahrt pp. 77\u201399."}],"container-title":["Informatik-Fachberichte","Fehlertolerierende Rechensysteme"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-69698-5_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,19]],"date-time":"2019-06-19T00:38:11Z","timestamp":1560904691000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-69698-5_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984]]},"ISBN":["9783540133483","9783642696985"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-69698-5_9","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1984]]}}}