{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:33:29Z","timestamp":1750307609211,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":7,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,3,2]],"date-time":"2009-03-02T00:00:00Z","timestamp":1235952000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2009,3,2]]},"DOI":"10.1145\/1509239.1509267","type":"proceedings-article","created":{"date-parts":[[2009,3,3]],"date-time":"2009-03-03T16:06:03Z","timestamp":1236096363000},"page":"207-212","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Modelling hardware verification concerns specified in the\n            <i>e<\/i>\n            language"],"prefix":"10.1145","author":[{"given":"Darren","family":"Galpin","sequence":"first","affiliation":[{"name":"Infineon Technologies UK Ltd, Bristol, United Kingdom"}]},{"given":"Cormac","family":"Driver","sequence":"additional","affiliation":[{"name":"Trinity College Dublin, Dublin, Ireland"}]},{"given":"Siobh\u00e1n","family":"Clarke","sequence":"additional","affiliation":[{"name":"Trinity College Dublin, Dublin, Ireland"}]}],"member":"320","published-online":{"date-parts":[[2009,3,2]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Infineon Technologies. Online; accessed 17 September 2008. http:\/\/www.infineon.com\/  Infineon Technologies. Online; accessed 17 September 2008. http:\/\/www.infineon.com\/"},{"key":"e_1_3_2_1_2_1","volume-title":"Aspect-Oriented Analysis and Design: The Theme Approach","author":"Clarke S.","year":"2005","unstructured":"Clarke , S. and Baniassad , E . Aspect-Oriented Analysis and Design: The Theme Approach , 1 st ed. Addison-Wesley , 2005 . Clarke, S. and Baniassad, E. Aspect-Oriented Analysis and Design: The Theme Approach, 1st ed. Addison-Wesley, 2005.","edition":"1"},{"key":"e_1_3_2_1_3_1","unstructured":"Cadence Design Systems. Online; accessed 17 September 2008. http:\/\/www.cadence.com\/  Cadence Design Systems. Online; accessed 17 September 2008. http:\/\/www.cadence.com\/"},{"key":"e_1_3_2_1_4_1","unstructured":"The e Functional Verification Language Working Group. Online; accessed 17 September 2008. http:\/\/www.ieee1647.org  The e Functional Verification Language Working Group. Online; accessed 17 September 2008. http:\/\/www.ieee1647.org"},{"key":"e_1_3_2_1_5_1","volume-title":"Real-Time UML: Advances in the UML for Real-Time Systems","author":"Douglass B.P.","year":"2004","unstructured":"Douglass , B.P. Real-Time UML: Advances in the UML for Real-Time Systems , 3 rd ed. Addison-Wesley , 2004 . Douglass, B.P. Real-Time UML: Advances in the UML for Real-Time Systems, 3rd ed. Addison-Wesley, 2004.","edition":"3"},{"key":"e_1_3_2_1_6_1","volume":"5","author":"Gherbi A.","unstructured":"Gherbi , A. and Khendek , F. UML Profiles for Real-Time Systems and their Applications. Journal of Object Technology 5 , 4 (May - June), pp. 149--169. Gherbi, A. and Khendek, F. UML Profiles for Real-Time Systems and their Applications. Journal of Object Technology 5, 4 (May - June), pp. 149--169.","journal-title":"Journal of Object Technology"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03764-1_7"}],"event":{"name":"AOSD '09: Eighth International Conference on Aspect-Oriented Software Development","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Charlottesville Virginia USA","acronym":"AOSD '09"},"container-title":["Proceedings of the 8th ACM international conference on Aspect-oriented software development"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1509239.1509267","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1509239.1509267","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:45:38Z","timestamp":1750250738000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1509239.1509267"}},"subtitle":["an experience report"],"short-title":[],"issued":{"date-parts":[[2009,3,2]]},"references-count":7,"alternative-id":["10.1145\/1509239.1509267","10.1145\/1509239"],"URL":"https:\/\/doi.org\/10.1145\/1509239.1509267","relation":{},"subject":[],"published":{"date-parts":[[2009,3,2]]},"assertion":[{"value":"2009-03-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}