Browsing IT Faculty / IT-fakulteten by Title
Now showing items 33-52 of 139
-
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 ... -
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 ... -
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 ... -
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 ... -
Health Information Systems Interoperability: Towards a Managing as Designing Approach
(2021-10-08)Integrated digital healthcare systems promise improved quality public healthcare and patient continued care among others. However, these have been hampered by various challenges including limited data exchanges between ... -
Heterogeneous IT Innovation. Developing Industrial Architectural Knowledge
(2007)Multiple information technologies are converging. Crucial to organizations’ relentless struggle to remain competitive, IT innovation processes must now increasingly take into consideration a multitude of stationary, ... -
ICT and discretion: An “up-to-date” view of what we want to know and how it can be studied
(Presented at 20th Scandinavian Workshop on E-Government (SWEG): From Government automation to AI, 1-2 February, 2023, Örebro University., 2023)The discretion of street-level bureaucrats is increasingly affected by public sector digitalisation. The aim of this study was to provide a scoping review with “state of the art” of research about information and communication ...