{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:19:39Z","timestamp":1725567579442},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/ecbs.2004.1316709","type":"proceedings-article","created":{"date-parts":[[2004,11,13]],"date-time":"2004-11-13T00:14:14Z","timestamp":1100304854000},"page":"273-281","source":"Crossref","is-referenced-by-count":2,"title":["IRIS: a semi-formal approach for detecting requirements interactions"],"prefix":"10.1109","author":[{"given":"M.","family":"Shehata","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Eberlein","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Fapojuwo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","article-title":"Detecting feature interactions - A heuristic approach","author":"heisel","year":"1998","journal-title":"Proc of FIREworks Workshop"},{"journal-title":"Smart Homes for Dummies 2nd Edition","year":"2003","author":"briere","key":"22"},{"key":"17","first-page":"293","article-title":"Second feature interaction contest","author":"kolberg","year":"2000","journal-title":"The Sixth International Workshop on Feature Interactions in Telecommunications and Software Systems (FIW'00)"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0287-8_9"},{"key":"15","article-title":"Formalizing the chisel feature notation","author":"turner","year":"2000","journal-title":"2nd Intl Workshop on Feature Interactions in Telecommunication and Software Systems"},{"key":"16","first-page":"27","article-title":"Use case maps as a feature description language","author":"amyot","year":"0","journal-title":"Language Constructs for Designing Features"},{"key":"13","article-title":"Feature interactions between networked smart homes appliances","author":"shehata","year":"2004","journal-title":"QSSE 2004 4th ASERC Workshop on Quantitative and Soft Computing Based Software Engineering"},{"journal-title":"State Transition Diagrams","year":"1996","author":"grosu","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.2003.1194803"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2003.1240336"},{"journal-title":"Feature Interactions in Telecommunications and Software Systems VI","year":"2000","author":"calder","key":"21"},{"key":"3","article-title":"Issues in requirements reuse and feature interaction management","author":"shehata","year":"2002","journal-title":"ICSSEA 2002"},{"journal-title":"The Use of Semi-formal Methods for Detecting Requirements Interactions","year":"2004","author":"shehata","key":"20"},{"key":"2","article-title":"Requirements interaction management: A multi-level framework","author":"shehata","year":"2002","journal-title":"SEA 2002 the 6th IASTED International Conference on Software Engineering and Applications MIT"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/52.136184"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/857076.857079"},{"key":"7","article-title":"Formal description of telecommunication services in Promela and Z","author":"zave","year":"1999","journal-title":"Proceedings of the Nineteenth International NATO Summer School"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1016\/S1389-1286(00)00009-8"},{"key":"5","article-title":"Applying use case maps and formal methods to the development of wireless mobile ATM networks","author":"andrade","year":"2000","journal-title":"The Fifth NASA Formal Methods Workshop"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1016\/S1389-1286(02)00352-3"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/ICRE.1996.491448"},{"key":"8","article-title":"The feature construct for SMV: Semantics","author":"plath","year":"2000","journal-title":"2nd Intl Workshop on Feature Interactions in Telecommunication and Software Systems"}],"event":{"name":"Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004.","location":"Brno, Czech Republic"},"container-title":["Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9203\/29178\/01316709.pdf?arnumber=1316709","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,14]],"date-time":"2017-03-14T04:55:44Z","timestamp":1489467344000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1316709\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/ecbs.2004.1316709","relation":{},"subject":[]}}