{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T10:07:32Z","timestamp":1725530852428},"reference-count":9,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,8]]},"DOI":"10.1109\/re.2015.7320440","type":"proceedings-article","created":{"date-parts":[[2015,11,5]],"date-time":"2015-11-05T17:57:15Z","timestamp":1446746235000},"page":"284-285","source":"Crossref","is-referenced-by-count":0,"title":["Breeze: A modeling tool for designing, analyzing, and improving software architecture"],"prefix":"10.1109","author":[{"given":"Luxi","family":"Chen","sequence":"first","affiliation":[]},{"given":"Linpeng","family":"Huang","sequence":"additional","affiliation":[]},{"given":"Hao","family":"Zhong","sequence":"additional","affiliation":[]},{"given":"Chen","family":"Li","sequence":"additional","affiliation":[]},{"given":"Xiwen","family":"Wu","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Software Architecture in Practice","year":"2012","author":"clements","key":"ref4"},{"key":"ref3","first-page":"359","article-title":"NuSMV 2: An open source tool for symbolic model checking","author":"cimatti","year":"2002","journal-title":"In Proc 14th CAV"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1764810.1764828"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2013.131"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337184"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2013.6636742"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2014.35"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2661677"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2012.6345821"}],"event":{"name":"2015 IEEE 23rd International Requirements Engineering Conference (RE)","start":{"date-parts":[[2015,8,24]]},"location":"Ottawa, ON, Canada","end":{"date-parts":[[2015,8,28]]}},"container-title":["2015 IEEE 23rd International Requirements Engineering Conference (RE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7310793\/7320393\/07320440.pdf?arnumber=7320440","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,24]],"date-time":"2017-03-24T22:05:11Z","timestamp":1490393111000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7320440\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,8]]},"references-count":9,"URL":"https:\/\/doi.org\/10.1109\/re.2015.7320440","relation":{},"subject":[],"published":{"date-parts":[[2015,8]]}}}