Browsing IT Faculty / IT-fakulteten by Title
Now showing items 1-20 of 99
-
1:1 i klassrummet – analyser av en pedagogisk praktik i förändring
(2015-02-06)I denna avhandling analyseras resultaten från två utvärderingsprojekt av 1:1-införande som genomförts på två högstadieskolor (2007-2011) och fyra gymnasieskolor (2012-2014) i Sverige. Data från enkäter, intervjuer och ... -
A Light-Weight Defect Classification Scheme for Embedded Automotive Software Development
(2013-01-25)Objective: Systematic software defect documentation is an essential part of software development process models as a means of early identification of patterns in defect inflow. Such documentation, however, may often be a ... -
A Scholarship Approach to Model-Driven Engineering
(2014-09-26)Model-Driven Engineering is a paradigm for software engineering where software models are the primary artefacts throughout the software life-cycle. The aim is to define suitable representations and processes that enable ... -
Acquired brain injury in children and adolescents: Investigating assessments of communicative participation in daily life situations
(2017-02-03)Aims The overall aim of this thesis was to explore assessments of communicative participation in children and adolescents (hereafter: adolescents) with acquired brain injuries, mainly through evaluations in the Communicative ... -
Actions over Core-closed Knowledge Bases
(2022)We present new results on the application of semantic- and knowledge-based reasoning techniques to the analysis of cloud deployments. In particular, to the security of Infrastructure as Code configuration files, encoded ... -
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, ... -
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 ... -
Architectural Concerns in Base Station Development
(Ericsson AB, 2010-12-17)This report presents a catalogue of architectural concerns found to be important to stakeholders within Ericsson’s Bases Station development. The catalogue is based on interviews with software architects, designers, testers, ... -
Being Multisituated : Characterizing laptoping in networked situations
(2015-03-27)During the last 30 years mobile IT has gone from being an exotic ingredient to an everyday artifact. This thesis presents an ethnographic study of laptop use in a university setting. The thesis concludes that it is no ... -
Business Intelligence Utilisation through Bootstrapping and Adaptation
(2015-06-26)Business Intelligence (BI) has traditionally been viewed as a technology-driven, rational process, which would lead to better decision-making in organisations. Fact-based decisions are expected to reduce costs and increase ... -
Calculi for Program Incorrectness and Arithmetic
(2008-11-18)This thesis is about the development and usage of deductive methods in two main areas: (i) the deductive dis-verification of programs, i.e., how techniques for deductive verification of programs can be used to detect ... -
Child–Robot Interaction in Education
(2017-08-25)Advances in the field of robotics in recent years have enabled the deployment of robots in a multitude of settings, and it is predicted that this will continue to increase, leading to a profound impact on society in the ... -
Computational linguistics resources for Indo-Iranian languages
(2014-08-19)Can computers process human languages? During the last fifty years, two main approaches have been used to find an answer to this question: data- driven (i.e. statistics based) and knowledge-driven (i.e. grammar based). The ... -
Constraints of Digital Transformation
(2022-01-07)Digital transformation is viewed as instrumental in coping with organizational and societal challenges. In the public sector, these challenges include diverse issues, such as demographic changes, constrained financial ... -
Contracts and Computation — Formal modelling and analysis for normative natural language
(2017-10-11)Whether we are aware of it or not, our digital lives are governed by contracts of various kinds, such as privacy policies, software licenses, service agreements, and regulations. At their essence, normative documents like ... -
Creating and Assessing Multimodal Texts. Negations at the Boundary
(2014-04-09)Digital technologies are becoming increasingly common in educational settings. The availability of such tools facilitates the creation of multimodal texts in which several kinds of expression are combined. In this thesis, ... -
Cubical Intepretations of Type Theory
(2016-11-08)The interpretation of types in intensional Martin-Löf type theory as spaces and their equalities as paths leads to a surprising new view on the identity type: not only are higher-dimensional equalities explained as homotopies, ... -
Dashboard development guide How to build sustainable and useful dashboards to support software development and maintenance
(University of Gothenburg, 2015-11-24)N/A -
Designing Digital Resourcing
(2019-11-29)Digital innovation has become imperative for organizational survival and is increasingly contributing to the growth of national wealth. A central element of digital innovation, brought into light in this dissertation, is ... -
Designing for technology-mediated collaboration
(2018-11-30)This thesis concerns the design of a synchronous shared workspace supporting technology-mediated collaboration. In order to collaborate, participants need to be able to coordinate the activity. And to coordinate an activity, ...