Tesis doctoral de Javier Franch Gutiérrez
La tesis presenta una metodología que permite la formulacion de requisitos y propiedades no funcionales en los sistemas de software desarrollados con lenguajes basados en el concepto de tipo abstracto de datos (tad). usamos como marco de trabajo un lenguaje multiparadigma llamado merli, que combina ecuaciones para especificar los tads y codigo imperativo para implementarlos; tanto las especificaciones como las implementaciones estan encapsuladas en modulos. Las propiedades y requisitos no funcionales se establecen mediante constructores ad hoc del lenguaje que aparecen en unos lugares determinados; concretamente, en las especificaciones se declaran las propiedades de interes junto con las condiciones que han de cumplir todas las implementaciones de los tads, mientras que estas ultimas establecen el valor que toman dichas propiedades y las suposiciones efectuadas sobre los tad importados. las aportaciones mas relevantes de la tesis son las siguientes: . Se propone una notacion completamente formal (de la que se define su comportamiento hasta el maximo detalle -v. cap. 5-) para tratar los aspectos no funcionales del software integrada en el software mismo, lo que mejora la legibilidad, el mantenimiento, la reusabilidad y el tiempo de desarrollo del sofware. . Se propone un algoritmo capaz de seleccionar la mejor implementacion de los tads en cada contexto de uso, segun los requisitos no funcionales formulados en el lenguaje. en terminos generales, podemos decir que el algoritmo se divide en dos partes: la primera (v. Cap. 3) estudia las interacciones de los requisitos formulados en diferentes partes de la implementacion. La segunda (v. Cap. 4) examina un requisito concreto y selecciona el conjunto de implementaciones que lo cumple. La existencia de dicho algoritmo mejora tambien el desarrollo inicial del software, asi como sumantenimiento, reusabilidad y la fiabilidad del diseño. . Se permite que un mismo tad este im
Datos académicos de la tesis doctoral «Seleccion automatica de implementaciones para componentes de software usando un lenguaje multiparadigma para establecer sus aspectos no funcionales.«
- Título de la tesis: Seleccion automatica de implementaciones para componentes de software usando un lenguaje multiparadigma para establecer sus aspectos no funcionales.
- Autor: Javier Franch Gutiérrez
- Universidad: Politécnica de catalunya
- Fecha de lectura de la tesis: 01/01/1996
Dirección y tribunal
- Director de la tesis
- Pere Botella López
- Tribunal
- Presidente del tribunal: Mario Rodríguez Artalejo
- Fernando Orejas Valdés (vocal)
- Gonzalo León Serrano (vocal)
- Michel Lemoine (vocal)