{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T12:46:39Z","timestamp":1725626799489},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540106173"},{"type":"electronic","value":"9783642679773"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1981]]},"DOI":"10.1007\/978-3-642-67977-3_6","type":"book-chapter","created":{"date-parts":[[2011,10,28]],"date-time":"2011-10-28T05:28:55Z","timestamp":1319779735000},"page":"76-86","source":"Crossref","is-referenced-by-count":1,"title":["PCSL und Espreso"],"prefix":"10.1007","author":[{"given":"Jochen","family":"Ludewig","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1109\/TSE.1977.233838","volume":"SE-3","author":"M Alford","year":"1977","unstructured":"Alford, M. (1977): A requirements engineering methodology for real-time processing requirements. IEEE Trans. Software Eng., SE-3, 60\u201369","journal-title":"IEEE Trans. Software Eng"},{"key":"6_CR2","doi-asserted-by":"publisher","first-page":"667","DOI":"10.1145\/362759.362813","volume":"14","author":"PJ Courtois","year":"1971","unstructured":"Courtois, P.J., F. Heymans, D.L. Parnas (1971): Concurrent control with \u2018readers\u2019 and \u2018writers\u2019. Commun. ACM, 14, 667\u2013668.","journal-title":"Commun. ACM"},{"key":"6_CR3","volume-title":"Implementierung eines Spezifikationssystems f\u00fcr Proze\u00dfrechner-Software Diplomarbeit. Universit\u00e4t Karlsruhe","author":"K Eckert","year":"1980","unstructured":"Eckert, K. (1980): Implementierung eines Spezifikationssystems f\u00fcr Proze\u00dfrechner-Software Diplomarbeit, Universit\u00e4t Karlsruhe."},{"key":"6_CR4","first-page":"229","volume-title":"The achievement of well-structured software in real-time applications. Proc. of the IFAC\/IFIP workshop on real-time programming, Rocquencourt, Juni 1976","author":"K Jackson","year":"1976","unstructured":"Jackson, K., H.F. Harte (1976): The achievement of well-structured software in real-time applications. Proc. of the IFAC\/IFIP workshop on real-time programming, Rocquencourt, Juni 1976. pp. 229\u2013238."},{"key":"6_CR5","volume-title":"\u00dcberblick und Vergleich verschiedener Mittel f\u00fc die Spezifikation und den Entwurf von Software KfK 2506","author":"J Ludewig","year":"1978","unstructured":"Ludewig, J., W. Streng (1978): \u00dcberblick und Vergleich verschiedener Mittel f\u00fc die Spezifikation und den Entwurf von Software KfK 2506"},{"key":"6_CR6","volume-title":"PCSL - a process control software specification language. KfK 2874","author":"J Ludewig","year":"1980a","unstructured":"Ludewig, J. (1980a): PCSL - a process control software specification language. KfK 2874"},{"key":"6_CR7","volume-title":"IFAC\/IFIP Workshop on requirement specification. Graz, 14.-16. April 1980. Pergamon Press, erscheint etwa Dezember 1980","author":"J Ludewig","year":"1980b","unstructured":"Ludewig, J. (1980b): Process control software specification in PCSL. in Haase, V.(ed.): IFAC\/IFIP Workshop on requirement specification. Graz, 14.-16. April 1980. Pergamon Press, erscheint etwa Dezember 1980"},{"key":"6_CR8","volume-title":"Zur Erstellung der Spezifikation von Proze\u00dfrechnersoftware. Dissertation, TU M\u00fcnchen; erscheint ebenfalls als KfK 3060","author":"J Ludewig","year":"1980c","unstructured":"Ludewig, J. (1980c): Zur Erstellung der Spezifikation von Proze\u00dfrechnersoftware. Dissertation, TU M\u00fcnchen; erscheint ebenfalls als KfK 3060."},{"key":"6_CR9","doi-asserted-by":"publisher","first-page":"687","DOI":"10.1002\/spe.4380100902","volume":"10","author":"RM McKeag","year":"1980","unstructured":"McKeag, R.M., P. Milligan (1980): An experiment in parallel program design. Software Practice and Experience, 10, 687\u2013693.","journal-title":"Software Practice and Experience"},{"key":"6_CR10","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_CR11","volume-title":"Extended attribute grammars. Report no 10","author":"DA Watt","year":"1977","unstructured":"Watt, D.A., O.L. Madsen (1977): Extended attribute grammars. Report no. 10, University of Glasgow, Computing Departement."}],"container-title":["Informatik-Fachberichte","Fachtagung Proze\u00dfrechner 1981"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-67977-3_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T22:19:47Z","timestamp":1606256387000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-67977-3_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1981]]},"ISBN":["9783540106173","9783642679773"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-67977-3_6","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1981]]}}}