{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T12:42:48Z","timestamp":1730292168251,"version":"3.28.0"},"reference-count":26,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,7]]},"DOI":"10.1109\/re.2013.6636707","type":"proceedings-article","created":{"date-parts":[[2013,10,29]],"date-time":"2013-10-29T23:25:31Z","timestamp":1383089131000},"page":"72-81","source":"Crossref","is-referenced-by-count":3,"title":["Distributing refinements of a system-level partial behavior model"],"prefix":"10.1109","author":[{"given":"Ivo","family":"Krka","sequence":"first","affiliation":[]},{"given":"Nenad","family":"Medvidovic","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32759-9_33"},{"journal-title":"UML 2 3 Specification","year":"2009","key":"17"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-010-0148-x"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1988.5119"},{"journal-title":"Concurrency","year":"2006","author":"magee","key":"16"},{"journal-title":"Component-Aware Triggered Scenarios","year":"2013","author":"krka","key":"13"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2013.6636707"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/1595696.1595756"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-COMPANION.2009.5071010"},{"key":"21","first-page":"1","volume":"13","author":"uchitel","year":"2004","journal-title":"Incremental Elaboration of Scenario-Based Specifications and Behaviour Models Using Implied Scenarios"},{"key":"20","article-title":"Synthesising modal transition systems from triggered scenarios","author":"sibay","year":"0","journal-title":"IEEE TSE"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1145\/1029894.1029903"},{"key":"23","first-page":"3","volume":"35","author":"uchitel","year":"2009","journal-title":"Synthesis of Partial Behavior Models from Properties and Scenarios"},{"key":"24","first-page":"3","article-title":"The koala component model for consumer electronics software","volume":"33","author":"van ommering","year":"2002","journal-title":"Computer"},{"key":"25","article-title":"A survey of traceability in requirements engineering and model-driven development","volume":"9","author":"winkler","year":"2010","journal-title":"SoSyM"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1145\/1595696.1595757"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985862"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.41"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19029-2"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28872-2_26"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/1453101.1453144"},{"key":"6","volume":"21","author":"fischbein","year":"2012","journal-title":"Weak Alphabet Merging of Partial Behavior Models"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.38"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.78"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1002\/9781444328585"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/940103.940106"}],"event":{"name":"2013 IEEE 21st International Requirements Engineering Conference (RE)","start":{"date-parts":[[2013,7,15]]},"location":"Rio de Janeiro-RJ, Brazil","end":{"date-parts":[[2013,7,19]]}},"container-title":["2013 21st IEEE International Requirements Engineering Conference (RE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6621629\/6636689\/06636707.pdf?arnumber=6636707","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,22]],"date-time":"2017-03-22T23:20:13Z","timestamp":1490224813000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6636707\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,7]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/re.2013.6636707","relation":{},"subject":[],"published":{"date-parts":[[2013,7]]}}}