Causal reasoning and symbolic relationships in Medieval Illuminations [PDF]
Journal of Data Mining and Digital Humanities, 2019 This work applies knowledge engineering’s techniques to medieval illuminations. Inside it, an illumination is considered as a knowledge graph which was used by some elites in the Middle Ages to represent themselves as a social group and exhibit the ...
Djibril Diarra +2 more
doaj +1 more source
Causal reasoning and symbolic relationships in Medieval Illuminations Raisonnement causale et relations symboliques dans les Enluminures médiévales [PDF]
Journal of Data Mining and Digital Humanities, 2019 This work applies knowledge engineering’s techniques to medieval illuminations. Inside it, an illumination is considered as a knowledge graph which was used by some elites in the Middle Ages to represent themselves as a social group and exhibit the ...
Djibril Diarra +2 more
doaj
Exploring the link between test suite quality and automatic specification inference [PDF]
, 2017 While no one doubts the importance of correct and complete specifications, many industrial systems still do not have formal specifications written out — and even when they do, it is hard to check their correctness and completeness.
2nd International Workshop on Pre- and Post-Deployment Verification Techniques +3 more
core +1 more source
Consequences of Unhappiness While Developing Software
, 2017 The growing literature on affect among software developers mostly reports on the linkage between happiness, software quality, and developer productivity.
Abrahamsson, Pekka +3 more
core +1 more source
Translating UML State Machines to Coloured Petri Nets Using Acceleo: A Report
, 2014 UML state machines are widely used to specify dynamic systems behaviours. However its semantics is described informally, thus preventing the application of model checking techniques that could guarantee the system safety.
André, Étienne +2 more
core +2 more sources
A Monitoring Language for Run Time and Post-Mortem Behavior Analysis and Visualization [PDF]
, 2003 UFO is a new implementation of FORMAN, a declarative monitoring language, in which rules are compiled into execution monitors that run on a virtual machine supported by the Alamo monitor architecture.Comment: In M. Ronsse, K.
Auguston, Mikhail +2 more
core +1 more source
The Karlskrona manifesto for sustainability design [PDF]
, 2014 Sustainability is a central concern for our society, and software systems increasingly play a central role in it. As designers of software technology, we cause change and are responsible for the effects of our design choices. We recognize that there is a
Becker, Christoph +12 more
core +1 more source
Code review for and by scientists: preliminary findings [PDF]
, 2014 We describe two pilot studies of code review by and for scientists. Our principal findings are that scien- tists are enthusiastic, but need to be shown code re- view in action, and that just-in-time review of small code changes is more likely to succeed ...
Petre, Marian, Wilson, Greg
core
Software tool development in the terms of Bloom’s taxonomy [PDF]
, 2014 У статті проаналізовано компетентності, що відповідають вимогам базового корпусу знань міжнародного стандарту в галузі програмної інженерії SWEBOK і галузевого стандарту МОН України ГСВО за напрямом підготовки 6.050103 «Програмна інженерія» галузі знань ...
Seidametova, Z. +2 more
core
Questions related to Bitcoin and other Informational Money [PDF]
, 2013 A collection of questions about Bitcoin and its hypothetical relatives Bitguilder and Bitpenny is formulated. These questions concern technical issues about protocols, security issues, issues about the formalizations of informational monies in various ...
Bergstra, Jan A., de Leeuw, Karl
core +1 more source