Requirements Engineering for Pervasive Systems. A Transformational Approach
Javier Muñoz, Pedro Valderas, Vicente Pelechano, Óscar Pastor · 2006
This paper introduces a method for specifying the functional requirements of pervasive systems. These requirements specifications can be mapped into PervML models, which enables (1) the early generation of prototypes to validate the requirements and (2) the definition of well defined transformations that provide traceability mechanisms for going from requirements to implementation and vice-versa