Buscar
Mostrando ítems 51-60 de 1124
Ponencia
![Con acceso al texto completo Icon](/themes/idUS//images/acceso/opened_access.png)
FaMa-OVM: A Tool for the Automated Analysis of OVMs
(ACM, 2012)
Orthogonal Variability Model (OVM) is a modelling language for representing variability in Software Product Line Engineering. The automated analysis of OVMs is defined as the computer-aided extraction of information ...
Artículo
![Con acceso al texto completo Icon](/themes/idUS//images/acceso/opened_access.png)
Towards fast metamodel evolution in LiquidML
(River Publishers, 2017)
The software industry is applying Model-driven development approaches due to a core set of benefits, such as raising the level of abstraction and reducing coding errors. However, their underlying modeling languages tend ...
Artículo
![Con acceso al texto completo Icon](/themes/idUS//images/acceso/opened_access.png)
A model‐based solution for process modeling in practice environments: PLM4BS
(Wiley, 2018)
Today's world economic situation is ruled by issues such as reducing cost, improving quality, maximizing profit, and improving and optimizing processes at organizations. In this context, business process management can ...
Tesis Doctoral
![Con acceso al texto completo Icon](/themes/idUS//images/acceso/opened_access.png)
Generación de pruebas del sistema a partir de la especificación funcional
(2011)
De manera general, el proceso de prueba de software suele englobar, al menos, tres tareas principales: desarrollo de los casos de prueba, ejecución de los casos de prueba y análisis de los resultados [Burnstein, 2003]. El ...
Artículo
![Con acceso al texto completo Icon](/themes/idUS//images/acceso/opened_access.png)
A CSP model for simple non-reversible and parallel repair plans
(Springer, 2010)
Thiswork presents a constraint satisfaction problem (CSP) model for the planning and scheduling of disassembly and assembly tasks when repairing or substituting faulty parts. The problem involves not only the ordering ...
Ponencia
![Con acceso al texto completo Icon](/themes/idUS//images/acceso/opened_access.png)
Study of Trivial Compiler Equivalence on C++ Object-Oriented Mutation Operators
(ACM: Association for Computing Machinery, 2019)
Trivial Compiler Equivalence (TCE) has been recently proposed as an effective technique to detect equivalences between programs, where two or more programs are equivalent if the compiler pro duces the same binary code. ...
Ponencia
![Con acceso al texto completo Icon](/themes/idUS//images/acceso/opened_access.png)
A Quality Model in a Quality Evaluation Framework for MDWE methodologies
(IEEE Computer Society, 2010)
Nowadays, diverse development methodologies exist in the field of Model-Driven Web Engineering (MDWE), each of which covers different levels of abstraction on Model-Driven Architecture (MDA): CIM, PIM, PSM and Code. Given ...
Ponencia
![Con acceso al texto completo Icon](/themes/idUS//images/acceso/opened_access.png)
A technological innovation to safely aid in the spatial orientation of blind people in a complex urban environment
(IEEE Computer Society, 2016)
In the broader context of smart cities, to ensure mobility of people regardless of their physical or sensory condition becomes a complex and difficult challenge to be treated. All papers referenced in this work are presented ...
Ponencia
![Con acceso al texto completo Icon](/themes/idUS//images/acceso/opened_access.png)
Challenges for the Adoption of Model-Driven Web Engineering Approaches in Industry
(ScitePress Digital Library, 2017)
Model-driven web engineering approaches have become an attractive research and technology solution for Web application development. However, after 20 years of development, they have attracted little attention from the ...
Artículo
![Con acceso al texto completo Icon](/themes/idUS//images/acceso/opened_access.png)
Obtaining optimal quality measures for quantitative association rules
(Elsevier, 2016)
There exist several works in the literature in which fitness functions based on a combination of weighted measures for the discovery of association rules have been proposed. Nevertheless, some differences in the measures ...