Browsing IT Faculty / IT-fakulteten by Title
Now showing items 62-81 of 152
-
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 ... -
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 ... -
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 ... -
Incorporating Monitors in Reactive Synthesis without Paying the Price
(19th International Symposium on Automated Technology for Verification and Analysis, 2021)Temporal synthesis attempts to construct reactive programs that satisfy a given declarative (LTL) formula. Practitioners have found it challenging to work exclusively with declarative speci cations, and have found ... -
Informationssystem i professionsorienterat arbete
(University of Gothenburg. Department of Applied Information Technology, 2009-04-21)This thesis investigates the challenges within the work of different types of professions; technical professions and human caretaking professions. These professions are faced special challenges in use and development of ... -
Instructional technologies in science education: Student´s scientific reasoning in collaborative classroom activities
(2012-03-08)This study originates from an interest in how students interpret scientific con-cepts demonstrated with animated instructional technologies. Currently, science education makes use of diverse kinds of instructional methods. ... -
Intuitive Modelling and Formal Analysis of Collective Behaviour in Foraging Ants
(2024)We demonstrate a novel methodology that integrates intuitive modelling, simulation, and formal verification of collective behaviour in biological systems. To that end, we consider the case of a colony of foraging ants, ... -
Kritiskt digitalt textarbete i klassrummet
(2020-03-13)Increasingly sophisticated technologies are expanding opportunities to create, use and share digital and multimodal texts based on different perspectives and motives. Among the prerequisites for participating actively in ... -
Kunskapsintegrering med informationssystem i professionsorienterade praktiker
(2012-06-01)Den här avhandlingen utgår ifrån ett professionsorienterat perspektiv på användning av informationssystem. Informationssystem för kunskapsintegrering i professionsorienterade arbetspraktiker innebär en dynamik för styrning ... -
Language Support for Verifying Reconfigurable Interacting Systems
(2023)Reconfigurable interacting systems consist of a set of autonomous agents, with integrated interaction capabilities that feature opportunistic interaction. Agents seemingly reconfigure their interactions interfaces by forming ... -
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 ... -
Learning Science by Digital Technology. Students' understanding of computer animated learning material
(2010-03-26)Digital learning material is associated with grand expectations among educational policy makers. Several attempts to introduce this new technology with the purpose of enhancing learning have been made in recent years. ... -
Making sense of sensing: Learning through Maker-based Civic Engagement
(2022-03-02)In the last decade or two, initiatives engaging the public in scientific activities have become increasingly popular. For example, in air pollution monitoring with Do-it-Yourself (DIY) low-cost sensors. It is a relatively ... -
Maternal Healthcare in Low-Resource Settings: Investigations of IT as a resource
(2020-05-15)Maternal mortality is a major problem especially in developing countries. Maternal deaths are partly attributed to the limited access to healthcare and a shortage of medically trained health professionals who can provide ... -
Measuring the Evolution of Meta-models, Models and Design Requirements to Facilitate Architectural Updates in Large Software Systems
(2017-10-24)Background: In order to reduce complexity of the system and its development cost, the architecture of large software systems is often developed following the MDE (Model-Driven Engineering) approach. Developing architectures ... -
Methods and Tools for Automating Language Engineering
(2016-05-12)Language-processing software is becoming increasingly present in our society. Making such tools available to the greater number is not just a question of access to technology but also a question of language as they need ... -
Mobile phones in school: From disturbing objects to infrastructure for learning
(2017-09-06)Amid digitalisation, the mobile phone has pervaded society and become one of the most widespread digital technologies. In school, the mobile phone has stirred up conflicts and tensions visible in public debate as well as ... -
Model Checking Reconfigurable Interacting Systems
(International Symposium on Leveraging Applications of Formal Methods, 2022)Reconfigurable multi-agent systems consist of a set of autonomous agents, with integrated interaction capabilities that feature opportunistic interaction. Agents seemingly reconfigure their interactions interfaces by forming ... -
Model-Based Engineering for Embedded Systems in Practice
(2014-11-18)Model-Based Engineering (MBE) aims at increasing the e↵ectiveness of engineering by using models as key artifacts in the development process. While empirical studies on the use and the e↵ects of MBE in industry generally ...