{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T17:55:01Z","timestamp":1725645301933},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540649380"},{"type":"electronic","value":"9783642722837"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/978-3-642-72283-7_49","type":"book-chapter","created":{"date-parts":[[2011,12,23]],"date-time":"2011-12-23T12:16:30Z","timestamp":1324642590000},"page":"401-403","source":"Crossref","is-referenced-by-count":0,"title":["Entwicklung sicherheitskritischer eingebetteter Systeme: Der ESPRESS-Ansatz"],"prefix":"10.1007","author":[{"given":"Maritta","family":"Heisel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rainer","family":"Mackenthun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Neustupny","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sadegh","family":"Sadeghipour","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthias","family":"Weber","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"49_CR1","volume-title":"Technische Universit\u00e4t Berlin","author":"R B\u00fcssow","year":"1996","unstructured":"R. B\u00fcssow, H. D\u00f6rr, R. Geisler, W. Grieskamp und M. Klar. \u03bcSZ - ein Ansatz zur systematischen Verbindung von Z und Statecharts. Technischer Bericht TR 96-32, Technische Universit\u00e4t Berlin, 1996."},{"doi-asserted-by":"crossref","unstructured":"Wolfgang Grieskamp, Maritta Heisel und Heiko D\u00f6rr. Specifying safety- critical embedded systems with Statecharts and Z: An agenda for cyclic software components. In E. Astesiano, Hsg., Proc. ETAPS-FASE\u201998, LNCS 1382, S. 88-106. Springer-Verlag, 1998.","key":"49_CR2","DOI":"10.1007\/BFb0053585"},{"doi-asserted-by":"crossref","unstructured":"Hei98] Maritta Heisel. Agendas \u2014 a concept to guide software development activit\u00e9s. In R. N. Horspool, Hsg., Proc. Systems Implementation 2000, S. 19\u201332, London, 1998. Chapman & Hall.","key":"49_CR3","DOI":"10.1007\/978-0-387-35350-0_2"},{"doi-asserted-by":"crossref","unstructured":"D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. Shtull-Trauring und M. Trakhtenbrot. Statemate: A working environment for the development of complex reactive systems. IEEE TSE, 16 No. 4, April 1990.","key":"49_CR4","DOI":"10.1109\/32.54292"},{"doi-asserted-by":"crossref","unstructured":"S. Heike, T. Neustupny und T. Santen. Automating test case generation from Z specifications with Isabelle. In J. Bowen, M. Hinchey und D. Till, Hsg., ZUM \u201997: The Z Formai Specification Notation, LNCS 1212, S. 52\u201371. Springer-Verlag, 1997.","key":"49_CR5","DOI":"10.1007\/BFb0027283"},{"key":"49_CR6","volume-title":"Fraunhofer ISST Berlin","author":"Christian Kelling und Rainer Mackenthun. Fehlermodell und Sicherheitsanalysen bei der Anforderungsspezifikation","year":"1997","unstructured":"Christian Kelling und Rainer Mackenthun. Fehlermodell und Sicherheitsanalysen bei der Anforderungsspezifikation. Technischer Bericht 43, Fraunhofer ISST Berlin, 1997."},{"doi-asserted-by":"crossref","unstructured":"Kolyang, T. Santen und B. Wolff. A structure preserving encoding of Z in Isabelle\/HOL. In J. von Wright, J. Grundy und J. Harrison, Hsg., Theorem Proving in Higher-Order Logics, LNCS 1125. Springer-Verlag, 1996.","key":"49_CR7","DOI":"10.1007\/BFb0105411"},{"key":"49_CR8","volume-title":"Springer-Verlag","author":"L. C","year":"1994","unstructured":"L. C. Paulson. Isabelle. LNCS 828. Springer-Verlag, 1994."},{"doi-asserted-by":"crossref","unstructured":"H. Singh, M. Conrad und S. Sadeghipour. Test case design based on Z and the classification-tree method. In M. G. Hinchey und S. Liu, Hsg., Proceedings of First Internationsl Conference on Formal Engineering Methods, S. 81\u201390. IEEE Computer Society, 1997.","key":"49_CR9","DOI":"10.1109\/ICFEM.1997.630406"},{"key":"49_CR10","volume-title":"Prentice Hall","author":"J.M","year":"1992","unstructured":"J.M. Spivey. The Z Notation \u2014 A Reference Manual. Prentice Hall, 1992."}],"container-title":["Informatik aktuell","Informatik \u201998"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-72283-7_49.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,6]],"date-time":"2021-05-06T08:30:11Z","timestamp":1620289811000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-72283-7_49"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540649380","9783642722837"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-72283-7_49","relation":{},"ISSN":["1431-472X"],"issn-type":[{"type":"print","value":"1431-472X"}],"subject":[],"published":{"date-parts":[[1998]]}}}