La Ingeniería del Software, definida como el estudio de los principios y metodologías para el desarrollo y mantenimiento de sistemas software, lleva marcando las pautas de cómo se debe trabajar en el desarrollo de sistemas ...

Esta Tesis se estructura en cinco partes. La primera es la Introducción, en la que se presenta, por un lado, la idea que ha motivado el trabajo desarrollado a lo largo de toda la Tesis y, por otro, todas las características ...

Esta tesis plantea la posibilidad de fomentar el uso de los métodos formales en la industria informática, utilizándolos como lenguajes de muy alto nivel a partir de los cuales se puedan obtener rápidamente prototipos ...

En los últimos años, ha habido un gran empuje por parte de la comunidad investigadora en torno a una nueva línea de investigación. Se trata de las líneas de producto software. Las líneas de producto software se centran en ...