{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T15:34:59Z","timestamp":1725464099936},"publisher-location":"Berlin\/Heidelberg","reference-count":14,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540122842"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0051563","type":"book-chapter","created":{"date-parts":[[2006,4,22]],"date-time":"2006-04-22T04:10:16Z","timestamp":1145679016000},"page":"114-131","source":"Crossref","is-referenced-by-count":0,"title":["Espreso \u2014 A system for process control software specification"],"prefix":"10.1007","author":[{"given":"Jochen","family":"Ludewig","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","unstructured":"Ludewig, J., Streng, W.: Methods and Tools for Software Specification and Design \u2014 A Survey, European Workshop on Industrial Computers, TC on Safety and Security, 1978"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Ludewig, J.: Process Control Software Specification in PCSL, in V. Haase \/ed.\/, IFAC\/IFIP Workshop on Real-Time Programming, Graz, April 1980, Pergamon Press, pp. 103\u2013108, 1980","DOI":"10.1016\/0066-4138(82)90014-3"},{"key":"7_CR3","unstructured":"Knuth, E., Rado, P.: Principles of Computer Aided System Description, Report No. 117\/1981 of the Hungarian Academy of Sciences, H-1502, P.O.B. 63, Budapest, Hungary, 1980"},{"key":"7_CR4","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1145\/320434.320440","volume":"1","author":"P.P.-S. Chen","year":"1976","unstructured":"Chen, P.P.-S.: The Entity Relationship Model \u2014 Toward a Unified View of Data, ACM Trans. on Data Base Systems, 1, pp. 9\u201336, 1976","journal-title":"ACM Trans. on Data Base Systems"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Naur, P. \/ed.\/: Revised Report on the Algorithmic Language ALGOL 60, Numerische Mathematik, 4, pp. 420\u2013453, 1963","DOI":"10.1007\/BF01386340"},{"issue":"2","key":"7_CR6","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1145\/954063.954071","volume":"14","author":"D.A. Watt","year":"1979","unstructured":"Watt, D.A.: An Extended Attribute Grammar for PASCAL, SIGPLAN-Notices 14, No. 2, pp. 60\u201374, 1979","journal-title":"SIGPLAN-Notices"},{"issue":"2","key":"7_CR7","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1007\/BF01692511","volume":"2","author":"D.E. Knuth","year":"1968","unstructured":"Knuth, D.E.: Semantics of Context-free Languages, Math. System Theory, 2,2, pp. 127\u2013145, 1968 \/see also 5, 1, pp. 95\u201396, for corrections; same author and title, 1971\/","journal-title":"Math. System Theory"},{"key":"7_CR8","unstructured":"Lalive d'Epinay, Th. \/ed.\/: TC 8 Up to Date Report, European Workshop on Industrial Computer Systems \/EWICS\/, Technical Committee on Real-Time Operating Systems, Paper no. I-1-8, 1979"},{"key":"7_CR9","unstructured":"Ludewig, J.: Zur Erstellung der Spezifikation von Prozessrechner-Software, Doctoral dissertation, Technical University Munich; Reprinted as KfK-Report No. 3060, Kernforschungszentrum Karlsruhe, FRG. \/in German\/, 1981"},{"key":"7_CR10","unstructured":"Eckert, K., Ludewig, J.: ESPRESO-W, ein Werkzeug f\u00fcr die Spezifikation von Prozessrechner-Software, in Goos, G. \/ed.\/: Werkzeuge der Programmiertechnik, Springer-Verlag, Berlin, Heidelberg, New York, pp. 101\u2013112, \/in German\/, 1981"},{"key":"7_CR11","unstructured":"Ludewig, J.: Specification of a Specification Language, to be published in Hasegawa \/ed.\/, 11th IFAC\/IFIP Workshop on Real-Time Programming, Kyoto 1981, Pergamon Press, 1982"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Teichroew, D., Hershey III., E.A.: PSL\/PSA: A Computer Aided Technique for Structured Documentation and Analysis of Information Processing Systems, IEEE Trans. Software Eng., SE-3, pp. 41\u201348, 1977","DOI":"10.1109\/TSE.1977.229902"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Alford, M.: A Requirements Engineering Methodology for Real Time Processing Requirements, IEEE Trans. Software Eng., SE-3, pp. 60\u201369, 1977","DOI":"10.1109\/TSE.1977.233838"},{"key":"7_CR14","unstructured":"Jackson, K., Harte, H.F.: The Achievement of Well Structured Software in Real-Time Applications, Proc. of the IFAC\/IFIP Workshop on Real-Time Programming, Rocquencourt, June 1976, Pergamon Press, pp. 229\u2013239, 1976"}],"container-title":["Lecture Notes in Computer Science","Specification and Design of Software Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0051563.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:58:02Z","timestamp":1607551082000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0051563"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540122842"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/bfb0051563","relation":{},"subject":[]}}