124 research outputs found
Development of an e-portfolio social network using emerging web technologies
Dissertação de mestrado em Informatics EngineeringDigital portfolios (also known as e-Portfolios) can be described as digital collections of artifacts, being both a
product (a digital collection of artifacts) and a process (reflecting on those artifacts and what they represent). It
is an extension of the traditional Curriculum Vitae, which tells the educational and professional milestones of
someone, while the portfolio proves and qualifies them (e.g.: annually thousands of students finish a Master
degree on Informatics, but only one has built Vue, Twitter or Facebook – the Portfolio goes beyond the CV
milestones by specifying the person’s output throughout life and distinguishing them). e-Portfolios augment this
by introducing new digital representations and workflows, exposed to a community, being both a product and
a process. This approach can be useful for individual self-reflection, education or even job markets, where
companies seek talented individuals, because it expands the traditional CV concept and empowers individual
merit. There have been many studies, theories, and methodologies related with e-Portfolios, but transpositions
to web applications have been unsuccessful, untuitive and too complex (in opposition to the CV format, which
had success in various applications, for example LinkedIn).
This project aims to study new approaches and develop an exploratory web/mobile application of this method ology, by exploring the potential of social networks to promote them, augmented by emergent web technologies.
Its main output is the prototype of a new product (a social network of e-Portfolio) and its design decisions, with
new theoretical approaches applied to web development. By the end of this project, we will have idealized a web
infrastructure for interacting with networks of users, their skills, and communities seeking them.
The approach to the development of this platform will be to integrate emerging technologies like WebAssembly
and Rust in its development cycle and document our findings. At the end of this project, in addition to the
prototype of a new product, we hope to have contributed to the State of the Art of Web Engineering and to be
able to answer questions regarding new emerging web development ecosystems.Os portfólios digitais (também conhecidos como e-Portfolios) podem ser descritos como coleções digitais de
artefatos, sendo tanto um produto (uma coleção digital de artefatos) quanto um processo (refletindo sobre esses
artefatos e o que eles representam). É uma extensão do tradicional Curriculum Vitae, onde o primeiro conta os
marcos educacionais e profissionais de alguém, enquanto que o segundo, o Portfólio, comprova-os e qualifica-os
(e.g.: anualmente milhares de alunos concluem graduações em Informática, no entanto apenas um consebeu
o Vue, o Twitter ou o Facebook - o Portfólio vai além dos indicadores quantitativos do CV, especificando e
qualificando a produção da pessoa ao longo da vida e distinguindo-a). Os e-Portfolios expandem este conceito
com a introdução de novas representações digitais e fluxos de trabalho, expostos a uma comunidade, sendo
tanto um produto como um processo. Esta abordagem pode ser útil para a autorreflexão individual, educação ou
mesmo mercados de trabalho, onde as empresas procuram indivÃduos talentosos, porque expande o conceito
tradicional de CV e potencializa o mérito individual. Existem muitos estudos, teorias e metodologias relacionadas
com os e-Portfolios, mas as transposições para aplicações web têm sido mal sucedidas, pouco intuitivas e muito
complexas (em oposição ao formato CV, que tem tido sucesso em várias aplicações, por exemplo no LinkedIn).
Este projeto visa estudar novas abordagens neste domÃnio e desenvolver uma aplicação exploratória web/mobile que melhor exprima os e-Portfolios, explorando o potencial das redes sociais para os promover em conjunto
com tecnologias web emergentes. As principais produções esperadadas deste trabalho são um protótipo de
um novo produto (uma rede social de e-Portfolio) e documentar novas abordagens teóricas aplicadas ao desenvolvimento web. No final deste projeto, teremos idealizado uma infraestrutura web para interagir com redes de
utilizadores, as suas competências e comunidades que os procurem.
A abordagem ao desenvolvimento desta plataforma será integrar tecnologias emergentes como WebAssembly e Rust no seu ciclo de desenvolvimento e documentar as nossas descobertas e decisões. No final deste
projeto, para além do protótipo de uma plataforma, esperamos ter contribuido para o Estado da Arte da Engenharia Web e responder a questões sobre novos ecossistemas emergentes de desenvolvimento web
Formal Methods for Constraint-Based Testing and Reversible Debugging in Erlang
Tesis por compendio[ES] Erlang es un lenguaje de programación funcional con concurrencia mediante paso de mensajes basado en el modelo de actores. Éstas y otras caracterÃsticas lo hacen especialmente adecuado para aplicaciones distribuidas en tiempo real acrÃtico. En los últimos años, la popularidad de Erlang ha aumentado debido a la demanda de servicios concurrentes.
No obstante, desarrollar sistemas Erlang libres de errores es un reto considerable. A pesar de que Erlang evita muchos problemas por diseño (por ejemplo, puntos muertos), algunos otros problemas pueden aparecer. En este contexto, las técnicas de testing y depuración basadas en métodos formales pueden ser útiles para detectar, localizar y arreglar errores de programación en Erlang.
En esta tesis proponemos varios métodos para testing y depuración en Erlang. En particular, estos métodos están basados en modelos semánticos para concolic testing, pruebas basadas en propiedades, depuración reversible con consistencia causal y repetición reversible con consistencia causal de programas Erlang. Además, probamos formalmente las principales propiedades de nuestras propuestas y diseñamos herramientas de código abierto que implementan estos métodos.[CA] Erlang és un llenguatge de programació funcional amb concurrència mitjançant pas de missatges basat en el model d'actors. Estes i altres caracterÃstiques el fan especialment adequat per a aplicacions distribuïdes en temps real acrÃtic. En els últims anys, la popularitat d'Erlang ha augmentat degut a la demanda de servicis concurrents.
No obstant, desenvolupar sistemes Erlang lliures d'errors és un repte considerable. Encara que Erlang evita molts problemes per disseny (per exemple, punts morts), alguns altres problemes poden aparéixer. En este context, les tècniques de testing y depuració basades en mètodes formals poden ser útils per a detectar, localitzar y arreglar errors de programació en Erlang.
En esta tesis proposem diversos mètodes per a testing i depuració en Erlang. En particular, estos mètodes estan basats en models semà ntics per a concolic testing, testing basat en propietats, depuració reversible amb consistència causal i repetició reversible amb consistència causal de programes Erlang. A més, provem formalment les principals propietats de les nostres propostes i dissenyem ferramentes de codi obert que implementen estos mètodes.[EN] Erlang is a message-passing concurrent, functional programming language based on the actor model. These and other features make it especially appropriate for distributed, soft real-time applications. In the recent years, Erlang's popularity has increased due to the demand for concurrent services.
However, developing error-free systems in Erlang is quite a challenge. Although Erlang avoids many problems by design (e.g., deadlocks), some other problems may appear. Here, testing and debugging techniques based on formal methods may be helpful to detect, locate and fix programming errors in Erlang.
In this thesis we propose several methods for testing and debugging in Erlang. In particular, these methods are based on semantics models for concolic testing, property-based testing, causal-consistent reversible debugging and causal-consistent replay debugging of Erlang programs. We formally prove the main properties of our proposals and design open-source tools that implement these methods.Palacios Corella, A. (2020). Formal Methods for Constraint-Based Testing and Reversible Debugging in Erlang [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/139076TESISCompendi
Fundamental Approaches to Software Engineering
This open access book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, FASE 2021, which took place during March 27–April 1, 2021, and was held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg but changed to an online format due to the COVID-19 pandemic. The 16 full papers presented in this volume were carefully reviewed and selected from 52 submissions. The book also contains 4 Test-Comp contributions
Formally-based tools and techniques for human-computer dialogues
With ever cheaper and more powerful technology. the proliferation of computer systems, and higher expectations of their users, the user interface is now seen as a crucial part of any interactive system. As the designers and users of interactive software have found, though, it can be both difficult and costly to create good interactive software. It is therefore appropriate to look at ways of "engineering" the interface as well as the application. which we choose to do by using the software engineering techniques of specification and prototyping.
Formally specifying the user interface allows the designer to reason about its properties in the light of the many guidelines on the subject. Early availability of prototypes of the user interface allows the designer to experiment with alternative options and to elicit feedback from potential users.
This thesis presents tools and techniques (collectively called SPI for specifying and prototyping the dialogues between an interactive system and its users. They are based on a formal specification and rapid prototyping method and notation called me too. and were originally designed as an extension to me too. They have also been implemented under UNIX*. thus enabling a transition from the formal specification to its implementation.
*UNIX is a trademark of AT&T Bell Laboratorie
Semi-automated co-reference identification in digital humanities collections
Locating specific information within museum collections represents a significant challenge for collection users.
Even when the collections and catalogues exist in a searchable digital format, formatting differences and the imprecise nature of the information to be searched mean that information can be recorded in a large number of different ways. This variation exists not just between different collections, but also within individual ones. This means that traditional information retrieval techniques are badly suited to the challenges of locating particular information in digital humanities collections and searching, therefore, takes an excessive amount of time and resources.
This thesis focuses on a particular search problem, that of co-reference identification. This is the process of identifying when the same real world item is recorded in multiple digital locations. In this thesis, a real world example of a co-reference identification problem for digital humanities collections is identified and explored. In particular the time consuming nature of identifying co-referent records. In order to address the identified problem, this thesis presents a novel method for co-reference identification between digitised records in humanities collections. Whilst the specific focus of this thesis is co-reference identification, elements of the method described also have applications for general information retrieval.
The new co-reference method uses elements from a broad range of areas including; query expansion, co-reference identification, short text semantic similarity and fuzzy logic. The new method was tested against real world collections information, the results of which suggest that, in terms of the quality of the co-referent matches found, the new co-reference identification method is at least as effective as a manual search. The number of co-referent matches found however, is higher using the new method.
The approach presented here is capable of searching collections stored using differing metadata schemas. More significantly, the approach is capable of identifying potential co-reference matches despite the highly heterogeneous and syntax independent nature of the Gallery, Library Archive and Museum (GLAM) search space and the photo-history domain in particular. The most significant benefit of the new method is, however, that it requires comparatively little manual intervention. A co-reference search using it has, therefore, significantly lower person hour requirements than a manually conducted search.
In addition to the overall co-reference identification method, this thesis also presents:
• A novel and computationally lightweight short text semantic similarity metric. This new metric has a significantly higher throughput than the current prominent techniques but a negligible drop in accuracy.
• A novel method for comparing photographic processes in the presence of variable terminology and inaccurate field information. This is the first computational approach to do so.AHR
How Visualization Supports the Daily Work in Traditional Humanities on the Example of Visual Analysis Case Studies
Attempts to convince humanities scholars of digital approaches are met with
resistance, often. The so-called Digitization Anxiety is the phenomenon that
describes the fear of many traditional scientists of being replaced by digital
processes. This hinders not only the progress of the scientific domains themselves
– since a lot of digital potential is missing – but also makes the everyday work
of researchers unnecessarily difficult. Over the past eight years, we have
made various attempts to walk the tightrope between 'How can we help
traditional humanities to exploit their digital potential?' and 'How can we
make them understand that their expertise is not replaced by digital means, but
complemented?' We will present our successful interdisciplinary collaborations:
How they came about, how they developed, and the problems we encountered. In
the first step, we will look at the theoretical basics, which paint a comprehensive
picture of the digital humanities and introduces us to the topic of visualization.
The field of visualization has shown a special ability: It manages to walk the
tightrope and thus keeps digitization anxiety at bay, while not only making it
easier for scholars to access their data, but also enabling entirely new research
questions. After an introduction to our interdisciplinary collaborations with
the Musical Instrument Museum of Leipzig University, as well as with the
Bergen-Belsen Memorial, we will present a series of user scenarios that we
have collected in the course of 13 publications. These show our cooperation
partners solving different research tasks, which we classify using Brehmer and
Munzner’s Task Classification. In this way, we show that we provide researchers
with a wide range of opportunities: They can answer their traditional research
questions – and in some cases verify long-standing hypotheses about the data
for the first time – but also develop their own interest in previously impossible,
new research questions and approaches. Finally, we conclude our insights on
individual collaborative ideas with perspectives on our newest projects. These
have risen from the growing interest of collaborators in the methods we deliver.
For example, we get insights into the music of real virtuosos of the 20th century.
The necessary music storage media can be heard for the first time through
digital tools without risking damage to the old material. In addition, we can
provide computer-aided analysis capabilities that help musicologists in their work.
In the course of the visualization project at the Bergen-Belsen memorial, we
will see that what was once a small diary project has grown into a multimodal
and international project with institutions of culture and science from eight
countries. This is dedicated not only to the question of preserving cultural
objects from Nazi persecution contexts but also to modern ways of disseminating
and processing knowledge around this context. Finally, we will compile our
experience and accumulated knowledge in the form of problems and challenges
at the border between computer science and traditional humanities. These will
serve as preparation and assistance for future and current interested parties of
such interdisciplinary collaborative project
- …