{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T17:35:48Z","timestamp":1729618548091,"version":"3.28.0"},"reference-count":44,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,5]]},"DOI":"10.1109\/formalise.2013.6612276","type":"proceedings-article","created":{"date-parts":[[2013,10,1]],"date-time":"2013-10-01T14:41:05Z","timestamp":1380638465000},"page":"43-49","source":"Crossref","is-referenced-by-count":8,"title":["Recommendations for improving the usability of formal methods for product lines"],"prefix":"10.1109","author":[{"given":"Joanne M.","family":"Atlee","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sandy","family":"Beidu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nancy A.","family":"Day","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fathiyeh","family":"Faghih","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pourya","family":"Shaker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-010-0102-z"},{"key":"35","first-page":"611","article-title":"FeatureIDE: A tool framework for feature-oriented software development","author":"saake","year":"2009","journal-title":"Proc Int Conf on Software Engineering (ICSE)"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302672"},{"key":"36","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2012.6345799"},{"key":"18","first-page":"995","article-title":"Temporal and modal logic","author":"emerson","year":"1995","journal-title":"Handbook of Theoretical Computer Science"},{"key":"33","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1237169"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/VL.1995.520786"},{"key":"34","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48257-1_24"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/2427376.2427380"},{"key":"39","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1145\/2371401.2371404","article-title":"Family-based deductive verification of software product lines","author":"thu?m","year":"2012","journal-title":"Proc Int'l Conf Generative Programming and Component Engineering (GPCE)"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985838"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806850"},{"key":"37","doi-asserted-by":"publisher","DOI":"10.1145\/2364412.2364454"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/5397.5399"},{"key":"38","first-page":"450","article-title":"VMC: A tool for product variability analysis","volume":"7436","author":"ter beek","year":"2012","journal-title":"Proc Int Sym on Formal Methods (FM) Ser LNCS"},{"key":"12","doi-asserted-by":"crossref","first-page":"589","DOI":"10.1007\/s10009-012-0234-1","article-title":"Model checking software product lines with SNIP","volume":"14","author":"classen","year":"2012","journal-title":"Journal on Software Tools for Technology transfer"},{"key":"21","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1007\/978-3-540-68863-1_8","article-title":"Modeling and model checking software product lines","author":"gruler","year":"2008","journal-title":"Proc Formal Methods for Open Object-Based Distributed Systems Conf (FMOODS 97)"},{"key":"20","article-title":"Mapping big-step modelling languages to SMV","author":"faghih","year":"2011","journal-title":"David R Cheriton School of Computer Science"},{"key":"43","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1007\/3-540-58468-4_163","article-title":"A comparison of statecharts variants","author":"beeck der m von","year":"1994","journal-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems"},{"key":"42","doi-asserted-by":"publisher","DOI":"10.1007\/11537328_5"},{"journal-title":"Requirements Engineering From System Goals to UML Models to Software Specifications","year":"2009","author":"van lamsweerde","key":"41"},{"key":"40","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0164-1212(99)00062-X","article-title":"A conceptual basis for feature engineering","volume":"49","author":"turner","year":"1999","journal-title":"Journal of Software and Systems"},{"journal-title":"Software Product Line Engineering A Family Based Development Process","year":"1999","author":"weiss","key":"44"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/32.729683"},{"key":"24","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","author":"jayaraman","year":"2007","journal-title":"Proc Int Conf on Model Driven Engineering Languages and Systems (MoDELS)"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1145\/1370731.1370743"},{"key":"26","first-page":"1990","article-title":"Feature-oriented domain analysis (FODA) feasibility study","author":"kang","year":"0","journal-title":"Softw Eng Inst Carnegie Mellon Univ"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1109\/32.588534"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1109\/VL.1993.269591"},{"journal-title":"Applying UML and Patterns An Introduction to Object-Oriented Analysis and Design and the Unified Process (3rd Edition)","year":"2005","author":"larman","key":"29"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100075"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070523"},{"key":"10","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1007\/3-540-45657-0_29","article-title":"NuSMV 2: An opensource tool for symbolic model checking","author":"cimatti","year":"2002","journal-title":"Proc Computer-Aided Verification (CAV 98)"},{"key":"1","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1007\/978-3-642-02408-5_2","article-title":"Model superimposition in software product lines","author":"apel","year":"2009","journal-title":"Proc Int Conf on Theory and Practice of Model Transformations (ICMT)"},{"key":"30","first-page":"320","article-title":"Mapping template semantics to SMV","author":"lu","year":"2004","journal-title":"Proc 17th Int l Conf Automated Software Eng (ASE)"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2003.04.005"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008779610539"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2001.919116"},{"key":"5","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1007\/3-540-44585-4_33","article-title":"The temporal logic sugar","author":"beer","year":"2001","journal-title":"Proc Computer-Aided Verification (CAV 98)"},{"key":"31","article-title":"Symbolic model checking: An approach to the state explosion problem","author":"mcmillan","year":"1992","journal-title":"Ph D Dissertation"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.23"},{"key":"9","article-title":"Formal systems (europe) ltd: Failures-divergence refinement-FDR2 user manual","author":"brownlee","year":"0","journal-title":"Blount MetraTech Corp Accounting Attributes and Record Formats"},{"key":"8","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1007\/978-3-642-22110-1_16","article-title":"CPAchecker: A tool for configurable software verification","author":"beyer","year":"2011","journal-title":"Proc Computer-Aided Verification (CAV 98)"}],"event":{"name":"2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE)","start":{"date-parts":[[2013,5,25]]},"location":"San Francisco, CA, USA","end":{"date-parts":[[2013,5,25]]}},"container-title":["2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6596468\/6612266\/06612276.pdf?arnumber=6612276","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,7]],"date-time":"2022-03-07T10:19:21Z","timestamp":1646648361000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6612276\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,5]]},"references-count":44,"URL":"https:\/\/doi.org\/10.1109\/formalise.2013.6612276","relation":{},"subject":[],"published":{"date-parts":[[2013,5]]}}}