Browsing IT Faculty / IT-fakulteten by Title
Now showing items 2-21 of 139
-
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 ... -
Användning av mobiltelefoner i den digitaliserade skolan: Elevers och lärares perspektiv
(2022-11-10)På ett övergripande plan problematiserar avhandlingen skolans digitalisering och dess konsekvenser för både elevers och lärares skolvardag. Mer specifikt syftar avhandlingen till att fördjupa kunskapen om användningen av ... -
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, ... -
AspectSol: A Solidity Aspect-Oriented Programming Tool with Applications in Runtime Verification
(International Conference on Runtime Verification, 2022)Aspect-oriented programming tools aim to provide increased code modularity by enabling programming of cross-cutting concerns separate from the main body of code. Since the inception of runtime verification, aspect-oriented ... -
Automated replication of tuple spaces via static analysis
(2022)Coordination languages for tuple spaces can offer significant advantages in the specification and implementation of distributed systems, but often do require manual programming effort to ensure consistency. We propose an ... -
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 ... -
COOL 2 – A Generic Reasoner for Modal Fixpoint Logics (System Description)
(2023)There is a wide range of modal logics whose semantics goes beyond relational structures, and instead involves, e.g., probabilities, multi-player games, weights, or neighbourhood structures. Coalgebraic logic serves as a ... -
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, ...