{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:35:31Z","timestamp":1750307731777,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":45,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,5,19]],"date-time":"2009-05-19T00:00:00Z","timestamp":1242691200000},"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,5,19]]},"DOI":"10.1145\/1557626.1557637","type":"proceedings-article","created":{"date-parts":[[2009,6,30]],"date-time":"2009-06-30T13:10:54Z","timestamp":1246367454000},"page":"67-71","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Bridging the gap"],"prefix":"10.1145","author":[{"given":"Juergen","family":"Dingel","sequence":"first","affiliation":[{"name":"Queen's University, Kingston, ON"}]},{"given":"Karen","family":"Rudie","sequence":"additional","affiliation":[{"name":"Queen's University, Kingston, ON"}]},{"given":"Chris","family":"Dragert","sequence":"additional","affiliation":[{"name":"McGill University, Montreal, QC"}]}],"member":"320","published-online":{"date-parts":[[2009,5,19]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503274"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/70.481746"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/9.272327"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/1205892"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/11804192_16"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/9.402"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086228.1086265"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/581339.581394"},{"key":"e_1_3_2_1_9_1","unstructured":"DESUMA. Discrete Event Systems Group University of Michigan www.eecs.umich.edu\/umdes\/toolboxes.html Dec. 2008.  DESUMA. Discrete Event Systems Group University of Michigan www.eecs.umich.edu\/umdes\/toolboxes.html Dec. 2008."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","unstructured":"C. Dragert. Generation of concurrency controls using discrete-event systems. Master's thesis School of Computing Queen's Univ. Sept. 2008.  C. Dragert. Generation of concurrency controls using discrete-event systems. Master's thesis School of Computing Queen's Univ. Sept. 2008.","DOI":"10.1145\/1453101.1453122"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1453101.1453122"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.02.066"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-006-0020-x"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1096-9128(19980810)10:9<699::AID-CPE367>3.0.CO;2-7"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2007.364"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/646728.703349"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/645392.651876"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1243418.1243424"},{"key":"e_1_3_2_1_19_1","unstructured":"IDES\n\n  \n  : The integrated discrete-event systems tool. Discrete-Event Control Systems Lab Queen's Univ. qshare.queensu.ca\/Users01\/rudie\/www\/software.html Dec. 2008.  IDES: The integrated discrete-event systems tool. Discrete-Event Control Systems Lab Queen's Univ. qshare.queensu.ca\/Users01\/rudie\/www\/software.html Dec. 2008."},{"volume-title":"ICSE Workshop on Component-based Software Engineering.","year":"2003","author":"Jia Y.","key":"e_1_3_2_1_20_1"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)80579-6"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/9.1222"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2006.876635"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0255(88)90001-1"},{"volume-title":"Prentice Hall","year":"1997","author":"Meyer B.","key":"e_1_3_2_1_25_1"},{"key":"e_1_3_2_1_26_1","first-page":"07","volume":"2","author":"Object Management Group","year":"2007","journal-title":"Version 2.1"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2002.1049404"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1992.370955"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/9.173140"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/9.182478"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/9.412626"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1572272.1572275"},{"key":"e_1_3_2_1_34_1","unstructured":"Supremica. Department of Signals and Systems Chalmers University of Technology http:\/\/www.supremica.org\/ Dec. 2008.  Supremica. Department of Signals and Systems Chalmers University of Technology http:\/\/www.supremica.org\/ Dec. 2008."},{"key":"e_1_3_2_1_35_1","unstructured":"TCT. Systems and Control Group Deptartment of Electrical and Computer Engineering University of Toronto www.control.toronto.edu\/DES Mar. 2008.  TCT. Systems and Control Group Deptartment of Electrical and Computer Engineering University of Toronto www.control.toronto.edu\/DES Mar. 2008."},{"key":"e_1_3_2_1_36_1","first-page":"93","volume-title":"Feature Interactions in Telecommunications and Distributed Systems IV","author":"Thistle J. G.","year":"1997"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.844722"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2008.03.001"},{"volume-title":"9th International Workshop on Discrete Event Systems (WODES'08)","year":"2008","author":"Wang Y.","key":"e_1_3_2_1_39_1"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/1272996.1273028"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008391200517"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"crossref","unstructured":"W. M. Wonham and P. J. Ramadge. Modular supervisory control of discrete-event systems. Mathematics of Control Signals and Systems 1:13--30 1988.  W. M. Wonham and P. J. Ramadge. Modular supervisory control of discrete-event systems. Mathematics of Control Signals and Systems 1:13--30 1988.","DOI":"10.1007\/BF02551233"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/70.864237"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/9.58555"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/1067915.1067920"}],"event":{"name":"C3S2E '09: Proceedings of the 2009 C3S2E conference","sponsor":["BytePress","Concordia University Concordia University"],"location":"Montreal Quebec Canada","acronym":"C3S2E '09"},"container-title":["Proceedings of the 2nd Canadian Conference on Computer Science and Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1557626.1557637","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1557626.1557637","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:38:43Z","timestamp":1750253923000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1557626.1557637"}},"subtitle":["Discrete-Event Systems for software engineering (short position paper)"],"short-title":[],"issued":{"date-parts":[[2009,5,19]]},"references-count":45,"alternative-id":["10.1145\/1557626.1557637","10.1145\/1557626"],"URL":"https:\/\/doi.org\/10.1145\/1557626.1557637","relation":{},"subject":[],"published":{"date-parts":[[2009,5,19]]},"assertion":[{"value":"2009-05-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}