Browsing Doctoral Theses / Doktorsavhandlingar Institutionen för data- och informationsteknik by Issue Date
Now showing items 21-35 of 35
-
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, 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 ... -
Improving software traceability tools and processes
(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
(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 ... -
Efficiency and Automation in Threat Analysis of Software Systems
(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 ... -
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’ ... -
Generative comics - A computational approach to creating comics material
(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 ... -
Pre-deployment Description Logic-based Reasoning for Cloud Infrastructure Security
(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 ... -
Facilitating Feature-Oriented Quality Assurance in Low-Maturity Variant-rich Systems
(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 ... -
Groupoid-Valued Presheaf Models of Univalent Type Theory
(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 ... -
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. ... -
Improving the Performance of Machine Learning-based Methods for Continuous Integration by Handling Noise
(2023-08-22)Background: Modern software development companies are increasingly implementing continuous integration (CI) practices to meet market demands for delivering high-quality features. The availability of data from CI systems ... -
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 ... -
Pedestrian Behavior Prediction Using Machine Learning Methods
(2024-11-14)Background: Accurate pedestrian behavior prediction is essential for reducing fatalities from pedestrian-vehicle collisions. Machine learning can support automated vehicles to better understand pedestrian behavior in complex ... -
Bridging Worlds: Integrating Human Factors in Agile Automated Vehicle Development
(2024-12-19)Abstract: Context: Automated Vehicle (AV) technology has grown significantly in complexity and impact, promising to transform urban transportation. However, research shows that vehicle automation can only live up to this ...