{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T18:13:33Z","timestamp":1729620813178,"version":"3.28.0"},"reference-count":11,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/hldvt.2002.1224431","type":"proceedings-article","created":{"date-parts":[[2003,10,1]],"date-time":"2003-10-01T14:56:02Z","timestamp":1065020162000},"page":"69-74","source":"Crossref","is-referenced-by-count":6,"title":["Using Aspect-GAMMA in the design of embedded systems"],"prefix":"10.1109","author":[{"given":"M.","family":"Mousavi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Russello","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Chaudron","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Reniers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"T.","family":"Basten","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Corsaro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Shukla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Gupta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D.C.","family":"Schmidt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","volume":"44","author":"elrad","year":"2001","journal-title":"Special issue on aspect oriented programming Communications of the ACM (CACM)"},{"key":"ref3","article-title":"Separation of Correctness and Complexity in Algorithm Design","author":"chaudron","year":"1994","journal-title":"Technical Report 94–5"},{"key":"ref10","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1145\/302405.302457","article-title":"N Degrees of Separation: Multi-Dimensional Separation of Concerns","author":"tarr","year":"1999","journal-title":"Proc of Intl Conference on Software Engineering"},{"key":"ref6","first-page":"226","article-title":"Timed transition systems","author":"henzinger","year":"1991","journal-title":"Real Time Theory in Practice REX Workshop"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-57502-2_57"},{"key":"ref11","article-title":"A structural approach to operational semantics","author":"plotkin","year":"1981","journal-title":"Tech Rep DAIMI FN-19"},{"key":"ref8","first-page":"220","article-title":"Aspect-Oriented Programming","author":"kiczales","year":"1997","journal-title":"Proceedings of the 11th European Conference on Object-Oriented Programming"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/43.898830"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/151233.151242"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1007\/3-540-45523-X_2","article-title":"Gamma and the chemical reaction model: Fifteen years after","author":"ban\u00e2tre","year":"2001","journal-title":"Multiset Processing Mathematical Computer Science and Molecular Computing Points of View"},{"key":"ref9","article-title":"Separating functionality, behavior and time in the design of reactive systems: (GAMMA + coordination) + time","author":"mousavi","year":"2002","journal-title":"Technical Report CSR 02–09 Department Computer Science Eindhoven University of Technology"}],"event":{"name":"IEEE International High Level Design Validation and Test Workshop (HLDVT'02)","acronym":"HLDVT-02","location":"Cannes, France"},"container-title":["Seventh IEEE International High-Level Design Validation and Test Workshop, 2002."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8669\/27468\/01224431.pdf?arnumber=1224431","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,11]],"date-time":"2021-06-11T16:38:07Z","timestamp":1623429487000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1224431\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/hldvt.2002.1224431","relation":{},"subject":[]}}