{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T08:50:03Z","timestamp":1725612603953},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,5]]},"DOI":"10.1109\/gtse.2013.6613865","type":"proceedings-article","created":{"date-parts":[[2013,10,2]],"date-time":"2013-10-02T18:32:32Z","timestamp":1380738752000},"page":"19-22","source":"Crossref","is-referenced-by-count":3,"title":["Why (meta-)theories of automated software design are essential: A personal perspective"],"prefix":"10.1109","author":[{"given":"Don","family":"Batory","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87875-9_1"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-009-0131-6"},{"key":"15","article-title":"Feature models, grammars, and propositional formulas","author":"batory","year":"2005","journal-title":"SPLC"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.23"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/2429069.2429094"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/2047862.2047867"},{"key":"11","article-title":"Theorem proving for product lines","author":"delaware","year":"2011","journal-title":"OOPSLA\/SPLASH"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-07964-5"},{"journal-title":"The Unified Modeling Language Reference Manual","year":"2010","author":"rumbaugh","key":"3"},{"key":"2","article-title":"Designing reusable classes","author":"johnson","year":"1998","journal-title":"Journal of Object-Oriented Programming"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1985.231877"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070523"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/136586.136587"},{"key":"6","doi-asserted-by":"crossref","DOI":"10.21236\/ADA235785","author":"kang","year":"1990","journal-title":"Featureoriented Domain Analysis (FODA) Feasibility Study"},{"key":"5","article-title":"The emperor's old clothes","author":"hoare","year":"1991","journal-title":"CACM"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/582095.582099"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/SPLC.2011.20"},{"key":"8","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1524.001.0001","author":"pierce","year":"1991","journal-title":"Basic Category Theory for Computer Scientists"}],"event":{"name":"2013 2nd SEMAT Workshop on a General Theory of Software Engineering (GTSE)","start":{"date-parts":[[2013,5,26]]},"location":"San Francisco, CA, USA","end":{"date-parts":[[2013,5,26]]}},"container-title":["2013 2nd SEMAT Workshop on a General Theory of Software Engineering (GTSE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6598361\/6613858\/06613865.pdf?arnumber=6613865","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,28]],"date-time":"2019-07-28T12:14:25Z","timestamp":1564316065000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6613865\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,5]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/gtse.2013.6613865","relation":{},"subject":[],"published":{"date-parts":[[2013,5]]}}}