Uno de los objetivos principales del desarrollo de software dirigido por modelos es el de permitir la especificación, diseño, implementación y pruebas de sistemas software de forma sistemática, disciplinada y cuantificable, utilizando el nivel de abstracción adecuado, y usando los lenguajes, notaciones y herramientas más apropiadas para ello. En Atenea trabajamos en la definición de lenguajes de especificación de sistemas que permitan su representación y análisis de forma precisa y rigurosa, así como en el desarrollo de herramientas que permitan a los ingenieros de software utilizar dichos lenguajes y mecanismos de análisis en entornos reales. En la actualidad trabajamos en varios temas dentro de esta línea, como son el modelado y tratamiento de la incertidumbre inherente en los sistemas físicos, y en las notaciones y herramientas para modelar y analizar grandes volúmenes de datos de forma aproximada. También estudiamos la corrección y precisión de los modelos de grandes sistemas y de las transformaciones entre ellos, de forma que proporcionen representaciones lo más fidedignas posibles de los sistemas que queremos especificar.