{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T17:56:22Z","timestamp":1725818182961},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319155449"},{"type":"electronic","value":"9783319155456"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-15545-6_12","type":"book-chapter","created":{"date-parts":[[2015,3,5]],"date-time":"2015-03-05T02:19:15Z","timestamp":1425521955000},"page":"155-170","source":"Crossref","is-referenced-by-count":1,"title":["Abstract Constraint Data Types"],"prefix":"10.1007","author":[{"given":"Jos\u00e9 Luiz","family":"Fiadeiro","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fernando","family":"Orejas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"12_CR1","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1145\/256303.256306","volume":"44","author":"S. Bistarelli","year":"1997","unstructured":"Bistarelli, S., Montanari, U., Rossi, F.: Semiring-based constraint satisfaction and optimization. J. ACM\u00a044(2), 201\u2013236 (1997)","journal-title":"J. ACM"},{"key":"12_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/3-540-09510-1_7","volume-title":"Automata, Languages, and Programming","author":"M. Broy","year":"1979","unstructured":"Broy, M., Dosch, W., Partsch, H., Pepper, P., Wirsing, M.: Existential quantifiers in abstract data types. In: Maurer, H.A. (ed.) ICALP 1979. LNCS, vol.\u00a071, pp. 73\u201387. Springer, Heidelberg (1979)"},{"issue":"7","key":"12_CR3","doi-asserted-by":"publisher","first-page":"1247","DOI":"10.1007\/s00500-014-1231-y","volume":"18","author":"R. Diaconescu","year":"2014","unstructured":"Diaconescu, R.: Graded consequence: an institution theoretic study. Soft Comput.\u00a018(7), 1247\u20131267 (2014)","journal-title":"Soft Comput."},{"unstructured":"Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification 1: Equations and Initial Semantics. Monographs in Theoretical Computer Science. An EATCS Series. Springer (1985)","key":"12_CR4"},{"unstructured":"Fiadeiro, J.L.: Categories for Software Engineering. Springer (2004)","key":"12_CR5"},{"issue":"1","key":"12_CR6","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. J. ACM\u00a039(1), 95\u2013146 (1992)","journal-title":"J. ACM"},{"key":"12_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/BFb0012775","volume-title":"Automata, Languages, and Programming","author":"J.A. Goguen","year":"1982","unstructured":"Goguen, J.A., Meseguer, J.: Universal realization, persistent interconnection and implementation of abstract modules. In: Nielsen, M., Schmidt, E.M. (eds.) ICALP 1982. LNCS, vol.\u00a0140, pp. 265\u2013281. Springer, Heidelberg (1982)"},{"issue":"3","key":"12_CR8","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/j.entcs.2009.05.020","volume":"238","author":"M.M. H\u00f6lzl","year":"2009","unstructured":"H\u00f6lzl, M.M., Meier, M., Wirsing, M.: Which soft constraints do you prefer? Electr. Notes Theor. Comput. Sci.\u00a0238(3), 189\u2013205 (2009)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"issue":"1-2","key":"12_CR9","doi-asserted-by":"crossref","first-page":"65","DOI":"10.3233\/FI-2012-706","volume":"118","author":"F. Orejas","year":"2012","unstructured":"Orejas, F., Lambers, L.: Lazy graph transformation. Fundam. Inform.\u00a0118(1-2), 65\u201396 (2012)","journal-title":"Fundam. Inform."},{"issue":"11","key":"12_CR10","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1109\/MC.2007.400","volume":"40","author":"M.P. Papazoglou","year":"2007","unstructured":"Papazoglou, M.P., Traverso, P., Dustdar, S., Leymann, F.: Service-oriented computing: State of the art and research challenges. IEEE Computer\u00a040(11), 38\u201345 (2007)","journal-title":"IEEE Computer"},{"doi-asserted-by":"crossref","unstructured":"Sannella, D., Tarlecki, A.: Foundations of Algebraic Specification and Formal Software Development. In: Monographs in Theoretical Computer Science. An EATCS Series. Springer (2012)","key":"12_CR11","DOI":"10.1007\/978-3-642-17336-3"},{"key":"12_CR12","first-page":"675","volume-title":"Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics (B)","author":"M. Wirsing","year":"1990","unstructured":"Wirsing, M.: Algebraic specification. In: Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics (B), pp. 675\u2013788. MIT Press, Cambridge (1990)"},{"issue":"4","key":"12_CR13","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/j.entcs.2007.06.015","volume":"176","author":"M. Wirsing","year":"2007","unstructured":"Wirsing, M., Denker, G., Talcott, C.L., Poggio, A., Briesemeister, L.: A rewriting logic framework for soft constraints. Electr. Notes Theor. Comput. Sci.\u00a0176(4), 181\u2013197 (2007)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"12_CR14","series-title":"Lecture Notes in Computer Science","volume-title":"Rigorous Software Engineering for Service-Oriented Systems","year":"2011","unstructured":"Wirsing, M., H\u00f6lzl, M. (eds.): SENSORIA. LNCS, vol.\u00a06582. Springer, Heidelberg (2011)"}],"container-title":["Lecture Notes in Computer Science","Software, Services, and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-15545-6_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,30]],"date-time":"2020-08-30T14:35:00Z","timestamp":1598798100000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-15545-6_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319155449","9783319155456"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-15545-6_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}