Browsing Doctoral Theses / Doktorsavhandlingar Institutionen för data- och informationsteknik by Title
Now showing items 26-33 of 33
-
Service Robotics Software Engineering
(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’ ... -
Sheaf Semantics in Constructive Algebra and Type Theory
(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 ... -
Software Defect Prediction Techniques in Automotive Domain: Evaluation, Selection and Adoption
(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 ... -
Towards Next-Gen Machine Learning Asset Management Tools
(2023-10-26)Context: The proficiency of machine learning (ML) systems in solving many real-world problems effectively has enabled a paradigm shift toward ML-enabled systems. In ML-enabled software, significant software code artifacts ... -
Understanding and Supporting Software Design in Model-Based Software Engineering
(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 ... -
Understanding, Implementing, and Supporting Security Assurance Cases in Safety-Critical Domains
(2023-05-25)The increasing demand for connectivity in safety-critical domains has made security assurance a crucial consideration. In safety-critical industry, software, and connectivity have become integral to meeting market expectations. ... -
Understanding, Measuring, and Evaluating Maintainability of Automotive Software
(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 ... -
Unsupervised Learning of Morphology and the Languages of the World
(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 ...