att_abstract={{Distributed embedded systems, such as multi-player smartphone games,
training instrumentation systems, and "smart" homes, naturally have
complex requirements.  These are difficult to elicit, represent,
validate, and verify. For high confidence, one demands that the
represented requirements reflect realistic uses of the system;
however, such uses, often representing human actions in complex
environments, can have hundreds to thousands of steps and be
impractical to elicit and manage using only declarative or intensional
(computed) representations.  Non-functional requirements like
scalability increase this complexity further.  In this paper, I show
how one can bootstrap requirements using data captured from initial
prototypes deployed in small scale real world tests.  Using such
captures as seeds, I show how a calculus of transformations on
captures, from captures to scenarios, among scenarios, and from
scenarios back to captures can be used in several requirements
engineering tasks.  I develop a novel ecosystem of tools and
transformations that implement this capture calculus and illustrate
its use on data obtained from the domain of multi-player outdoor
smartphone games.}},
	att_categories={C_NSS.17, C_NSS.16},
	att_copyright_notice={{This version of the work is reprinted here with permission of IEEE for your personal use. Not for redistribution. The definitive version was published in 2011 IEEE/ACM Intl Conf on Automated Software Engineering. {{, 2011-11-07}}
	att_tags={geocast, verification,  validation,  capture,  scenario},
	author={Robert Hall},
	institution={{2011 IEEE/ACM Intl Conf on Automated Software Engineering}},
	title={{The Capture Calculus Toolset}},