Los grandes sistemas de abastecimiento de agua en el litoral de Alicante

El litoral de Alicante ha sufrido grandes transformaciones territoriales desde las décadas de 1960 y 1970 a raíz de la actividad turística. Uno de los servicios que necesita esta actividad, entre otros, es el abastecimiento de agua potable. En este sentido, por su papel estratégico, el suministro de agua en alta es decisivo para abastecer a los municipios turístico-residenciales. El objetivo de este estudio es conocer y analizar los diferentes sistemas de abastecimiento de agua en alta en la costa de Alicante, sus características, infraestructuras, recursos hídricos disponibles y medidas de gestión llevados a cabo. Algunas de las conclusiones extraídas son el papel estratégico que ejercen en el territorio, especialmente con el agua, un recurso escaso y de vital importancia para la orla costera alicantina, sobre todo en los meses estivales.

Semi-formal Models to Support Program Development: Autonomic Management within Component Based Parallel and Distributed Programming

Functional and non-functional concerns require different programming effort, different techniques and different methodologies when attempting to program efficient parallel/distributed applications. In this work we present a "programmer oriented" methodology based on formal tools that permits reasoning about parallel/distributed program development and refinement. The proposed methodology is semi-formal in that it does not require the exploitation of highly formal tools and techniques, while providing a palatable and effective support to programmers developing parallel/distributed applications, in particular when handling non-functional concerns.