Requirements models and specifications tend to be plagued by many problems such as requirements that have been abandoned and that are no longer meaningful, descriptions that are unnecessarily long and convoluted, and information that is duplicated. These problems hinder the overall understandability and reusability of software models throughout the whole development process. In this paper we pr...

Dengue is a mosquito-borne disease of growing global health importance. Prevention efforts focus on mosquito control, with limited success. New insights into the spatiotemporal drivers of dengue dynamics are needed to design improved disease-prevention strategies. Given the restricted range of movement of the primary mosquito vector, Aedes aegypti, local human movements may be an important driv...