6 research outputs found
A logical framework to model software development by multiple agents following a common specification
In this paper, we address program development by multiple different
programmers (or programming teams), each working in different settings
(programming languages or reasoning frameworks), but following a common
specification; in particular, we examine at an abstract level the problem of
translatability between their produced programs. To this end, after
consideration of some philosophical issues regarding program development,
including its similarities and dissimilarities with scientific theorising, we
extend a logical framework built to describe scientific theorising in
relativist settings: our extensions add the ability of reasoning about
programs, the iterative process of their generation, and their specifications.
We are thus able to define a notion of translation between the outputs of
program generators and prove that there is a (trivial) such translation when
two program generators follow the same specification reliably (in a specific
sense of reliability).Comment: 15 pages (including bibliography). To be submitted to Logical Methods
in Computer Scienc
INDCOR white paper on the Design of Complexity IDNs
This white paper was written by the members of the Work Group focusing on design practices of the COST Action 18230 - Interactive Narrative Design for Complexity Representation (INDCOR, WG1). It presents an overview of Interactive Digital Narratives (IDNs) design for complexity representations through IDN workflows and methodologies, IDN authoring tools and applications. It provides definitions of the central elements of the IDN alongside its best practices, designs and methods. Finally, it describes complexity as a feature of IDN, with related examples. In summary, this white paper serves as an orienting map for the field of IDN design, understanding where we are in the contemporary panorama while charting the grounds of their promising futures