• Groupoid-Valued Presheaf Models of Univalent Type Theory 

  Ruch, Fabian (2022-11-03)

  One main goal of this thesis is to study constructive models of type theory with one univalent universe that interpret types by “presheaves” of groupoids. A starting point is the fact that the groupoid model can be ...

• Facilitating Feature-Oriented Quality Assurance in Low-Maturity Variant-rich Systems 

  Mukelabai, Mukelabai (2022-09-08)

  Context: Many software systems exist in several variants customized for specific stakeholder requirements, such as different market segments or hardware constraints. This customization introduces a high level of complexity ...

• Pre-deployment Description Logic-based Reasoning for Cloud Infrastructure Security 

  Cauli, Claudia (2022-05-25)

  Ensuring the security of a cloud application is exceptionally challenging. Not only is cloud infrastructure inherently complex, but also a precise definition of what is secure is hard to give. Business context, regulatory ...

• Generative comics - A computational approach to creating comics material 

  Nairat, Malik (2021-09-24)

  Digital storytelling can be employed as a tool that incorporates human creativity with technology. It synthesizes multimedia based elements to create engaging stories and compelling narratives. To this end, this research ...

• Service Robotics Software Engineering 

  García, Sergio (2021-08-16)

  Context. Robots are increasingly becoming involved in our lives and currently, teams of service robots cooperate to support humans by performing useful, repetitive, or dangerous tasks. However, engineering the robots’ ...

• Efficiency and Automation in Threat Analysis of Software Systems 

  Katja, Tuma (2020-12-04)

  Context: Security is a growing concern in many organizations. Industries developing software systems plan for security early-on to minimize expensive code refactorings after deployment. In the design phase, teams of experts ...

• Learning Language (with) Grammars: From Teaching Latin to Learning Domain-Specific Grammars 

  Lange, Herbert (2020-08-25)

  This thesis describes work in three areas: grammar engineering, computer-assisted language learning and grammar learning. These three parts are connected by the concept of a grammar-based language learning application. Two ...

• Understanding, Measuring, and Evaluating Maintainability of Automotive Software 

  Schroeder, Jan (2020-08-17)

  Context: The importance of software maintainability is well-addressed by software engineering research, in general. Particularly for object-oriented and open-source software, measurements as a means to represent maintainability ...

• Improving software traceability tools and processes 

  Maro, Salome (2020-08-17)

  Context: Development of large and complex software leads to a large number of interconnected artifacts such as requirements, design models, code and implementation. Traceability enables understanding and managing these ...

• Understanding and Supporting Software Design in Model-Based Software Engineering 

  Jolak, Rodi (2020-02-10)

  Model-Based Software Engineering (MBSE) is a software development approach in which models can serve a multitude of purposes. On the one hand, models can be used for ideation, to stimulate creative thinking, and facilitate ...

• Empowering Empirical Research in Software Design: Construction and Studies on a Large-Scale Corpus of UML Models 

  Truong, Ho-Quang (2019-09-18)

  Context: In modern software development, software modeling is considered to be an essential part of the software architecture and design activities. The Unified Modeling Language (UML) has become the de facto standard for ...

• Multilingual Abstractions: Abstract Syntax Trees and Universal Dependencies 

  Kolachina, Prasanth (2019-05-24)

  This thesis studies the connections between parsing friendly representations and interlingua grammars developed for multilingual language generation. Parsing friendly representations refer to dependency tree representations ...

• Formal Methods for Testing Grammars 

  Listenmaa, Inari (2019-02-15)

  Grammar engineering has a lot in common with software engineering. Analogous to a program specification, we use descriptive grammar books; in place of unit tests, we have gold standard corpora and test cases for manual ...

• Psychological group processes when building agile software development teams 

  Gren, Lucas (2017-11-16)

  Background: With the agile approach to managing software development projects, comes an increased dependability on well functioning teams. Agile teams are profoundly influenced by social-psychological factors since more ...

• Measuring the Evolution of Meta-models, Models and Design Requirements to Facilitate Architectural Updates in Large Software Systems 

  Durisic, Darko (2017-10-24)

  Background: In order to reduce complexity of the system and its development cost, the architecture of large software systems is often developed following the MDE (Model-Driven Engineering) approach. Developing architectures ...

• Proactive Software Complexity Assessment 

  Antinyan, Vard (2017-10-16)

  Large software development companies primarily deliver value to their customers by continuously enhancing the functionality of their products. Continuously developing software for customers insures the enduring success of ...

• Contracts and Computation — Formal modelling and analysis for normative natural language 

  Camilleri, John J. (2017-10-11)

  Whether we are aware of it or not, our digital lives are governed by contracts of various kinds, such as privacy policies, software licenses, service agreements, and regulations. At their essence, normative documents like ...

• Cubical Intepretations of Type Theory 

  Huber, Simon (2016-11-08)

  The interpretation of types in intensional Martin-Löf type theory as spaces and their equalities as paths leads to a surprising new view on the identity type: not only are higher-dimensional equalities explained as homotopies, ...

• Sheaf Semantics in Constructive Algebra and Type Theory 

  Mannaa, Bassel (2016-10-06)

  In this thesis we present two applications of sheaf semantics. The first is to give constructive proof of Newton-Puiseux theorem. The second is to show the independence of Markov's principle from type theory. In the ...

• Methods and Tools for Automating Language Engineering 

  Détrez, Grégoire (2016-05-12)

  Language-processing software is becoming increasingly present in our society. Making such tools available to the greater number is not just a question of access to technology but also a question of language as they need ...

View more