{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T10:11:25Z","timestamp":1729678285710,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,9]]},"DOI":"10.1109\/twinpeaks.2012.6344559","type":"proceedings-article","created":{"date-parts":[[2012,11,15]],"date-time":"2012-11-15T12:15:09Z","timestamp":1352981709000},"page":"36-40","source":"Crossref","is-referenced-by-count":5,"title":["Your what is my how: Why requirements and architectural design should be iterative"],"prefix":"10.1109","author":[{"given":"Michael W.","family":"Whalen","sequence":"first","affiliation":[]},{"given":"Anitha","family":"Murugesan","sequence":"additional","affiliation":[]},{"given":"Mats P. E.","family":"Heimdahl","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1145\/359576.359585"},{"journal-title":"The NuSMV Toolset Users Manual","year":"2005","key":"17"},{"key":"18","article-title":"Circular hierarchical reasoning using past time ltl","author":"gacek","year":"0","journal-title":"Tech Rep"},{"journal-title":"SAE-AS5506 Architecture Analysis and Design Language","year":"2004","key":"15"},{"journal-title":"Property Specification Language (PSL) IEEE","year":"2005","key":"16"},{"key":"13","first-page":"126","article-title":"Compositional verification of architectural models","author":"cofer","year":"2012","journal-title":"NFM 2012"},{"journal-title":"A Practical Guide to SysML The Systems Modeling Language","year":"2008","author":"friedenthal","key":"14"},{"key":"11","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1007\/s10009-004-0173-6","article-title":"Proving the shalls: Early validation of requirements through formal methods","volume":"8","author":"miller","year":"2006","journal-title":"Int J Softw Tools Technol Transf"},{"key":"12","article-title":"Circular compositional reasoning about liveness","author":"mcmillan","year":"0","journal-title":"Cadence Berkeley Labs Berkeley CA 94704 Tech Rep 1999-02"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(95)96871-J"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302726"},{"key":"2","article-title":"This car runs on code","author":"charette","year":"2009","journal-title":"IEEE Spectrum"},{"journal-title":"747 Fun Facts","year":"0","key":"1"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/2.869384"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/2.910904"},{"journal-title":"Social Modeling for Requirements Engineering","year":"2011","author":"yu","key":"6"},{"journal-title":"Engineering Requirements for System Reliability and Security","year":"0","author":"van lamsweerde","key":"5"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/ICRE.2000.855609"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/1646353.1646372"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.2514\/6.2005-6431"}],"event":{"name":"2012 IEEE First International Workshop on the Twin Peaks of Requirements and Architecture (Twin Peaks)","start":{"date-parts":[[2012,9,25]]},"location":"Chicago, IL, USA","end":{"date-parts":[[2012,9,25]]}},"container-title":["2012 First IEEE International Workshop on the Twin Peaks of Requirements and Architecture (TwinPeaks)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6337028\/6344550\/06344559.pdf?arnumber=6344559","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T22:43:58Z","timestamp":1497998638000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6344559\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,9]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/twinpeaks.2012.6344559","relation":{},"subject":[],"published":{"date-parts":[[2012,9]]}}}