Los entornos inteligentes han supuesto la aparición de nuevos escenarios con nuevas características diferentes a los modelos existentes: multitud de dispositivos con capacidad de computo y comunicaciones, recursos limitados, redes heterogéneas, evolución temporal permanente, movilidad, etc. que deben ser soportadas y aprovechadas por las aplicaciones desarrolladas para dichos entornos. Este es un campo de trabajo novedoso por lo que las metodologías propuestas para el desarrollo de estas aplicaciones son escasas y presentan problemas, como la existencia de elementos críticos, sobrecarga del protocolo, ausencia de fiabilidad, mala gestión del escalado de la red o ausencia de mecanismos que resuelvan el dinamismo del sistema. La metodología que se propone en esta tesis aborda los problemas anteriores de una manera integral basándose en el concepto de servicios. La concepción de la aplicación como una mera agregación de servicios permite trascender el ámbito de las redes inalámbricas de área personal y así dotar de una mayor funcionalidad al sistema. Los pilares básicos de la metodología: definición sencilla y concreta de la interfaz de servicio, jerarquía de servicios escalable, arquitectura dinámica para soportar la evolución temporal sin sobrecarga del protocolo, filosofía de programación emergente para evitar elementos críticos y verificación formal de los servicios individualmente y del entorno global, involucrados en distintas fases del proceso de desarrollo, permite resolver los problemas de las aproximaciones anteriores y aumentar la productividad de los desarrolladores de aplicaciones. Se ha implementado un entorno inteligente real de referencia (PERSEIA) para soportar la metodología propuesta, que sirve como banco de pruebas para la verificación del enfoque realizado y como patrón de comparación con otras alternativas metodológicas. Se han validado los resultados de las aproximaciones en dicho entorno.