{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:17:27Z","timestamp":1725664647476},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540588221"},{"type":"electronic","value":"9783540491101"}],"license":[{"start":{"date-parts":[[1994,1,1]],"date-time":"1994-01-01T00:00:00Z","timestamp":757382400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58822-1_90","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:50:01Z","timestamp":1330275001000},"page":"76-89","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Testing Ada abstract data types using formal specifications"],"prefix":"10.1007","author":[{"given":"St\u00e9phane","family":"Barbey","sequence":"first","affiliation":[]},{"given":"Didier","family":"Buchs","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"8_CR1","unstructured":"St\u00e9phane Barbey and Alfred Strohmeier. The problematics of testing object-oriented software. In M. Ross, C.A. Brebbia, G. Staples, and J. Stapleton, editors, SQM '94 Second Conference on Software Quality Management, volume 2, pages 411\u2013426, Edinburgh, Scotland, UK, July 26\u201328 1994."},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Gilles Bernot. Testing against formal specifications: A theoritical view. In TAP-SOFT '91, number 494 in Lecture Notes in Computer Sciences. Springer Verlag, April 1991.","DOI":"10.1007\/3540539816_63"},{"issue":"6","key":"8_CR3","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1049\/sej.1991.0040","volume":"6","author":"G. Bernot","year":"1991","unstructured":"Gilles Bernot, Marie-Claude Gaudel, and Bruno Marre. Software testing based on formal specifications: a theory and a tool. IEE Software Engineering Journal, 6(6):387\u2013405, November 1991.","journal-title":"IEE Software Engineering Journal"},{"key":"8_CR4","unstructured":"Didier Buchs, Jacques Flumet, and Pascal Racloz. SANDS: Structured algebraic net development system. In Buy Ugo, editor, 14th International Conference on Application and Theory of Petri Nets, Tool presentation abstracts, pages 25\u201329. Chicago, USA, June 1993."},{"key":"8_CR5","unstructured":"Didier Buchs and Nicolas Guelfi. A concurrent object-oriented Petri nets approach for system specification. In M. Silva, editor, 12th International Conference on Application and Theory of Petri Nets, pages 432\u2013454, Aahrus, Denmark, June 1991."},{"key":"8_CR6","first-page":"229","volume-title":"Journal of Systems and Software, 21(3)","author":"P. Dauchy","year":"1993","unstructured":"Pierre Dauchy, Marie-Claude Gaudel, and Bruno Marre. Using algebraic specifications in software testing: A case study on the software of an automatic subway. Journal of Systems and Software, 21(3):229\u2013244, June 1993. North Holland, Elsevier Science Publishing Company."},{"key":"8_CR7","unstructured":"Hartmut Ehrig and Bernd Mahr. Fundamentals of algebraic specification 1: equations and initial semantics. EATCS Monographs on Theoritical Computer Science. Springer-Verlag, March 1985."},{"issue":"2","key":"8_CR8","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1145\/66031.66034","volume":"9","author":"C. Genillard","year":"1989","unstructured":"Claude Genillard, Norbert Ebel, and Alfred Strohmeier. Rationale for the design of reusable abstract data types implented in Ada. ACM Ada Letters, 9(2):62\u201371, March 1989.","journal-title":"ACM Ada Letters"},{"issue":"1","key":"8_CR9","first-page":"27","volume":"14","author":"J. Liddiard","year":"1993","unstructured":"J. Liddiard. Achieving testability when using Ada packaging and data hiding methods. Ada User, 14(1):27\u201332, March 1993.","journal-title":"Ada User"},{"key":"8_CR10","volume-title":"PhD thesis","author":"B. Marre","year":"1991","unstructured":"Bruno Marre. S\u00e9lection automatique de jeux de tests \u00e0 partir de sp\u00e9cifications alg\u00e9briques en utilisant la programmation logique. PhD thesis, LRI, Universit\u00e9 de Paris XI, Orsay, France, January 1991."},{"key":"8_CR11","unstructured":"Bertrand Meyer. Reusable Software: the base object-oriented component library. The Object-Oriented Series. Prentice-Hall, 1994."},{"key":"8_CR12","unstructured":"I. Spence and C. Meudec. Generation of software tests from specifications. In M. Ross, C.A. Brebbia, G. Staples, and J. Stapleton, editors, SQM '94 Second Conference on Software Quality Management, volume 2, pages 517\u2013530, Edinburgh, Scotland, UK, July 26\u201328 1994."},{"key":"8_CR13","unstructured":"Alfred Strohmeier, editor. Ada Software Components. EPFL, 2nd edition, 1992."},{"key":"8_CR14","unstructured":"Alfred Strohmeier. Use of a software component library in student projects. In A. Finkelstein and B. Nuseibeh, editors, ACM\/IEEE International Workshop on Software Education (ICSE), pages 319\u2013326, Sorrento, Italia, 1994."},{"key":"8_CR15","unstructured":"Elaine J. Weyuker. The oracle assumption of program testing. In 13th International Conference on System Sciences, pages 44\u201349, Hawaii, USA, 1980."}],"container-title":["Lecture Notes in Computer Science","Ada in Europe"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58822-1_90","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T12:09:00Z","timestamp":1558267740000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58822-1_90"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540588221","9783540491101"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-58822-1_90","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]},"assertion":[{"value":"8 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}