Now showing items 1-20 of 34

    • 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 ...
    • Programming Language Techniques for Natural Language Applications 

      Bringert, Björn (2008-10-16)
      It is easy to imagine machines that can communicate in natural language. Constructing such machines is more difficult. The aim of this thesis is to demonstrate how declarative grammar formalisms that distinguish between ...
    • 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 ...
    • Unsupervised Learning of Morphology and the Languages of the World 

      Hammarström, Harald (2009-11-16)
      This thesis presents work in two areas; Language Technology and Linguistic Typology. In the field of Language Technology, a specific problem is addressed: Can a computer extract a description of word conjugation in a ...
    • 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 ...
    • 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 ...
    • 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 ...
    • 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 ...
    • 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 ...
    • Software Defect Prediction Techniques in Automotive Domain: Evaluation, Selection and Adoption 

      Rana, Rakesh (2015-01-29)
      Software is becoming an increasingly important part of automotive product development. While software in automotive domain enables important functionality and innovations, it also requires significant effort for its ...
    • 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 ...
    • 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 ...
    • 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, ...
    • 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 ...
    • 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 ...
    • 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 ...
    • 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 ...
    • 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 ...
    • 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 ...
    • 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 ...