Doctoral Theses / Doktorsavhandlingar Institutionen för data- och informationsteknik: Recent submissions

Visas titlar 21-30 av 30

    • 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 ...

    • 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 ...

    • 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 ...

    • 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 ...

    • 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 ...

    • 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 ...

    • 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 ...

    • 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 ...

    • 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 ...

    • 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 ...