{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T06:18:24Z","timestamp":1725689904485},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540583134"},{"type":"electronic","value":"9783642511363"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/978-3-642-51136-3_3","type":"book-chapter","created":{"date-parts":[[2012,6,27]],"date-time":"2012-06-27T09:05:32Z","timestamp":1340787932000},"page":"19-26","source":"Crossref","is-referenced-by-count":1,"title":["Graphical Support for Prototyping of Algebraic Specifications"],"prefix":"10.1007","author":[{"given":"Roswitha","family":"Bardohl","sequence":"first","affiliation":[]},{"given":"Ingo","family":"Cla\u00dfen","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","volume-title":"Konzept und Implementierung der Sprache GOT zur graphischen Visualisierung von Termen algebraischer Spezifikationen, Institut f\u00fcr Software und Theoretische Informatik, Forschungsgruppe Formale Spezifikationen","author":"R Bardohl","year":"1993","unstructured":"R.Bardohl, Konzept und Implementierung der Sprache GOT zur graphischen Visualisierung von Termen algebraischer Spezifikationen, Institut f\u00fcr Software und Theoretische Informatik, Forschungsgruppe Formale Spezifikationen, Technische Universit\u00e4t Berlin, Diplomarbeit, 1993"},{"key":"3_CR2","first-page":"390","volume-title":"The Project PROgram development by SPECification and TRAnsformation, Project Ref. No","author":"H Bertling","year":"1986","unstructured":"H.Bertling, and H.Ganzinger, Paraphrasing in the PROSPECTRA System, University of Dortmund, in: the Project PROgram development by SPECification and TRAnsformation, Project Ref. No. 390, 1986"},{"doi-asserted-by":"crossref","unstructured":"M.Bidoit and C.Choppy, ASSPEGIQUE: An integrated environment for alge-braic specification,in: TAPSOFT\u201985, LNCS 186, pages 246\u2013260, Springer, 1985","key":"3_CR3","DOI":"10.1007\/3-540-15199-0_16"},{"key":"3_CR4","volume-title":"Algebraic Specification, Frontier Series, ACM Press","author":"JA Bergstra","year":"1989","unstructured":"J.A.Bergstra, J.Heering, and P.Klint, Algebraic Specification, Frontier Series, ACM Press, Addison\u2014Wesley, New York, 1989"},{"doi-asserted-by":"crossref","unstructured":"I.Cla\u00dfen, H.Ehrig, and D.Wolz, Algebraic Specification Techniques and Tools for Software Development \u2014 The ACT Approach, vol. 1 of AMAST Series in Computing, World Scientific Publishing, 1993 26","key":"3_CR5","DOI":"10.1142\/9789814440813_0001"},{"key":"3_CR6","volume-title":"Anforderungen an das Visualisierungssystem daVinci, Universit\u00e4t Bremen, Fachbereich Mathematik & Informatik, Arbeitsgruppe Prof. Krieg\u2014Bruckner","author":"M Fr\u00f3hlich","year":"1993","unstructured":"M.Fr\u00f3hlich, and M.Werner, Anforderungen an das Visualisierungssystem da\u2019Vinci, Universit\u00e4t Bremen, Fachbereich Mathematik & Informatik, Arbeitsgruppe Prof. Krieg\u2014Bruckner, Interner Report, M\u00e4rz 1993"},{"key":"3_CR7","first-page":"209","volume-title":"Proc. 2nd Int. Supercomputing Conf., Vol I","author":"JA Goguen","year":"1987","unstructured":"J.A. Goguen, Graphical Programming by generic example, in: Steven Kartashev and Svetlana Kartashev, eds.; Proc. 2nd Int. Supercomputing Conf., Vol I, pp 209\u2013216, Int. Supercomputing Inst., Inc. ( St.Petersburg, FL ), 1987"},{"key":"3_CR8","volume-title":"Technical Report SRI\u2014CSL88\u20139, SRI, August","author":"JA Goguen","year":"1988","unstructured":"J.A. Goguen and T.Winkler, Introducing OBJ3, Technical Report SRI\u2014CSL88\u20139, SRI, August 1988"},{"key":"3_CR9","volume-title":"PIC \u2014 A Language for Typesetting Graphics, Bell Laboratories, New Jersey 07974, in: SIGPLAN Symposium on text manipulation","author":"BW Kernighan","year":"1981","unstructured":"B.W.Kernighan, PIC \u2014 A Language for Typesetting Graphics, Bell Laboratories, New Jersey 07974, in: SIGPLAN Symposium on text manipulation, Portland, Oregon, 1981"},{"key":"3_CR10","volume-title":"Typesetting Mathematics, Tables and Diagrams","author":"BW Kernighan","year":"1982","unstructured":"B.W.Kernighan, Typesetting Mathematics, Tables and Diagrams, Bell Laboratories, Murray Hill, 1982"},{"unstructured":"C.Rieckhoff, Eine Theorie zur graphischen Visualisierung algebraischer Spezifikationen,Dissertation D83 am Fachbereich 20 der Technischen Universit\u00e4t Berlin, 1993","key":"3_CR11"}],"container-title":["Informatik aktuell","Innovationen bei Rechen- und Kommunikationssystemen"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-51136-3_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T15:48:36Z","timestamp":1620143316000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-51136-3_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540583134","9783642511363"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-51136-3_3","relation":{},"ISSN":["1431-472X"],"issn-type":[{"type":"print","value":"1431-472X"}],"subject":[],"published":{"date-parts":[[1994]]}}}