Engineering and verifying requirements for programmable self-assembling nanomachines

Abstract

We propose an extension of van Lamsweerde’s goal-oriented requirements engineering to the domain of programmable DNA nanotechnology. This is a domain in which individual devices (agents) are at most a few dozen nanometers in diameter. These devices are programmed to assemble themselves from molecular components and perform their assigned tasks. The… (More)

Topics

4 Figures and Tables

Cite this paper

@article{Lutz2012EngineeringAV, title={Engineering and verifying requirements for programmable self-assembling nanomachines}, author={Robyn R. Lutz and Jack H. Lutz and James I. Lathrop and Titus H. Klinge and Eric R. Henderson and Divita Mathur and Dalia Abo Sheasha}, journal={2012 34th International Conference on Software Engineering (ICSE)}, year={2012}, pages={1361-1364} }