{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T13:48:58Z","timestamp":1730296138476,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,10]]},"DOI":"10.1109\/sew.2012.10","type":"proceedings-article","created":{"date-parts":[[2013,3,21]],"date-time":"2013-03-21T20:22:46Z","timestamp":1363897366000},"page":"32-41","source":"Crossref","is-referenced-by-count":3,"title":["Analysing Tactics in Architectural Patterns"],"prefix":"10.1109","author":[{"given":"Alejandro","family":"Sanchez","sequence":"first","affiliation":[]},{"given":"Ademar","family":"Aguiar","sequence":"additional","affiliation":[]},{"given":"Luis S.","family":"Barbosa","sequence":"additional","affiliation":[]},{"given":"Daniel","family":"Riesco","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Pattern-Oriented Software Architecture A Pattern Language for Distributed Computing","year":"2007","author":"buschmann","key":"19"},{"journal-title":"Communicating and Mobile Processes The ?-Calculus","year":"1999","author":"milner","key":"17"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1145\/1047659.1040323"},{"journal-title":"A Calculus of Architectural Patterns (To Appear)","year":"2013","author":"sanchez","key":"15"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2004.2"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(82)90125-6"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(02)00094-1"},{"journal-title":"Process Algebra Equational Theories of Communicating Processes","year":"2010","author":"baeten","key":"11"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45616-3_4"},{"journal-title":"Pattern-Oriented Software Architecture Volume 1 A System of Patterns","year":"1996","author":"buschmann","key":"3"},{"journal-title":"Software Architecture in Practice","year":"2003","author":"bass","key":"2"},{"journal-title":"Software Architecture Foundations Theory and Practice","year":"2009","author":"taylor","key":"1"},{"key":"10","first-page":"16","article-title":"Bigraphical reactive systems","volume":"2154","author":"milner","year":"2001","journal-title":"CONCUR"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/1993956.1993959"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-17245-8_5"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2010.04.067"},{"key":"4","article-title":"Realizing and refining architectural tactics: Availability","author":"scott","year":"2009","journal-title":"Technical Report of the Software Engineering Institute of Carnegie Mellon University"},{"key":"9","article-title":"The formal specification language mCRL2","author":"groote","year":"2007","journal-title":"Methods for Modelling Software Systems Dagstuhl Seminar 06351"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-35743-5_19"}],"event":{"name":"2012 35th Annual IEEE Software Engineering Workshop (SEW)","start":{"date-parts":[[2012,10,12]]},"location":"Heraclion, Crete, Greece","end":{"date-parts":[[2012,10,13]]}},"container-title":["2012 35th Annual IEEE Software Engineering Workshop"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6479597\/6479789\/06479800.pdf?arnumber=6479800","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,22]],"date-time":"2017-03-22T22:45:45Z","timestamp":1490222745000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6479800\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,10]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/sew.2012.10","relation":{},"subject":[],"published":{"date-parts":[[2012,10]]}}}