{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,18]],"date-time":"2025-01-18T05:06:24Z","timestamp":1737176784299,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540651109"},{"type":"electronic","value":"9783540496465"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49646-7_2","type":"book-chapter","created":{"date-parts":[[2007,6,12]],"date-time":"2007-06-12T05:09:52Z","timestamp":1181624992000},"page":"16-31","source":"Crossref","is-referenced-by-count":3,"title":["An Agenda for Specifying Software Components with Complex Data Models"],"prefix":"10.1007","author":[{"given":"Kirsten","family":"Winter","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Santen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maritta","family":"Heisel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,12,14]]},"reference":[{"key":"2_CR1","unstructured":"R. B\u00fcssow, H. D\u00f6rr, R. Geisler, W. Grieskamp, and M. Klar. \u00b5SZ \u2014 ein Ansatz zur systematischen Verbindung von Z und Statecharts. Technical Report TR 96-32, Tchnische Universit\u00e4t Berlin, 1996."},{"key":"2_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1007\/3-540-63875-X_42","volume-title":"Asian\u2019 97","author":"R. B\u00fcssow","year":"1997","unstructured":"R. B\u00fcssow and W. Grieskamp. Combinig Z and temporal interval logics for the formalization of properties and behaviors of embedded systems. In R. K. Shyamasundar and K. Ueda, editors, Asian\u2019 97, LNCS 1345, pages 46\u201356. Springer-Verlag, 1997."},{"key":"2_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"88","DOI":"10.1007\/BFb0053585","volume-title":"Proc. ETAPS-FASE\u201998","author":"W. Grieskamp","year":"1998","unstructured":"W. Grieskamp, M. Heisel, and H. D\u00f6rr. Specifying safety-critical embedded systems with Statecharts and Z: An agenda for cyclic software components. In E. Astesiano, editor, Proc. ETAPS-FASE\u201998, LNCS 1382, pages 88\u2013106. Springer-Verlag, 1998."},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. Shtull-Trauring, and M. Trakhtenbrot. Statemate: A working environment for the development of complex reactive systems. IEEE Transactions on Software Engineering, 16(4), 1990.","DOI":"10.1109\/32.54292"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"M. Heisel. Agendas \u2014 a concept to guide software development activites. In R.N. Horspool, editor, Proc. Systems Implementation 2000, pages 19\u201332, London, 1998. Chapman & Hall.","DOI":"10.1007\/978-0-387-35350-0_2"},{"key":"2_CR6","unstructured":"M. Heisel, T. Santen, and K. Winter. An agenda for software components with complex data models. Technical report, GMD FIRST, 1998. to appear."},{"key":"2_CR7","first-page":"295","volume-title":"Proc. 16th SAFECOMP","author":"M. Heisel","year":"1997","unstructured":"M. Heisel and C. S\u00fchl. Methodological support for formally specifying safety-critical software. In P. Daniel, editor, Proc. 16th SAFECOMP, pages 295\u2013308. Springer-Verlag London, 1997."},{"issue":"2","key":"2_CR8","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1109\/32.345826","volume":"21","author":"J. Jacky","year":"1995","unstructured":"J. Jacky. Specifying a safety-critical control system in Z. IEEE Transactions on Software Engineering, 21(2):99\u2013106, 1995.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"J. McDermid and R. Pierce. Accessible formal method support for PLC software development. In G. Rabe, editor, Proc. 14th SAFECOMP, Belgirate, Italy, pages 113\u2013127, London, 1995. Springer-Verlag.","DOI":"10.1007\/978-1-4471-3054-3_9"},{"issue":"1","key":"2_CR10","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1109\/32.210306","volume":"19","author":"A. Ravn","year":"1993","unstructured":"A. Ravn, H. Rischel, and K. Hansen. Specifying and verifying requirements of real-time systems. IEEE Transactions on Software Engineering, 19(1):41\u201355, 1993.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"2_CR11","unstructured":"T. Santen and K. Winter. Sicherung einer Lichtsignalanlage in \u00b5SZ. Technical report, GMD FIRST, 1998. to appear."},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"J. Souqui\u00e8res and N. L\u00e9vy. Description of specification developments. In Proc. of Requirements Engineering\u2019 93, pages 216\u2013223, 1993.","DOI":"10.1109\/ISRE.1993.324855"},{"key":"2_CR13","unstructured":"J. Spivey. The Z Notation \u2014 A Reference Manual. Prentice Hall, 1992."}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49646-7_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,17]],"date-time":"2025-01-17T05:56:41Z","timestamp":1737093401000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49646-7_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540651109","9783540496465"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-49646-7_2","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}