{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T18:04:27Z","timestamp":1725732267441},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540138617"},{"type":"electronic","value":"9783662074916"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1984]]},"DOI":"10.1007\/978-3-662-07491-6_26","type":"book-chapter","created":{"date-parts":[[2013,6,19]],"date-time":"2013-06-19T12:36:46Z","timestamp":1371645406000},"page":"407-418","source":"Crossref","is-referenced-by-count":0,"title":["Problemanalyse und -spezifikation mit formalen Modellen am Beispiel eines Betriebsleitsystems f\u00fcr den \u00f6ffentlichen Nahverkehr (BON)"],"prefix":"10.1007","author":[{"given":"Walter","family":"Sonnenberg","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"26_CR1","volume-title":"Projekt BON: Systemkonzept \u00dcSTRA","author":"W Sonnenberg","year":"1981","unstructured":"Sonnenberg, Walter & Witte, Hans W. Projekt BON: Systemkonzept \u00dcSTRA, Hannoversche Verkehrsbetriebe AG, 1981"},{"key":"26_CR2","volume-title":"Projekt BON: Grobkonzept der zentralen Software \u00dcSTRA","author":"W Sonnenberg","year":"1981","unstructured":"Sonnenberg, Walter: Projekt BON: Grobkonzept der zentralen Software \u00dcSTRA, Hannoversche Verkehrsbetriebe AG, 1981"},{"key":"26_CR3","volume-title":"Das Betriebsleitsystem BON 6 Aufs\u00e4tze in Nahverkehr Hefte 1+2","author":"H Felz","year":"1984","unstructured":"Felz, Herbert und andere Das Betriebsleitsystem BON 6 Aufs\u00e4tze in Nahverkehr Hefte 1+2 1984"},{"key":"26_CR4","volume-title":"Programming in PROLOG","author":"WF Clocksin","year":"1981","unstructured":"Clocksin, William F. & Mellish, Christopher S.: Programming in PROLOG. Springer Verlag 1981"},{"key":"26_CR5","volume-title":"Kausale Operatoren Univ. Karlsruhe, Inst Informatik I","author":"P Deussen","year":"1973","unstructured":"Deussen, Peter: Kausale Operatoren Univ. Karlsruhe, Inst Informatik I, Int. Bericht 15\u20131973"},{"key":"26_CR6","volume-title":"Grundz\u00fcge der theoretischen Logik","author":"Hilbert","year":"1956","unstructured":"Hilbert & Ackermann: Grundz\u00fcge der theoretischen Logik, Springer Verlag 1928, 5.Aufl. 1956","edition":"5"},{"key":"26_CR7","unstructured":"IF-PROLOG Interface AG, M\u00fcnchen 1983"},{"key":"26_CR8","volume-title":"Stepwise Construction of Non-Sequential Software Systems using a Net-Based Specification Language GMD Birlinghoven","author":"B Kr\u00e4mer","year":"1983","unstructured":"Kr\u00e4mer, Bernd: Stepwise Construction of Non-Sequential Software Systems using a Net-Based Specification Language GMD Birlinghoven 1983, Arbeitspapier #68"},{"key":"26_CR9","volume-title":"Eine Methode zur Spezifikation und korrekten Implementierung von asynchronen Systemen","author":"S Keramidis","year":"1982","unstructured":"Keramidis, Sawwas: Eine Methode zur Spezifikation und korrekten Implementierung von asynchronen Systemen, Univ Erlangen IMMD Arbeitsberichte 15\u20134, 1982"},{"key":"26_CR10","volume-title":"Method and Notation for the Formal Definition of Programming Languages IBM Labor Wien","author":"P Lucas","year":"1968","unstructured":"Lucas, P. & Lauer, P. & Stigleitner, H. Method and Notation for the Formal Definition of Programming Languages IBM Labor Wien 1968, TR 25.087"},{"key":"26_CR11","doi-asserted-by":"publisher","first-page":"330","DOI":"10.1145\/355602.361309","volume":"15\u20135","author":"DL Parnas","year":"1972","unstructured":"Parnas, David L. A Technique for Software Module Specification with Examples, CACM 15\u20135, 1972, pp 330\u2013336","journal-title":"CACM"},{"key":"26_CR12","doi-asserted-by":"crossref","unstructured":"Schmidt, A.: \u00dcber deduktive Theorien mit mehreren Sorten von Grunddingen, Math. Ann. 115, 1938","DOI":"10.1007\/BF01448954"},{"key":"26_CR13","series-title":"Arbeitspapier Nr.83","volume-title":"Some Algebraic Concepts of a Petri-Net-Based Specification Language and their Initial Semantics","author":"HW Schmidt","year":"1983","unstructured":"Schmidt Heinz W.& Kreowski Hans-J\u00f6rg Some Algebraic Concepts of a Petri-Net-Based Specification Language and their Initial Semantics. GMD Birlinghoven 1983, Arbeitspapier Nr.83"},{"key":"26_CR14","first-page":"173","volume-title":"PROLOG als Spezifikations- und Modellierungswerkzeug","author":"P Schnupp","year":"1983","unstructured":"Schnupp, Peter: PROLOG als Spezifikations- und Modellierungswerkzeug. Springer Verlag, IFB 74, 1983 pp 173\u2013182"},{"key":"26_CR15","series-title":"Univ. Karlsruhe, Inst, Informatik I int.Bericht 34","volume-title":"A Many-Sorted Calculus Based on Resolution and Paramodulation","author":"C Walther","year":"1982","unstructured":"Walther, Christoph: A Many-Sorted Calculus Based on Resolution and Paramodulation, Univ. Karlsruhe, Inst, Informatik I int.Bericht 34, 1982"},{"key":"26_CR16","doi-asserted-by":"crossref","unstructured":"Wegner, Peter: The Vienna Definition Language ACM Comp Surveys 4\u20131 (3, 72) pp 5\u201363","DOI":"10.1145\/356596.356598"}],"container-title":["Informatik-Fachberichte","GI \u2014 14. Jahrestagung"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-07491-6_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T08:48:23Z","timestamp":1557823703000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-07491-6_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984]]},"ISBN":["9783540138617","9783662074916"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-07491-6_26","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1984]]}}}