{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T17:14:17Z","timestamp":1725642857714},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540558606"},{"type":"electronic","value":"9783642777479"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/978-3-642-77747-9_12","type":"book-chapter","created":{"date-parts":[[2011,12,14]],"date-time":"2011-12-14T01:44:19Z","timestamp":1323827059000},"page":"130-142","source":"Crossref","is-referenced-by-count":0,"title":["Ein Vorschlag zum Testen strukturierter algebraischer Spezifikationen"],"prefix":"10.1007","author":[{"given":"Hans-J\u00f6rg","family":"Kreowski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","volume-title":"Software Testing Based on Formal Specifications: a Theory and a Tool","author":"G Bernot","year":"1990","unstructured":"G. Bernot, M.C. Gaudel, B. Marre: Software Testing Based on Formal Specifications: a Theory and a Tool, L. R. I. Research Report 581, Orsay 1990."},{"issue":"4","key":"12_CR2","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1016\/0164-1212(86)90004-X","volume":"6","author":"L Bouge","year":"1986","unstructured":"L. Bouge, N. Choquet, L. Fribourg, M. C. Gaudel: Test Sets Generation from Algebraic Specifications Using Logic Programming, Journal of Systems and Software 6, 4 (1986), 343\u2013360.","journal-title":"Journal of Systems and Software"},{"key":"12_CR3","first-page":"185","volume-title":"Formal Specifications, Prototyping and Integration Tests","author":"C Choppy","year":"1987","unstructured":"C. Choppy: Formal Specifications, Prototyping and Integration Tests, Proc. 1st ESEC, Stra\u00dfburg 1987, 185\u2013192."},{"key":"12_CR4","volume-title":"EATCS Monographs on Theoretical Computer Science","author":"H Ehrig","year":"1985","unstructured":"H. Ehrig, B. Mahr: Fundamentals of Algebraic Specification 1: Equations and Initial Semantics, EATCS Monographs on Theoretical Computer Science 6, Springer, Berlin-Heidelberg-New York-Tokyo 1985."},{"issue":"3","key":"12_CR5","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1145\/357139.357140","volume":"3","author":"J Gannon","year":"1981","unstructured":"J. Gannon, P. McMullin, R. Hamlet: Data Abstraction \u2014 Implementation, Specification, and Testing, ACM Transcations on Programming, Languages and Systems 3, 3 (1981), 211\u2013223.","journal-title":"Languages and Systems"},{"key":"12_CR6","volume-title":"Algebraic Specifications and Software Testing: Theory and Applications","author":"MC Gaudel","year":"1988","unstructured":"M. C. Gaudel, B. Marre: Algebraic Specifications and Software Testing: Theory and Applications, L. R. I. Research Report 407, Orsay 1988."},{"issue":"5","key":"12_CR7","doi-asserted-by":"publisher","first-page":"526","DOI":"10.1109\/32.24701","volume":"15","author":"P Jalote","year":"1989","unstructured":"P. Jalote: Testing the Completeness of Specifications, IEEE Transactions on Software Engineering 15, 5 (1989), 526\u2013531.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"12_CR8","volume-title":"Handbuch der Informatik 1.1","author":"H-J Kreowski","year":"1991","unstructured":"H.-J. Kreowski: Logische Grundlagen der Informatik, Handbuch der Informatik 1.1, Oldenbourg, M\u00fcnchen 1991."},{"key":"12_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0020-0190(90)90221-I","volume":"34","author":"M Kurihara","year":"1991","unstructured":"M. Kurihara, I. Kaji: Modular Term Rewriting Systems and the Termination, Information Processing Letters 34 (1991), 1\u20134.","journal-title":"Information Processing Letters"},{"key":"12_CR10","volume-title":"Modular Properties of Term Rewriting Systems","author":"A Middeldorp","year":"1990","unstructured":"A. Middeldorp: Modular Properties of Term Rewriting Systems, Ph. D. thesis, Vrije Universiteit Amsterdam, 1990."},{"key":"12_CR11","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1145\/120807.120818","volume":"4","author":"S Sankar","year":"1991","unstructured":"S. Sankar: Run-Time Consistency Checking of Algebraic Specifications, TAV 4 (1991), 123\u2013129.","journal-title":"TAV"}],"container-title":["Informatik aktuell","Testen, Analysieren und Verifizieren von Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-77747-9_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,26]],"date-time":"2020-11-26T12:52:14Z","timestamp":1606395134000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-77747-9_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540558606","9783642777479"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-77747-9_12","relation":{},"ISSN":["1431-472X"],"issn-type":[{"type":"print","value":"1431-472X"}],"subject":[],"published":{"date-parts":[[1992]]}}}