{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T23:00:36Z","timestamp":1729638036553,"version":"3.28.0"},"reference-count":28,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,9]]},"DOI":"10.1109\/re.2012.6345800","type":"proceedings-article","created":{"date-parts":[[2012,11,15]],"date-time":"2012-11-15T12:12:47Z","timestamp":1352981567000},"page":"161-170","source":"Crossref","is-referenced-by-count":11,"title":["Efficient consistency checking of scenario-based product-line specifications"],"prefix":"10.1109","author":[{"given":"Joel","family":"Greenyer","sequence":"first","affiliation":[]},{"given":"Amir Molzam","family":"Sharifloo","sequence":"additional","affiliation":[]},{"given":"Maxime","family":"Cordy","sequence":"additional","affiliation":[]},{"given":"Patrick","family":"Heymans","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1142\/S0129054102000935"},{"key":"17","first-page":"693","article-title":"Design of a UML profile for feature diagrams and its tooling implementation","author":"possomps","year":"2011","journal-title":"Proc 23th Int Conf on Software Engineering and Knowledge Engineering (SEKE'11)"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337217"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2005.137"},{"journal-title":"Scenario-based Design of Mechatronic Systems","year":"2011","author":"greenyer","key":"16"},{"key":"13","doi-asserted-by":"crossref","first-page":"378","DOI":"10.1007\/3-540-36126-X_23","article-title":"Smart playout of behavioral requirements","author":"harel","year":"2002","journal-title":"Proc 4th Int Conf on Formal Methods in Computer-Aided Design Ser FMCAD '02"},{"key":"14","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1007\/BFb0025774","article-title":"Design and synthesis of synchronization skeletons using branching-time temporal logic","volume":"131","author":"clarke","year":"1981","journal-title":"Logic of Programs Ser LNCS"},{"key":"11","article-title":"Simulation relation for software product lines","author":"cordy","year":"2012","journal-title":"Proc 34th Int Conf on Software Engineering (ICSE'12) (To Appear)"},{"journal-title":"UML 2 4 1 Superstructure Specification","year":"2011","key":"12"},{"key":"21","article-title":"Behaviors generation from product lines requirements","author":"ziadi","year":"2004","journal-title":"Proc UML2004 Workshop on Software Architecture Description"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1145\/1181775.1181800"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/SPLC.2011.33"},{"key":"23","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1007\/978-3-540-75209-7_11","article-title":"Model composition in product lines and feature interaction detection using critical pair analysis","volume":"4735","author":"jayaraman","year":"2007","journal-title":"Model Driven Engineering Languages and Systems Ser LNCS"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1145\/1858996.1859009"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21347-2_3"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68237-0_27"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2008.21"},{"key":"28","article-title":"Consistency checking scenariobased specifications of dynamic systems","author":"frieben","year":"2012","journal-title":"Proc 4th Workshop on Behavioural Modelling-Foundations and Application (BM-FA 2012) (To Appear)"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2006.23"},{"key":"2","doi-asserted-by":"crossref","DOI":"10.21236\/ADA235785","author":"kang","year":"1990","journal-title":"Feature-Oriented Domain Analysis (FODA) Feasibility Study"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/1181775.1181802"},{"key":"1","article-title":"Software product line engineering: Foundations","author":"pohl","year":"2005","journal-title":"Principles and techniques"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806850"},{"key":"6","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1007\/978-3-540-31847-7_18","article-title":"Synthesis revisited: Generating statechart models from scenario-based requirements","volume":"3393","author":"harel","year":"2005","journal-title":"Formal Methods in Software and Systems Modeling"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-007-0054-z"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011227529550"},{"key":"9","first-page":"2003","article-title":"Specifying and executing behavioral requirements: The play-in\/play-out approach","volume":"2","author":"harel","year":"2002","journal-title":"Software and System Modeling (SoSym)"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985838"}],"event":{"name":"2012 IEEE 20th International Requirements Engineering Conference (RE)","start":{"date-parts":[[2012,9,24]]},"location":"Chicago, IL, USA","end":{"date-parts":[[2012,9,28]]}},"container-title":["2012 20th IEEE International Requirements Engineering Conference (RE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6336974\/6345786\/06345800.pdf?arnumber=6345800","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,5]],"date-time":"2019-07-05T13:32:05Z","timestamp":1562333525000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6345800\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,9]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/re.2012.6345800","relation":{},"subject":[],"published":{"date-parts":[[2012,9]]}}}