{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T16:50:04Z","timestamp":1729615804965,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,8]]},"DOI":"10.1109\/repa.2011.6046720","type":"proceedings-article","created":{"date-parts":[[2011,10,18]],"date-time":"2011-10-18T15:34:48Z","timestamp":1318952088000},"page":"1-10","source":"Crossref","is-referenced-by-count":3,"title":["Exactly the information your subcontractor needs: DeSyRe — Decomposing system requirements"],"prefix":"10.1109","author":[{"given":"Birgit","family":"Penzenstadler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Pattern Languages of Program Design 2","year":"1996","author":"vlissides","key":"ref10"},{"article-title":"DeSyRe: Decomposition of Systems and their Requirements","year":"2011","author":"penzenstadler","key":"ref11"},{"key":"ref12","article-title":"REMsES Illustrator ‘Radio-Frequenz-Warner (RFW)’","volume":"9","author":"rischard","year":"2007","journal-title":"Project Deliverables"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2007.45"},{"journal-title":"Mastering the Requirements Process","year":"2007","author":"robertson","key":"ref14"},{"key":"ref15","article-title":"A framework for composable security definition, assurance, and enforcement","author":"pavlich-mariscal","year":"2005","journal-title":"Doctoral Symposium of the Models Conference"},{"key":"ref16","first-page":"212","article-title":"Composing real-time systems","author":"russell","year":"1991","journal-title":"Proceedings of the Twelfth International Joint Conference on Artificial Intelligence"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-4625-2"},{"key":"ref18","first-page":"10902","article-title":"A Top-Down Methodology for the Development of Automotive Software","author":"feilkas","year":"2009","journal-title":"Technische Universität München Tech Rep"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.2307\/249008"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"journal-title":"Requirements Engineering From System Goals to UML Models to Software Specifications","year":"2009","author":"van lamsweerde","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/203095.201069"},{"key":"ref5","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-0091-5","author":"broy","year":"2001","journal-title":"Specification and Development of Interactive Systems FOCUS on Streams Interfaces and Refinement"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/509705.509707"},{"key":"ref7","first-page":"440","article-title":"You assume, we guarantee: Methodology and case studies (Computer Aided Verification)","volume":"1427 1998","author":"henzinger","year":"1998"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/581339.581345"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302672"},{"key":"ref9","article-title":"A functional rephrasing of the assumption\/commitment specification style","author":"broy","year":"1995","journal-title":"Technische Universität München Tech Rep"},{"key":"ref20","article-title":"Autofocus tool chain","author":"h\u00f6lzl","year":"2010","journal-title":"Technische Universität München Tech Rep"},{"key":"ref21","article-title":"Towards a Theory of Architectural Contracts: Schemes and Patterns of Assumption\/Promise Based System Specification","author":"broy","year":"2010","journal-title":"Software and Systems Safety - Specification and Verification"}],"event":{"name":"2011 The First International Workshop On Requirements Patterns (RePa) (Part Of Re 2011 Conference)","start":{"date-parts":[[2011,8,29]]},"location":"Trento, Italy","end":{"date-parts":[[2011,8,29]]}},"container-title":["2011 First International Workshop On Requirements Patterns"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6036076\/6046719\/06046720.pdf?arnumber=6046720","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T08:12:36Z","timestamp":1497946356000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6046720\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,8]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/repa.2011.6046720","relation":{},"subject":[],"published":{"date-parts":[[2011,8]]}}}