{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T08:22:25Z","timestamp":1743063745430,"version":"3.28.0"},"reference-count":46,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,9]]},"DOI":"10.1109\/re.2012.6345806","type":"proceedings-article","created":{"date-parts":[[2012,11,15]],"date-time":"2012-11-15T12:12:47Z","timestamp":1352981567000},"page":"211-220","source":"Crossref","is-referenced-by-count":14,"title":["Requirements analysis for a product family of DNA nanodevices"],"prefix":"10.1109","author":[{"given":"Robyn R.","family":"Lutz","sequence":"first","affiliation":[]},{"given":"Jack H.","family":"Lutz","sequence":"additional","affiliation":[]},{"given":"James I.","family":"Lathrop","sequence":"additional","affiliation":[]},{"given":"Titus H.","family":"Klinge","sequence":"additional","affiliation":[]},{"given":"Divita","family":"Mathur","sequence":"additional","affiliation":[]},{"given":"D. M.","family":"Stull","sequence":"additional","affiliation":[]},{"given":"Taylor G.","family":"Bergquist","sequence":"additional","affiliation":[]},{"given":"Eric R.","family":"Henderson","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Software Product Lines Practices and Patterns Ser SEI Series in Software Engineering","year":"2001","author":"clements","key":"19"},{"key":"35","doi-asserted-by":"publisher","DOI":"10.1145\/1147249.1147254"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1098\/rsif.2011.0800"},{"key":"36","doi-asserted-by":"publisher","DOI":"10.1109\/SPLC.2008.45"},{"journal-title":"Software Product-Line Engineering A Family-Based Software Development Process","year":"1999","author":"weiss","key":"18"},{"key":"33","doi-asserted-by":"publisher","DOI":"10.1145\/343369.343402"},{"key":"15","doi-asserted-by":"crossref","DOI":"10.1098\/rsif.2009.0072.focus","article-title":"A programming language for composable DNA circuits","volume":"6","author":"phillips","year":"2009","journal-title":"Journal of The Royal Society Interface"},{"key":"34","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72522-0_6"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-23638-9_12"},{"key":"39","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985838"},{"key":"13","doi-asserted-by":"crossref","first-page":"557","DOI":"10.1038\/nnano.2009.220","article-title":"Placement and orientation of individual DNA shapes on lithographically patterned surfaces","volume":"3","author":"kershner","year":"2009","journal-title":"Nature Nanotechnology"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1093\/nar\/gkp436"},{"key":"37","doi-asserted-by":"publisher","DOI":"10.1109\/SPLC.2011.34"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1016\/j.cbpa.2010.06.182"},{"key":"38","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.16"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.1006377107"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1038\/ncomms1452"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-28901-1"},{"key":"43","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985840"},{"key":"42","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-010-0075-7"},{"key":"41","doi-asserted-by":"publisher","DOI":"10.1145\/1217295.1217296"},{"key":"40","doi-asserted-by":"publisher","DOI":"10.1145\/2110147.2110168"},{"key":"45","doi-asserted-by":"publisher","DOI":"10.1098\/rsif.2011.0141"},{"key":"44","doi-asserted-by":"publisher","DOI":"10.1145\/2001269.2001289"},{"key":"46","doi-asserted-by":"publisher","DOI":"10.1098\/rsif.2011.0783"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227079"},{"journal-title":"Requirements Engineering From System Goals to UML Models to Software Specifications","year":"2009","author":"van lamsweerde","key":"23"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1021\/la201267e"},{"key":"25","doi-asserted-by":"crossref","first-page":"605","DOI":"10.1038\/35020524","article-title":"A DNA-fuelled molecular machine made of DNA","volume":"406","author":"yurke","year":"2000","journal-title":"Nature"},{"key":"26","first-page":"585","article-title":"PRISM 4. 0: Verification of probabilistic real-time systems","author":"kwiatkowska","year":"2011","journal-title":"CAV11"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1145\/1029894.1029905"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1109\/32.879820"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1109\/32.663994"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/FOCS.2012.76"},{"key":"2","first-page":"191","article-title":"On the computational power of DNA annealing and ligation","author":"winfree","year":"1996","journal-title":"Proc 3rd DIMACS Workshop DNA Based Comput"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1038\/nature04586"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-5193(82)90002-9"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1007\/s12033-007-0059-4"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1038\/465167a"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1038\/nature10262"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(95)96871-J"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1126\/science.1200520"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1002\/ange.200805819"},{"key":"4","doi-asserted-by":"crossref","first-page":"1281","DOI":"10.1098\/rsif.2010.0729","article-title":"A simple DNA gate motif for synthesizing large-scale circuits","volume":"8","author":"qian","year":"0","journal-title":"J Royal Soc Interface"},{"key":"9","doi-asserted-by":"crossref","first-page":"831","DOI":"10.1126\/science.1214081","article-title":"A logicgated nanorobot for targeted transport of molecular payloads","volume":"335","author":"douglas","year":"2012","journal-title":"Science"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1038\/nchem.957"}],"event":{"name":"2012 IEEE 20th International Requirements Engineering Conference (RE)","start":{"date-parts":[[2012,9,24]]},"location":"Chicago, IL, USA","end":{"date-parts":[[2012,9,28]]}},"container-title":["2012 20th IEEE International Requirements Engineering Conference (RE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6336974\/6345786\/06345806.pdf?arnumber=6345806","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T22:43:48Z","timestamp":1497998628000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6345806\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,9]]},"references-count":46,"URL":"https:\/\/doi.org\/10.1109\/re.2012.6345806","relation":{},"subject":[],"published":{"date-parts":[[2012,9]]}}}