{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:11:31Z","timestamp":1750306291521,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":42,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,5,14]],"date-time":"2016-05-14T00:00:00Z","timestamp":1463184000000},"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":[[2016,5,14]]},"DOI":"10.1145\/2896982.2896991","type":"proceedings-article","created":{"date-parts":[[2016,5,21]],"date-time":"2016-05-21T22:27:38Z","timestamp":1463869658000},"page":"13-19","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Model level design pattern instance detection using answer set programming"],"prefix":"10.1145","author":[{"given":"Gaurab","family":"Luitel","sequence":"first","affiliation":[{"name":"Miami University, Oxford, Ohio"}]},{"given":"Matthew","family":"Stephan","sequence":"additional","affiliation":[{"name":"Miami University, Oxford, Ohio"}]},{"given":"Daniela","family":"Inclezan","sequence":"additional","affiliation":[{"name":"Miami University, Oxford, Ohio"}]}],"member":"320","published-online":{"date-parts":[[2016,5,14]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/580914.858214"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEFM.2007.22"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2009.09.039"},{"key":"e_1_3_2_1_4_1","first-page":"336","volume-title":"International conference on Software Engineering and Knowledge Engineering","author":"Bergenti F.","year":"2000","unstructured":"F. Bergenti and A. Poggi . IDEA: A design assistant based on automatic design pattern detection . In International conference on Software Engineering and Knowledge Engineering , pages 336 -- 343 , 2000 . F. Bergenti and A. Poggi. IDEA: A design assistant based on automatic design pattern detection. In International conference on Software Engineering and Knowledge Engineering, pages 336--343, 2000."},{"key":"e_1_3_2_1_5_1","volume-title":"Objected-oriented design pattern detection using static and dynamic analysis in Java software. Master's thesis","author":"Birkner M.","year":"2007","unstructured":"M. Birkner . Objected-oriented design pattern detection using static and dynamic analysis in Java software. Master's thesis , University of Applied Sciences Bonn-Rhein-Sieg , 2007 . M. Birkner. Objected-oriented design pattern detection using static and dynamic analysis in Java software. Master's thesis, University of Applied Sciences Bonn-Rhein-Sieg, 2007."},{"key":"e_1_3_2_1_6_1","volume-title":"AntiPatterns: refactoring software, architectures, and projects in crisis","author":"Brown W. H.","year":"1998","unstructured":"W. H. Brown , R. C. Malveau , and T. J. Mowbray . AntiPatterns: refactoring software, architectures, and projects in crisis . Wiley , 1998 . W. H. Brown, R. C. Malveau, and T. J. Mowbray. AntiPatterns: refactoring software, architectures, and projects in crisis. Wiley, 1998."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/560991"},{"key":"e_1_3_2_1_8_1","volume-title":"J2EE design patterns","author":"Crawford W.","year":"2003","unstructured":"W. Crawford and J. Kaplan . J2EE design patterns . O'Reilly Media, Inc. , 2003 . W. Crawford and J. Kaplan. J2EE design patterns. O'Reilly Media, Inc., 2003."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSMR.2010.16"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.2007.33"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.1271174"},{"key":"e_1_3_2_1_12_1","volume-title":"Pearson Education","author":"Gamma E.","year":"1994","unstructured":"E. Gamma , R. Helm , R. Johnson , and J. Vlissides . Design patterns: elements of reusable object-oriented software . Pearson Education , 1994 . E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design patterns: elements of reusable object-oriented software. Pearson Education, 1994."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/2430675"},{"key":"e_1_3_2_1_14_1","first-page":"1070","volume-title":"ICLP\/SLP","volume":"88","author":"Gelfond M.","year":"1988","unstructured":"M. Gelfond and V. Lifschitz . The stable model semantics for logic programming . In ICLP\/SLP , volume 88 , pages 1070 -- 1080 , 1988 . M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In ICLP\/SLP, volume 88, pages 1070--1080, 1988."},{"key":"e_1_3_2_1_15_1","volume-title":"Classical negation in logic programs and disjunctive databases. New generation computing, 9(3-4):365--385","author":"Gelfond M.","year":"1991","unstructured":"M. Gelfond and V. Lifschitz . Classical negation in logic programs and disjunctive databases. New generation computing, 9(3-4):365--385 , 1991 . M. Gelfond and V. Lifschitz. Classical negation in logic programs and disjunctive databases. New generation computing, 9(3-4):365--385, 1991."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/2394215.2394241"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/851042.857057"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-0457-3_9"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985858"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/525595.836964"},{"key":"e_1_3_2_1_21_1","volume-title":"The Open Source UML\/MDA Platform","author":"Lee M.","year":"2005","unstructured":"M. Lee , H. Kim , J. Kim , and J. Lee . StarUML 5.0 developer guide . The Open Source UML\/MDA Platform , 2005 . M. Lee, H. Kim, J. Kim, and J. Lee. StarUML 5.0 developer guide. The Open Source UML\/MDA Platform, 2005."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1149114.1149117"},{"key":"e_1_3_2_1_23_1","first-page":"1594","volume-title":"AAAI","volume":"8","author":"Lifschitz V.","year":"2008","unstructured":"V. Lifschitz . What is answer set programming? . In AAAI , volume 8 , pages 1594 -- 1597 , 2008 . V. Lifschitz. What is answer set programming?. In AAAI, volume 8, pages 1594--1597, 2008."},{"key":"e_1_3_2_1_24_1","volume-title":"Springer Science & Business Media","author":"Lloyd J. W.","year":"2012","unstructured":"J. W. Lloyd . Foundations of logic programming . Springer Science & Business Media , 2012 . J. W. Lloyd. Foundations of logic programming. Springer Science & Business Media, 2012."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/302163.302175"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/MISE.2007.6"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.4018\/978-1-60566-006-6.ch002"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/390016.808461"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24694-7_36"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.58"},{"key":"e_1_3_2_1_31_1","volume-title":"Patterns for Concurrent and Networked Objects","author":"Schmidt D. C.","year":"2013","unstructured":"D. C. Schmidt , M. Stal , H. Rohnert , and F. Buschmann . Pattern-Oriented Software Architecture , Patterns for Concurrent and Networked Objects , volume 2 . John Wiley & Sons , 2013 . D. C. Schmidt, M. Stal, H. Rohnert, and F. Buschmann. Pattern-Oriented Software Architecture, Patterns for Concurrent and Networked Objects, volume 2. John Wiley & Sons, 2013."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-88194-0_23"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSME.2014.113"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/MODELS.2015.7338258"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.5555\/2820489.2820501"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.5555\/519621.853393"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.112"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.5555\/882506.885134"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/350391.350422"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02959-2_10"},{"key":"e_1_3_2_1_42_1","first-page":"29","volume-title":"Workshop on Dynamic Analysis","author":"Wendehals L.","year":"2003","unstructured":"L. Wendehals . Improving design pattern instance recognition by dynamic analysis . In Workshop on Dynamic Analysis , pages 29 -- 32 , 2003 . L. Wendehals. Improving design pattern instance recognition by dynamic analysis. In Workshop on Dynamic Analysis, pages 29--32, 2003."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2009.37"}],"event":{"name":"ICSE '16: 38th International Conference on Software Engineering","sponsor":["ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering","IEEE-CS\\DATC IEEE Computer Society","TCSE IEEE Computer Society's Tech. Council on Software Engin."],"location":"Austin Texas","acronym":"ICSE '16"},"container-title":["Proceedings of the 8th International Workshop on Modeling in Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2896982.2896991","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2896982.2896991","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:39:06Z","timestamp":1750221546000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2896982.2896991"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,5,14]]},"references-count":42,"alternative-id":["10.1145\/2896982.2896991","10.1145\/2896982"],"URL":"https:\/\/doi.org\/10.1145\/2896982.2896991","relation":{},"subject":[],"published":{"date-parts":[[2016,5,14]]},"assertion":[{"value":"2016-05-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}