{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T12:19:23Z","timestamp":1725625163743},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540107255"},{"type":"electronic","value":"9783642680649"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1981]]},"DOI":"10.1007\/978-3-642-68064-9_6","type":"book-chapter","created":{"date-parts":[[2011,10,25]],"date-time":"2011-10-25T13:05:20Z","timestamp":1319547920000},"page":"101-112","source":"Crossref","is-referenced-by-count":3,"title":["ESPRESO-W, ein Werkzeug f\u00fcr die Spezifikation von Proze\u00dfrechner-Software"],"prefix":"10.1007","author":[{"given":"Klaus","family":"Eckert","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jochen","family":"Ludewig","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"publisher","first-page":"1226","DOI":"10.1109\/TC.1976.1674590","volume":"C-25","author":"BW Boehm","year":"1976","unstructured":"Boehm, B.W. (1976): Software engineering. IEEE Trans. Comp., C-25, S. 1226\u20131241.","journal-title":"IEEE Trans. Comp"},{"key":"6_CR2","volume-title":"Implementierung eines Spezifikationssystems f\u00fcr Proze\u00dfrechner-Software","author":"K Eckert","year":"1980","unstructured":"Eckert, K. (1980): Implementierung eines Spezifikationssystems f\u00fcr Proze\u00dfrechner-Software. Diplomarbeit, Universit\u00e4t Karlsruhe."},{"key":"6_CR3","volume-title":"Academic Press","author":"M Jackson","year":"1975","unstructured":"Jackson, M. (1975): Principles of program design. Academic Press, London, New York."},{"key":"6_CR4","volume-title":"Users Guide \u2014 Release 2 \u2014 State University of New York at Stony Brook","author":"RB Kieburtz","year":"1979","unstructured":"Kieburtz, R.B., W. Barabash, C.R. Hill (1979): Stony Brook Pascal\/360, User\u2019s Guide \u2014 Release 2 \u2014 State University of New York at Stony Brook."},{"key":"6_CR5","volume-title":"Acta Informatica, 1","author":"DE Knuth","year":"1991","unstructured":"Knuth, D.E. (1971): Top-down syntax analysis. Acta Informatica, 1."},{"key":"6_CR6","volume-title":"\u00dcberblick und Vergleich verschiedener Mittel f\u00fcr die Spezifikation und den Entwurf von Software","author":"J Ludewig","year":"1978","unstructured":"Ludewig, J., W. Streng (1978):\u00dcberblick und Vergleich verschiedener Mittel f\u00fcr die Spezifikation und den Entwurf von Software. KfK 2506"},{"key":"6_CR7","volume-title":"PCSL \u2014 a process control software specification system","author":"J Ludewig","year":"1980","unstructured":"Ludewig, J. (1980): PCSL \u2014 a process control software specification system. KfK 2874."},{"key":"6_CR8","volume-title":"Zur Erstellung der Spezifikation von Proze\u00fcrechnersoftware. Dissertation, TU M\u00fcnchen; erscheint ebenfalls als KfK 3060","author":"J Ludewig","year":"1981a","unstructured":"Ludewig, J. (1981a): Zur Erstellung der Spezifikation von Proze\u00fcrechnersoftware. Dissertation, TU M\u00fcnchen; erscheint ebenfalls als KfK 3060."},{"key":"6_CR9","volume-title":"GI Fachtagung Proze\u00dfrechner (in Vorbereitung)","author":"J Ludewig","year":"1981b","unstructured":"Ludewig, J. (1981b): PCSL und ESPRESO \u2014 zwei Ans\u00e4tze zur Formalisierung der Proze\u00dfrechner-Softwarespezifikation. in R. Baumann ( Hrsg. ); GI Fachtagung Proze\u00dfrechner (in Vorbereitung)."},{"issue":"5","key":"6_CR10","doi-asserted-by":"crossref","first-page":"330","DOI":"10.1145\/355602.361309","volume":"15","author":"DL Parnas","year":"1972","unstructured":"Parnas, D.L. (1972): A technique for software module specification with examples. CACM Vol. 15, No. 5, S. 330\u2013336.","journal-title":"CACM"},{"key":"6_CR11","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1109\/TSE.1977.229902","volume":"SE-3","author":"D Teichroew","year":"1977","unstructured":"Teichroew, D., E.A. Hershey III (1977): PSL\/PSA: a computer-aided technique for structured documentation and analysis of information processing systems. IEEE Trans. Software Eng., SE-3, 41\u201348.","journal-title":"IEEE Trans. Software Eng"},{"key":"6_CR12","volume-title":"Extended attribute grammars. Report 10, University of Glasgow","author":"DA Watt","year":"1977","unstructured":"Watt, D.A., O.L. Madsen (1977): Extended attribute grammars. Report 10, University of Glasgow."}],"container-title":["Informatik-Fachberichte","Werkzeuge der Programmiertechnik"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-68064-9_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T17:02:14Z","timestamp":1606237334000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-68064-9_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1981]]},"ISBN":["9783540107255","9783642680649"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-68064-9_6","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1981]]}}}