Boronat Moll, Arturo(Universitat Politècnica de València, 2008-05-07)
El Desarrollo de Software Dirigido por Modelos es una rama de la Ingeniería del Software en la
que los artefactos software se representan como modelos para incrementar la productividad, calidady eficiencia económica en ...
Ali Irshaid, Nour(Universitat Politècnica de València, 2011-11-14)
This thesis presents a framework called Ambient-PRISMA for describing and developing distributed and mobile software systems in an abstract way. Ambient-PRISMA enriches an aspect-oriented software architecture approach ...
Cabello Espinosa, María Eugenia(Universitat Politècnica de València, 2011-11-14)
Este trabajo de investigación presenta el análisis y diseño de una solución genérica para la construcción de sistemas expertos que realizan tareas de diagnóstico usando arquitecturas software orientadas a aspectos y técnicas ...
Cabello Espinosa, María Eugenia(Universitat Politècnica de València, 2008-12-15)
Esta tesis presenta la aproximación denominada Baseline Oriented Modeling
(BOM). BOM es un framework que genera automáticamente Sistemas
Expertos (SE) basado en Líneas de Producto Software (LPS).
En BOM, se generan ...
Costa Soria, Cristobal(Universitat Politècnica de València, 2011-11-14)
Se persigue dotar a los sistemas software altamente disponibles de la capacidad de alterar tanto su estructura como su comportamiento en tiempo de ejecución, afectando al mínimo número de subsistemas que lo forman. Esto ...
Oliver Villarroya, Francisco Javier(Universitat Politècnica de València, 2015-12-16)
El lambda-cálculo es una teoría sin tipos que interpreta las funciones como reglas, es decir,
el proceso de ir de un argumento a un valor, un proceso codificado por una definición.
La idea de utilizar el lambda-cálculo ...
Gómez Llana, Abel(Universitat Politècnica de València, 2011-11-02)
La Ingeniería dirigida por Modelos permite incrementar la productividad en el proceso de desarrollo software, obteniendo herramientas más interoperables y sencillas de mantener mediante técnicas que elevan el nivel de ...
Gómez Llana, Abel(Universitat Politècnica de València, 2012-03-20)
La Ingeniería de Líneas de Productos Software -Software Product Line Engineerings
(SPLEs) en inglés- es una técnica de desarrollo de software que busca aplicar
los principios de la fabricación industrial para la obtención ...
Pérez Benedí, Jenifer; Ramos Salavert, Isidro; Carsí Cubel, José Ángel; Costa Soria, Cristobal(Graz University of Technology, Institut für Informationssysteme und Computer Medien (IICM), 2013-05-28)
[EN] The Model-Driven Development (MDD) paradigm has become widely spread in the last few years due to being based on models instead of source code, and using automatic generation techniques to obtain the final software ...
Pérez Benedí, Jenifer(Universitat Politècnica de València, 2011-10-27)
The work presented in this thesis of master is an approach that takes advantage of the Model-Driven Development approach for developing aspect-oriented software architectures. A complete MDD support for the PRISMA approach ...
Pérez Benedí, Jenifer(Universitat Politècnica de València, 2008-05-07)
Hoy en día, la complejidad de los sistemas software y la gran relevancia que han adquirido los
requisitos no funcionales son retos que han de abordarse durante el proceso de desarrollo
software. En los últimos años, estas ...
Casamayor Rodenas, Juan Carlos(Universitat Politècnica de València, 2009-07-17)
El trabajo incluido en la presente tesis se enmarca dentro del campo de la demostración automática de teoremas y consiste en la estudio, definición y desarrollo de un paradigma de resolución lineal, denominado Resolución ...
New requirements and technology changes lead to continuous changes of the assets comprising a
software product line. Since the product line represents a large number of potential products (or
already deployed products) ...
Mora, Beatriz; García, Félix; Ruiz, F.; Piattini, Mario; Boronat, A.; Gómez Llana, Abel; Carsí Cubel, José Ángel; Ramos Salavert, Isidro(Institute of Electrical and Electronics Engineers (IEEE), 2011-03)
[EN] Currently, in order to obtain high quality software products it is necessary to carry out a good software processes management in which measurement is a fundamental factor. Due to the great diversity of entities ...
[EN] This paper presents a baseline-oriented modelling (BOM) approach to develop families of software products. BOM is a generic solution implemented as a framework that automatically generates software applications using ...