{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:26:50Z","timestamp":1725470810822},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540356332"},{"type":"electronic","value":"9783540356363"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11784180_10","type":"book-chapter","created":{"date-parts":[[2006,9,26]],"date-time":"2006-09-26T14:12:21Z","timestamp":1159279941000},"page":"96-110","source":"Crossref","is-referenced-by-count":0,"title":["DO-Casl: An Observer-Based Casl Extension for Dynamic Specifications"],"prefix":"10.1007","author":[{"given":"Matteo","family":"Dell\u2019Amico","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maura","family":"Cerioli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"CoFI (The Common Framework Initiative). In: Mosses, P.D. (ed.) CASL Reference Manual. LNCS (IFIP Series), vol.\u00a02960, Springer, Heidelberg (2004)","key":"10_CR1","DOI":"10.1007\/b96103"},{"key":"10_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/3-540-45719-4_8","volume-title":"Algebraic Methodology and Software Technology","author":"L. Schr\u00f6der","year":"2002","unstructured":"Schr\u00f6der, L., Mossakowski, T.: HasCasl: Towards integrated specification and development of Haskell programs. In: Kirchner, H., Ringeissen, C. (eds.) AMAST 2002. LNCS, vol.\u00a02422, pp. 99\u2013116. Springer, Heidelberg (2002)"},{"key":"10_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/3-540-40911-4_2","volume-title":"Integrated Formal Methods","author":"H. Baumeister","year":"2000","unstructured":"Baumeister, H., Zamulin, A.V.: State-based extension of Casl. In: Grieskamp, W., Santen, T., Stoddart, B. (eds.) IFM 2000. LNCS, vol.\u00a01945, pp. 3\u201324. Springer, Heidelberg (2000)"},{"unstructured":"Reggio, G., Astesiano, E., Choppy, C.: Casl-Ltl: A Casl extension for dynamic reactive systems \u2013 Version 1.0 \u2013 Summary. Technical Report DISI-TR-03-36, Univ. of Genova (2003)","key":"10_CR4"},{"issue":"2","key":"10_CR5","doi-asserted-by":"publisher","first-page":"513","DOI":"10.1016\/S0304-3975(96)00165-X","volume":"173","author":"G. Costa","year":"1997","unstructured":"Costa, G., Reggio, G.: Specification of abstract dynamic-data types: A temporal logic approach. TCS\u00a0173(2), 513\u2013554 (1997)","journal-title":"TCS"},{"unstructured":"Reichel, H.: Behavioural equivalence \u2014 a unifying concept for initial and final specification methods. In: Proc.\u00a03rd.\u00a0Hungarian CS\u00a0Conference, pp. 27\u201339 (1981)","key":"10_CR6"},{"unstructured":"Cerioli, M.: Basic concepts. In: Algebraic System Specification and Development: Survey and Annotated Bibliography, 2nd edn. Monographs of the Bremen Institute of Safe Systems, vol.\u00a03, Shaker, 1997 (1998)","key":"10_CR7"},{"issue":"10","key":"10_CR8","doi-asserted-by":"publisher","first-page":"785","DOI":"10.1109\/32.469460","volume":"21","author":"A. Borgida","year":"1995","unstructured":"Borgida, A., Mylopoulos, J., Reiter, R.: On the frame problem in procedure specifications. IEEE Trans. Softw. Eng.\u00a021(10), 785\u2013798 (1995)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"10_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/978-3-540-44616-3_7","volume-title":"Recent Trends in Algebraic Development Techniques","author":"C. Choppy","year":"2000","unstructured":"Choppy, C., Reggio, G.: Using Casl to specify the requirements and the design: A problem specific approach. In: Bert, D., Choppy, C., Mosses, P.D. (eds.) WADT 1999. LNCS, vol.\u00a01827, pp. 104\u2013123. Springer, Heidelberg (2000)"},{"key":"10_CR10","series-title":"IFIP State-of-the-Art Reports","volume-title":"Algebraic Foundations of Systems Specification","author":"M. Cerioli","year":"1999","unstructured":"Cerioli, M., Mossakowski, T., Reichel, H.: From total equational to partial first-order logic. In: Astesiano, E., Kreowski, H.-J., Krieg-Br\u00fcckner, B. (eds.) Algebraic Foundations of Systems Specification. IFIP State-of-the-Art Reports, Springer, Heidelberg (1999)"}],"container-title":["Lecture Notes in Computer Science","Algebraic Methodology and Software Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11784180_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:18:44Z","timestamp":1619507924000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11784180_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540356332","9783540356363"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/11784180_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}