Browsing IT Faculty / IT-fakulteten by Title
Now showing items 39-58 of 152
-
Effective SAT solving
(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 ... -
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 ... -
Empowering Empirical Research in Software Design: Construction and Studies on a Large-Scale Corpus of UML Models
(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 ... -
Enacting ambidextrous IT governance in healthcare
(2020-05-20)With digitalization, Information Technology (IT) has become an integral part of digital business strategies and future solutions and this calls for organizations to prioritize the governance of IT if they are to succeed ... -
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 ... -
Evaluating as designing. Towards a Balanced IT investements Approach
(2011-02-25)The evaluation of information technology (IT) investments continues to present challenges to many organizations. While the emergence of new technologies complicates this activity, business value from IT typically resides ... -
EXPERIENCES OF SPEAKING WITH CONVERSATIONAL AI IN LANGUAGE EDUCATION
(2023-08-17)This thesis explores the application of digital tools in Swedish language education, specifically in relation to speaking skills. It focuses on dialogue- based, computer-assisted language learning, which enables students ... -
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 ... -
Factors influencing reuse and speed in three organizations
(2012-05-29) -
Fair Omega-regular Games
(27th International Conference on Foundations of Software Science and Computation Structures, 2024)We consider two-player games over finite graphs in which both players are restricted by fairness constraints on their moves. Given a two player game graph G=(V,E) and a set of fair moves E_f a subset of E a player is said ... -
Faster and Smaller Solutions of Obliging Games
(35th International Conference on Concurrency Theory (CONCUR 2024), 2024)Obliging games have been introduced in the context of the game perspective on reactive synthesis in order to enforce a degree of cooperation between the to-be-synthesized system and the environment. Previous approaches to ... -
Faster Game Solving by Fixpoint Acceleration
(2024)We propose a method for solving parity games with acyclic (DAG) sub-structures by computing nested fixpoints of a DAG attractor function that lives over the non-DAG parts of the game, thereby restricting the domain of the ... -
Formal Methods for Testing Grammars
(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 ... -
Formalizing Refinements and Constructive Algebra in Type Theory
(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 ... -
Frame Shifting and Frame Blending in Digital Transformation
(2023-05-04)As organizations embrace digital technologies in new ways, they experience a process known as digital transformation. This process is not just about technological changes – digital transformation also involves ... -
Frontiers of Multilingual Grammar Development
(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 ... -
Games for Efficient Supervisor Synthesis
(2023)In recent years, there has been an increasing interest in the connections between supervisory control theory and reactive synthesis. As the two fields use similar techniques there is great hope that technologies from one ... -
Games for Efficient Supervisor Synthesis
(2023)In recent years, there has been an increasing interest in the connections between supervisory control theory and reactive synthesis. As the two fields use similar techniques there is great hope that technologies from one ... -
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 ... -
Generic Model Checking for Modal Fixpoint Logics in COOL-MC
(2023)We report on COOL-MC, a model checking tool for fixpoint logics that is parametric in the branching type of models (non-deterministic, game-based, probabilistic etc.) and in the next-step modalities used in formulae. The ...