{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T14:49:37Z","timestamp":1648824577184},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2009,12,24]],"date-time":"2009-12-24T00:00:00Z","timestamp":1261612800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Innovations Syst Softw Eng"],"published-print":{"date-parts":[[2010,3]]},"DOI":"10.1007\/s11334-009-0118-z","type":"journal-article","created":{"date-parts":[[2009,12,23]],"date-time":"2009-12-23T11:38:33Z","timestamp":1261568313000},"page":"91-98","source":"Crossref","is-referenced-by-count":0,"title":["Bringing class diagrams to life"],"prefix":"10.1007","volume":"6","author":[{"given":"Luis S.","family":"Barbosa","sequence":"first","affiliation":[]},{"given":"Sun","family":"Meng","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2009,12,24]]},"reference":[{"key":"118_CR1","doi-asserted-by":"crossref","unstructured":"Backhouse RC, Hoogendijk PF (1993) Elements of a relational theory of datatypes. In: M\u00f6ller B, Partsch H, Schuman S (eds) Formal program development, pp 7\u201342. Springer lecture notes in computer science, vol 755","DOI":"10.1007\/3-540-57499-9_15"},{"key":"118_CR2","doi-asserted-by":"crossref","unstructured":"Barbosa LS, Oliveira JN, Silva AM (2008) Calculating invariants as coreflexive bisimulations. In: Meseguer J, Rosu G (eds) Proceedings of the 12th international conference on algebraic methodology and software technology, AMAST 2008, Urbana, IL, USA, July 28\u201331, 2008, pp 83\u201399. Springer lecture notes in computer science, vol 5140","DOI":"10.1007\/978-3-540-79980-1_7"},{"key":"118_CR3","doi-asserted-by":"crossref","unstructured":"Barbosa LS, Sun M (2008) UML model refactoring as refinement: a coalgebraic perspective. In: Negru V, Jebelean T, Pectu D, Zaharie D (eds) Proceedings of GlobalComp, at 10th SYNASC, 26\u201329 September 2008, Timisoara, Romania, pp 340\u2013347. IEEE Computer Society, USA","DOI":"10.1109\/SYNASC.2008.88"},{"key":"118_CR4","unstructured":"Bird R, Moor O (1997) The algebra of programming. Series in computer science. Prentice-Hall International, Englewood Cliffs"},{"issue":"10","key":"118_CR5","first-page":"1580","volume":"11","author":"A Cruz","year":"2005","unstructured":"Cruz A, Barbosa L, Oliveira J (2005) From algebras to objects: generation and composition. J Univers Comput Sci 11(10): 1580\u20131612","journal-title":"J Univers Comput Sci"},{"key":"118_CR6","unstructured":"Hoogendijk PF (1996) A generic theory of datatypes. PhD thesis, Department of Computing Science, Eindhoven University of Technology"},{"key":"118_CR7","first-page":"222","volume":"62","author":"B Jacobs","year":"1997","unstructured":"Jacobs B, Rutten J (1997) A tutorial on (co)algebras and (co)induction. EATCS Bull 62: 222\u2013259","journal-title":"EATCS Bull"},{"key":"118_CR8","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1007\/BF01304852","volume":"23","author":"A Kock","year":"1972","unstructured":"Kock A (1972) Strong functors and monoidal monads. Archiv f\u00fcr Mathematik 23: 113\u2013120","journal-title":"Archiv f\u00fcr Mathematik"},{"key":"118_CR9","unstructured":"Object Management Group (2007) Unified Modeling Language: Superstructure, version 2.1.1, http:\/\/www.uml.org\/"},{"key":"118_CR10","doi-asserted-by":"crossref","unstructured":"Rutten J (2000) Universal coalgebra: a theory of systems. Theor Comp Sci 249(1):3\u201380. (Revised version of CWI Technical report CS-R9652, 1996)","DOI":"10.1016\/S0304-3975(00)00056-6"},{"key":"118_CR11","unstructured":"Sun M, Aichernig BK, Barbosa LS, Naixiao Z (2005) A coalgebraic semantic framework for component based development in UML. In: Birkedal L (ed) Proceedings of the international conference on category theory and computer science (CTCS\u201904), vol 122. Electronic notes in theoretical computer science. Elsevier, Amsterdam, pp 229\u2013245"},{"key":"118_CR12","doi-asserted-by":"crossref","first-page":"276","DOI":"10.1016\/j.tcs.2005.09.072","volume":"351","author":"M Sun","year":"2006","unstructured":"Sun M, Barbosa LS (2006) Components as coalgebras: the refinement dimension. Theor Comput Sci 351: 276\u2013294","journal-title":"Theor Comput Sci"},{"key":"118_CR13","unstructured":"Sun M, Barbosa LS (2008) A coalgebraic semantic framework for reasoning about UML sequence diagrams. In: Zhu H (ed) Proceedings of the eighth international conference on quality software, QSIC 2008, 12\u201313 August 2008, Oxford, UK. IEEE Computer Society, USA, pp 17\u201326"},{"key":"118_CR14","unstructured":"Sun M, Naixiao Z, Barbosa LS (2004) On semantics and refinement of UML statecharts: a coalgebraic view. In: Cuellar J, Liu Z (eds) Proceedings of 2nd IEEE international conference on software engineering and formal methods, Beijing, China, September 2004. IEEE Computer Society Press, USA, pp 164\u2013173"}],"container-title":["Innovations in Systems and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-009-0118-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11334-009-0118-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-009-0118-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T13:47:45Z","timestamp":1559396865000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11334-009-0118-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,12,24]]},"references-count":14,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2010,3]]}},"alternative-id":["118"],"URL":"https:\/\/doi.org\/10.1007\/s11334-009-0118-z","relation":{},"ISSN":["1614-5046","1614-5054"],"issn-type":[{"value":"1614-5046","type":"print"},{"value":"1614-5054","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,12,24]]}}}