Now showing items 1-20 of 28

    • A Scholarship Approach to Model-Driven Engineering 

      Burden, Håkan (2014-09-26)
      Model-Driven Engineering is a paradigm for software engineering where software models are the primary artefacts throughout the software life-cycle. The aim is to define suitable representations and processes that enable ...
    • Calculi for Program Incorrectness and Arithmetic 

      Rümmer, Philipp (2008-11-18)
      This thesis is about the development and usage of deductive methods in two main areas: (i) the deductive dis-verification of programs, i.e., how techniques for deductive verification of programs can be used to detect ...
    • Computational linguistics resources for Indo-Iranian languages 

      Virk, Shafqat (2014-08-19)
      Can computers process human languages? During the last fifty years, two main approaches have been used to find an answer to this question: data- driven (i.e. statistics based) and knowledge-driven (i.e. grammar based). The ...
    • 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, ...
    • Effective SAT solving 

      Sörensson, Niklas (2008-10-02)
      A growing number of problem domains are successfully being tackled by SAT solvers. This thesis contributes to that trend by pushing the state-of-the-art of core SAT algorithms and their implementation, but also in several ...
    • 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 ...
    • 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 ...
    • 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 ...
    • Formalizing Refinements and Constructive Algebra in Type Theory 

      Mörtberg, Anders (2014-11-21)
      The extensive use of computers in mathematics and engineering has led to an increased demand for reliability in the implementation of algorithms in computer algebra systems. One way to increase the reliability is to formally ...
    • Frontiers of Multilingual Grammar Development 

      Enache, Ramona (2013-09-30)
      The thesis explores a number of ways for developing multilingual grammars written in GF (Grammatical Framework). The goal is to enhance both the coverage of the grammars, in terms of content and number of languages, and ...
    • 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 ...
    • 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 ...
    • 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 ...
    • 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 ...
    • 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 ...
    • 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 ...
    • Practical, Flexible programming with Information Flow Control 

      Broberg, Niklas (2011-08-15)
      Mainstream mechanisms for protection of information security are not adequate. Most vulnerabilities today do not arise from deficiencies in network security or encryption mechanisms, but from software that fails to provide ...
    • Pre-deployment Description Logic-based Reasoning for Cloud Infrastructure Security 

      Cauli, Claudia
      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 ...
    • 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 ...