Browsing IT Faculty / IT-fakulteten by Title
Now showing items 2-21 of 152
-
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 ... -
Adding Reconfiguration to Zielonka’s Asynchronous Automata
(Electronic Proceedings in Theoretical Computer Science, EPTCS, 88-102, 2024)We study an extension of Zielonka’s (fixed) asynchronous automata called reconfigurable asynchronous automata where processes can dynamically change who they communicate with. We show that reconfigurable asynchronous ... -
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 ... -
Attributed Point-to-Point Communication in R-CHECK
(Lecture Notes in Computer Science (LNCS), 2024)Autonomous multi-agent, or more generally, collective adaptive systems, use different modes of communication to support their autonomy and ease of interaction. In order to enable modelling and reasoning about such systems, ... -
Automata Constructions for LTL with Past
(Department of Computer Science and Engineering University of Gothenburg | Chalmers University of Technology, 2024)Linear temporal logic (LTL) is a popular language in formal verification, especially in the domains of model checking and reactive synthesis. Because its semantics is defined in terms of infinite sequences of symbols ... -
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 ... -
Compositional Verification of Priority Systems Using Sharp Bisimulation
(2023)Sharp bisimulation is a refinement of branching bisimulation, parame terized by a subset of the system’s actions, called strong actions. This parameterization allows the sharp bisimulation to be tailored by the property ... -
Compositional Verification of Stigmergic Collective System
(2023)Collective adaptive systems may be broadly defined as en sembles of autonomous agents, whose interaction may lead to the emer gence of global features and patterns. Formal verification may provide strong guarantees about ... -
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 ...