Browsing IT Faculty / IT-fakulteten by Title
Now showing items 133-152 of 152
-
Tainting in Smart Contracts: Combining Static and Runtime Verification
(Lecture Notes in Computer Science book series (LNCS,volume 13498), 2022)Smart contracts exist immutably on blockchains, making their pre-deployment correctness essential. Moreover, they exist openly on blockchains—open for interaction with any other smart contract and offchain entity. Interaction, ... -
Teaching with Digital Mathematics Textbooks - Activity Theoretical Studies of Data-Driven Technology in Classroom Practices
(2021-09-24)The introduction of digital textbooks, with data-driven functionalities, is a recent trend in mathematics education challenging established teaching practices. This new technology represents a key shift as student datasets ... -
THE CONSENSING APPROACH TO STRATEGIZING: The Dynamics of Dialogue in Public Sector Digital Transformation
(2024-04-10)This thesis explores the role of consensing, a process of cognitive consensus-building through the mechanisms of sensing and synthesizing, in digital transformation strategy formulation within the Swedish public sector. ... -
The Emergence of Digital Institutions
(2019-10-04)Pervasive digitalization reshapes identities and processes of public sector providers, ranging from healthcare to education and justice. Recently, significant research attention has been given to such transformations, but ... -
The Value of Social Media: What Social Networking Sites Afford Organizations
(2018-05-21)Social media are a phenomenon that has quickly become deeply rooted in the mechanics of our everyday lives, dramatically changing how we interact and collaborate with family, peers, and society. Meanwhile, organizations ... -
Towards Formalizing Assumptions on Architectural Level: A Proof-of-Concept
(Departmen of Computer Science and Engineering, 2012-09-10)While designing an architecture, architects often make assumptions about different factors like execution environment, structural properties of the artifacts, properties of input/output data etc. Implicit and invalid ... -
Towards Next-Gen Machine Learning Asset Management Tools
(2023-10-26)Context: The proficiency of machine learning (ML) systems in solving many real-world problems effectively has enabled a paradigm shift toward ML-enabled systems. In ML-enabled software, significant software code artifacts ... -
Understanding and Supporting Software Design in Model-Based Software Engineering
(2020-02-10)Model-Based Software Engineering (MBSE) is a software development approach in which models can serve a multitude of purposes. On the one hand, models can be used for ideation, to stimulate creative thinking, and facilitate ... -
Understanding in Real-Time Communication
(2018-05-22)Human communication is profoundly social. In social activities, it is not uncommon that people are understood in many different ways, which may have various consequences for social and interpersonal communication. This ... -
Understanding Software Design for Creating Better Design Environments
(Chalmers University of Technology and Göteborg University, 2017)Context: Software design is considered an essential activity to analyze software requirements in order to produce a description of the software's internal structure that will serve as the basis for its construction. Models ... -
Understanding, Implementing, and Supporting Security Assurance Cases in Safety-Critical Domains
(2023-05-25)The increasing demand for connectivity in safety-critical domains has made security assurance a crucial consideration. In safety-critical industry, software, and connectivity have become integral to meeting market expectations. ... -
Understanding, Measuring, and Evaluating Maintainability of Automotive Software
(2020-08-17)Context: The importance of software maintainability is well-addressed by software engineering research, in general. Particularly for object-oriented and open-source software, measurements as a means to represent maintainability ... -
Unraveling The Black Box - Building Understandable AI Through Strategic Explanation and User-based Design
(2024)The pervasive integration of Artificial Intelligence (AI) in society presents both opportunities and challenges, with the black-box issue emerging as a significant obstacle in realizing the full potential of AI. The ... -
Unsupervised Learning of Morphology and the Languages of the World
(2009-11-16)This thesis presents work in two areas; Language Technology and Linguistic Typology. In the field of Language Technology, a specific problem is addressed: Can a computer extract a description of word conjugation in a ... -
Using Social Media
(2019-10-04)The rise of social media platforms has changed how people interact. Mobile technologies with built-in, high-quality cameras offer new possibilities for people to document and share their everyday activities. Many consider ... -
Value Network Transformation – Digital Service Innovation in the Vehicle Industry
(2016-01-07)Advancement in digital technology is rapidly changing the contemporary landscape of business and associated networks for manufacturing firms. Many traditional physical products are now being embedded with digital components, ... -
Values in Play – Interactional Life with the Sims
(2011-02-23)This study arises from pedagogical discussion about learning potential with computer games – more precisely, that one game genre called open-ended (sandbox) games can make players explore the game content in such a way ... -
Vehicle Services
(2009-08-31)This thesis contributes to our understanding of the development and diffusion of vehicle services, and to how information technology interacts with forms of organization and business models to undermine or support the ... -
Workplace Learning in Interactive Service Work: Coming to Practice Differently in the Connected Service Encounter
(2022-01-14)We increasingly live in a world where human and digital work and activities are intertwined in so-called digital networks, which implies changes to the skills demanded by human labour. Traditionally, the professional ...