Den 5/1-2026 kommer GUPEA att vara otillgängligt för alla under hela dagen.
Browsing Licentiat theses / Licentiatavhandlingar by Issue Date
Now showing items 1-12 of 12
-
Analysing normative contracts - On the semantic gap between natural and formal languages
(2015)Normative contracts are documents written in natural language, such as English or Swedish, which describe the permissions, obligations, and prohibitions of two or more parties over a set of actions, including descriptions ... -
Qualitative and Quantitative Assessment of Integration Testing for Model-Based Software in the Automotive Industry
(2016)Background: Integration testing of vehicle software in the automotive industry relies heavily on simulation models. As they replicate actual vehicle functions in the testing process, they increase in size and amount of ... -
Understanding Software Design for Creating Better Design Environments
(Chalmers University of Technology and Göteborg University, 2017)Context: Software design is considered an essential activity to analyze software requirements in order to produce a description of the software's internal structure that will serve as the basis for its construction. Models ... -
Addressing Traceability Challenges in the Development of Embedded Systems
(2017)Context: Currently, development e orts in embedded systems development lead to a large number of interconnected artifacts. Traceability enables understanding and managing these artifacts as they evolve. However, ... -
Automata Constructions for LTL with Past
(Department of Computer Science and Engineering University of Gothenburg | Chalmers University of Technology, 2024)Linear temporal logic (LTL) is a popular language in formal verification, especially in the domains of model checking and reactive synthesis. Because its semantics is defined in terms of infinite sequences of symbols ... -
Enhancing Requirements Engineering Practices Using Large Language Models
(2024)Background: Large Language Models (LLMs) offer users natural language interaction, technical insights and task automation capabilities. However, the systematic integration of LLMs within Requirements Engineering ... -
Context-Infused Automated Software Test Generation
(2025)Automated software testing is essential for modern software development, ensuring reliability and efficiency. While search-based techniques have been widely used to enhance test case generation, they often lack adaptability, ... -
Graded Modal Type Theory, Formalized
(2025)A graded modal type theory equips a type theory with a semiring of grades, which enables encoding additional information of some kind. A typical application of such a system is to encode quantitative information, ... -
Some results in synthetic homotopy theory
(2025)Synthetic homotopy theory is a relatively new approach to homotopy theory based on a variant of Martin-Löf type theory called homotopy type theory. A central theme of synthetic homotopy theory is the study of identity ... -
Towards Leveraging Underutilized IoT Resources for Automotive Software: A Study on Resource Sharing for Connected Vehicles
(2025)Background: Internet of Things (IoT) has found its way to day-to-day lives of people, making their lives convenient and connected. As a result of growing IoT usage, we are surrounded by potentially underutilized computing ... -
Towards systematic trade-off management for MLOps: quality model, architectural tactics, design patterns
(2025)Machine-learning-enabled systems are booming within modern software-intensive domains, driving innovation in areas such as healthcare, finance, and autonom ous systems. To produce high-quality and competitive solutions, ... -
Handling Data Leakage in Automotive Datasets for Object Detection
(2025)Background: Object detection is a central component of automotive perception systems that supports safe operation of autonomous driving technologies. The performance of such models is typically evaluated using large-scale ...