14 research outputs found
A Simply Numbered Lambda Calculus
While programming languages traditionally lean towards functions, query languages are often relational in character. Taking the relations language of Harkes and Visser as a starting point, I explore how the functional paradigm, represented by the lambda calculus, can be extended to form the basis of a relational language. It turns out that a straightforward extension with strings of terms not only supports surprisingly many features of the relations language, but also opens it up for higher-order relations, one prominent feature the relations language does not offer
Método para la evaluación de usabilidad de sitios web transaccionales basado en el proceso de inspección heurÃstica
La usabilidad es considerada uno de los factores más importantes en el desarrollo de productos
de software. Este atributo de calidad está referido al grado en que, usuarios especÃficos de un
determinado aplicativo, pueden fácilmente hacer uso del software para lograr su propósito. Dada
la importancia de este aspecto en el éxito de las aplicaciones informáticas, múltiples métodos de
evaluación han surgido como instrumentos de medición que permiten determinar si la propuesta
de diseño de la interfaz de un sistema de software es entendible, fácil de usar, atractiva y agradable
al usuario. El método de evaluación heurÃstica es uno de los métodos más utilizados en el área de
Interacción Humano-Computador (HCI) para este propósito debido al bajo costo de su ejecución
en comparación otras técnicas existentes. Sin embargo, a pesar de su amplio uso extensivo durante
los últimos años, no existe un procedimiento formal para llevar a cabo este proceso de evaluación.
Jakob Nielsen, el autor de esta técnica de inspección, ofrece únicamente lineamientos generales
que, según la investigación realizada, tienden a ser interpretados de diferentes maneras por los
especialistas. Por tal motivo, se ha desarrollado el presente proyecto de investigación que tiene
como objetivo establecer un proceso sistemático, estructurado, organizado y formal para llevar a
cabo evaluaciones heurÃsticas a productos de software. En base a un análisis exhaustivo realizado
a aquellos estudios que reportan en la literatura el uso del método de evaluación heurÃstica como
parte del proceso de desarrollo de software, se ha formulado un nuevo método de evaluación
basado en cinco fases: (1) planificación, (2) entrenamiento, (3) evaluación, (4) discusión y (5)
reporte. Cada una de las fases propuestas que componen el protocolo de inspección contiene un
conjunto de actividades bien definidas a ser realizadas por el equipo de evaluación como parte
del proceso de inspección. Asimismo, se han establecido ciertos roles que deberán desempeñar
los integrantes del equipo de inspectores para asegurar la calidad de los resultados y un apropiado
desarrollo de la evaluación heurÃstica. La nueva propuesta ha sido validada en dos escenarios
académicos distintos (en Colombia, en una universidad pública, y en Perú, en dos universidades
tanto en una pública como en una privada) demostrando en todos casos que es posible identificar
más problemas de usabilidad altamente severos y crÃticos cuando un proceso estructurado de
inspección es adoptado por los evaluadores. Otro aspecto favorable que muestran los resultados
es que los evaluadores tienden a cometer menos errores de asociación (entre heurÃstica que es
incumplida y problemas de usabilidad identificados) y que la propuesta es percibida como fácil
de usar y útil. Al validarse la nueva propuesta desarrollada por el autor de este estudio se consolida
un nuevo conocimiento que aporta al bagaje cultural de la ciencia.Tesi
Model-Based Engineering of Collaborative Embedded Systems
This Open Access book presents the results of the "Collaborative Embedded Systems" (CrESt) project, aimed at adapting and complementing the methodology underlying modeling techniques developed to cope with the challenges of the dynamic structures of collaborative embedded systems (CESs) based on the SPES development methodology. In order to manage the high complexity of the individual systems and the dynamically formed interaction structures at runtime, advanced and powerful development methods are required that extend the current state of the art in the development of embedded systems and cyber-physical systems. The methodological contributions of the project support the effective and efficient development of CESs in dynamic and uncertain contexts, with special emphasis on the reliability and variability of individual systems and the creation of networks of such systems at runtime. The project was funded by the German Federal Ministry of Education and Research (BMBF), and the case studies are therefore selected from areas that are highly relevant for Germany’s economy (automotive, industrial production, power generation, and robotics). It also supports the digitalization of complex and transformable industrial plants in the context of the German government's "Industry 4.0" initiative, and the project results provide a solid foundation for implementing the German government's high-tech strategy "Innovations for Germany" in the coming years