{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T13:18:43Z","timestamp":1742995123541,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642284113"},{"type":"electronic","value":"9783642284120"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-28412-0_8","type":"book-chapter","created":{"date-parts":[[2012,2,18]],"date-time":"2012-02-18T04:14:28Z","timestamp":1329538468000},"page":"98-117","source":"Crossref","is-referenced-by-count":0,"title":["Lambda Expressions in Casl Architectural Specifications"],"prefix":"10.1007","author":[{"given":"Mihai","family":"Codescu","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","series-title":"FACIT (Formal Approaches to Computing and Information Technology)","first-page":"209","volume-title":"Software Specification Methods: An Overview Using a Case Study, ch.\u00a012","author":"H. Baumeister","year":"2000","unstructured":"Baumeister, H., Bert, D.: Algebraic specification in Casl. In: Frappier, M., Habrias, H. (eds.) Software Specification Methods: An Overview Using a Case Study, ch.\u00a012. FACIT (Formal Approaches to Computing and Information Technology), pp. 209\u2013224. Springer, Heidelberg (2000)"},{"key":"8_CR2","series-title":"Lecture Notes in Computer Science","volume-title":"Casl User Manual","year":"2004","unstructured":"Bidoit, M., Mosses, P.D. (eds.): Casl User Manual. LNCS, vol.\u00a02900. Springer, Heidelberg (2004)"},{"key":"8_CR3","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1007\/s001650200012","volume":"13","author":"M. Bidoit","year":"2002","unstructured":"Bidoit, M., Sannella, D., Tarlecki, A.: Architectural specifications in Casl. Formal Aspects of Computing\u00a013, 252\u2013273 (2002)","journal-title":"Formal Aspects of Computing"},{"key":"8_CR4","series-title":"Lecture Notes in Computer Science","volume-title":"Casl Reference Manual","year":"2004","unstructured":"Mosses, P.D. (ed.): Casl Reference Manual. LNCS, vol.\u00a02960. Springer, Heidelberg (2004)"},{"key":"8_CR5","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J.A. Goguen","year":"1992","unstructured":"Goguen, J.A., Burstall, R.M.: Institutions: Abstract model theory for specification and programming. Journal of the Association for Computing Machinery\u00a039, 95\u2013146 (1992)","journal-title":"Journal of the Association for Computing Machinery"},{"key":"8_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/978-3-540-40020-2_13","volume-title":"Recent Trends in Algebraic Development Techniques","author":"P. Hoffman","year":"2003","unstructured":"Hoffman, P.: Verifying Generative casl Architectural Specifications. In: Wirsing, M., Pattinson, D., Hennicker, R. (eds.) WADT 2003. LNCS, vol.\u00a02755, pp. 233\u2013252. Springer, Heidelberg (2003)"},{"key":"8_CR7","unstructured":"Hoffman, P.: Architectural Specifications and Their Verification. PhD thesis, Warsaw University (2005)"},{"key":"8_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/978-3-540-31959-7_10","volume-title":"Recent Trends in Algebraic Development Techniques","author":"T. Mossakowski","year":"2005","unstructured":"Mossakowski, T., Sannella, D., Tarlecki, A.: A Simple Refinement Language for Casl. In: Fiadeiro, J.L., Mosses, P., Orejas, F. (eds.) WADT 2004. LNCS, vol.\u00a03423, pp. 162\u2013185. Springer, Heidelberg (2005)"},{"key":"8_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1007\/978-3-540-71209-1_40","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"T. Mossakowski","year":"2007","unstructured":"Mossakowski, T., Maeder, C., L\u00fcttich, K.: The Heterogeneous Tool Set, Hets. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol.\u00a04424, pp. 519\u2013522. Springer, Heidelberg (2007)"},{"key":"8_CR10","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/BF00283329","volume":"25","author":"D. Sannella","year":"1988","unstructured":"Sannella, D., Tarlecki, A.: Toward formal development of programs from algebraic specifications: implementations revisited. Acta Informatica\u00a025, 233\u2013281 (1988)","journal-title":"Acta Informatica"},{"key":"8_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/3-540-45314-8_19","volume-title":"Fundamental Approaches to Software Engineering","author":"L. Schr\u00f6der","year":"2001","unstructured":"Schr\u00f6der, L., Mossakowski, T., Tarlecki, A., Klin, B., Hoffman, P.: Semantics of Architectural Specifications in CASL. In: Hussmann, H. (ed.) FASE 2001. LNCS, vol.\u00a02029, pp. 253\u2013268. Springer, Heidelberg (2001)"}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Algebraic Development Techniques"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28412-0_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T20:41:58Z","timestamp":1558298518000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28412-0_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642284113","9783642284120"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28412-0_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}