{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T11:35:47Z","timestamp":1742988947745,"version":"3.40.3"},"publisher-location":"Wiesbaden","reference-count":16,"publisher":"Vieweg+Teubner Verlag","isbn-type":[{"type":"print","value":"9783519026853"},{"type":"electronic","value":"9783322867803"}],"license":[{"start":{"date-parts":[[1995,1,1]],"date-time":"1995-01-01T00:00:00Z","timestamp":788918400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1995,1,1]],"date-time":"1995-01-01T00:00:00Z","timestamp":788918400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/978-3-322-86780-3_2","type":"book-chapter","created":{"date-parts":[[2012,3,28]],"date-time":"2012-03-28T06:01:05Z","timestamp":1332914465000},"page":"11-21","source":"Crossref","is-referenced-by-count":0,"title":["Rechnergest\u00fctzte Programmentwicklung und -verifikation in der Lehre: Konzepte und Erfahrungen"],"prefix":"10.1007","author":[{"given":"Rudolf","family":"Berghammer","sequence":"first","affiliation":[]},{"given":"Bettina","family":"Buth","sequence":"additional","affiliation":[]},{"given":"Karl-Heinz","family":"Buth","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","first-page":"535","volume-title":"The RELVIEW-system","author":"R Berghammer","year":"1991","unstructured":"Berghammer R., Schmidt G.: The RELVIEW-system. Proc. STACS \u201991, LNCS 480, Springer, 535\u2013536 (1991)"},{"key":"2_CR2","first-page":"405","volume-title":"RELVIEW \u2014 A Computer system for the manipulation of relations","author":"R Berghammer","year":"1993","unstructured":"Berghammer R., Schmidt G.: RELVIEW \u2014 A Computer system for the manipulation of relations. Proc. 3rd AMAST, Workshops in Computing, Springer, 405\u2013406 (1993)"},{"unstructured":"Buth B., Berghammer R. (Hg.): Proc. Workshop \u201eProgrammsysteme f\u00fcr rechnergest\u00fctzte Programmentwicklung und -Verifikation\u201d (im Erscheinen)","key":"2_CR3"},{"key":"2_CR4","first-page":"112","volume-title":"PAMELA \u2014 Ein Ansatz zur computergest\u00fctzten Soft w\u00e4re Verifikation. \u201eSichere Software \u2014 Formale Spezifikation und Verifikation vertrauensw\u00fcrdiger System","author":"B Buth","year":"1990","unstructured":"Buth B., Buth K.-H., Langmaack H.: PAMELA \u2014 Ein Ansatz zur computergest\u00fctzten Soft w\u00e4re Verifikation. \u201eSichere Software \u2014 Formale Spezifikation und Verifikation vertrauensw\u00fcrdiger System\u201d Proc. einer Tagung der Zentralstelle f\u00fcr Sicherheit in der Informationstechnik, H\u00fcthig, 112\u2013130 (1990)"},{"key":"2_CR5","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1007\/978-1-4471-3501-2_11","volume-title":"An approach to automatic proof support for code generator verification. \u201eCode Generation \u2014 Concepts, Tools, Techniques","author":"B Buth","year":"1992","unstructured":"Buth B., Buth K.-H.: An approach to automatic proof support for code generator verification. \u201eCode Generation \u2014 Concepts, Tools, Techniques\u201d Proc. of the International Workshop on Code Generation, Workshops in Computing, Springer, 193\u2013209 (1992)"},{"unstructured":"Buth B.: PAMELA \u2014 A proof support system for VDM-like specifications. Dissertation, Technische Fakult\u00e4t, Christian-Albrechts-Universit\u00e4t Kiel (in Vorbereitung)","key":"2_CR6"},{"unstructured":"Fraus U.: Inductive theorem proving for algebraic specifications \u2014 TIP system user\u2019s manual. Bericht MIP 9401, Fakult\u00e4t f\u00fcr Mathematik und Informatik, Universit\u00e4t Passau (1994)","key":"2_CR7"},{"key":"2_CR8","first-page":"435","volume-title":"A narrowing-based theorem prover","author":"U Fraus","year":"1991","unstructured":"Fraus U., Hussmann H.: A narrowing-based theorem prover. Proc. 4th Internat. Conf. on Rewriting Techniques and Applications, LNCS 488, Springer, 435\u2013436 (1991)"},{"key":"2_CR9","first-page":"137","volume-title":"An overview of LP, the Larch Prover","author":"SJ Garland","year":"1989","unstructured":"Garland S.J., Guttag J.V.: An overview of LP, the Larch Prover. Proc. 3rd Internat. Conf. on Rewriting Techniques and Applications, LNCS 355, Springer, 137\u2013151 (1989)"},{"unstructured":"Garland S.J., Guttag J.V.: A guide to LP, the Larch Prover. SRC Report 82, Digital Systems Research Center (1991)","key":"2_CR10"},{"key":"2_CR11","first-page":"339","volume-title":"A specification interpreter combining term rewriting and resolution","author":"A Geser","year":"1986","unstructured":"Geser A., Hussmann EL: Experiences with ihe RAP specification interpreter \u2014 A specification interpreter combining term rewriting and resolution. Proc. 2nd ESOP, LNCS 213, Springer, 339\u2013350 (1986)"},{"unstructured":"Hartmanis J.: About the nature of Computer science. Kolloquiumsvortrag, Fachbereich Informatik, Universit\u00e4t Hamburg, 31. Januar 1994","key":"2_CR12"},{"key":"2_CR13","first-page":"407","volume-title":"Proc. 3rd AMAST, Workshops in Computing","author":"C Hattensperger","year":"1993","unstructured":"Hattensperger C., Berghammer R., Schmidt G.: RALF \u2014 A relation- algebraic formula manipulation and proof checker. Proc. 3rd AMAST, Workshops in Computing, Springer, 407\u2013408 (1993)"},{"key":"2_CR14","first-page":"117","volume-title":"RALF \u2014 Ein Formelmanipulationssystem und Beweispr\u00fcfer f\u00fcr Relationenalgebra","author":"C Hattensperger","year":"1993","unstructured":"Hattensperger C., Berghammer R.: RALF \u2014 Ein Formelmanipulationssystem und Beweispr\u00fcfer f\u00fcr Relationenalgebra. Proc. Koll. \u201eProgrammiersprachen und Grundlagen der Programmierung\u201d Bericht Nr. 9309, Fakult\u00e4t f\u00fcr Informatik, Universit\u00e4t der Bundeswehr M\u00fcnchen, 117\u2013123 (1993)"},{"key":"2_CR15","volume-title":"Bericht MIP 8504, Fakult\u00e4t f\u00fcr Mathematik und Informatik","author":"H Hussmann","year":"1985","unstructured":"Hussmann H.: Rapid prototyping for algebraic specifications \u2014 RAP system user\u2019s manual. Bericht MIP 8504, Fakult\u00e4t f\u00fcr Mathematik und Informatik, Universit\u00e4t Passau (1985)"},{"key":"2_CR16","volume-title":"IT-Evaluationshandbuch","author":"Zentralstelle f\u00fcr Sicherheit in der Informationstechnik","year":"1990","unstructured":"Zentralstelle f\u00fcr Sicherheit in der Informationstechnik (Hg.): IT-Evaluationshandbuch, Bundesanzeiger (1990)"}],"container-title":["Berichte des German Chapter of the ACM","Software Engineering im Unterricht der Hochschulen SEUH \u201995"],"original-title":[],"language":"de","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-322-86780-3_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,11]],"date-time":"2023-02-11T18:48:44Z","timestamp":1676141324000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-322-86780-3_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783519026853","9783322867803"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-322-86780-3_2","relation":{},"ISSN":["0724-9764"],"issn-type":[{"type":"print","value":"0724-9764"}],"subject":[],"published":{"date-parts":[[1995]]}}}