ANGIUS, Nicola
ANGIUS, Nicola
Universita' degli Studi di SASSARI
Abstraction and Idealization in the Formal Verification of Software Systems
2012-01-01 Angius, Nicola
Building and integrating semantic theories over institutions
2017-01-01 Angius, Nicola; Dimarogkona, Maria; Stefaneas, Petros
Computational Idealizations in Software Intensive Science: a Comment on Symons’ and Horner’s paper,
2014-01-01 Angius, Nicola
Computer simulations without simulative programs in executable cell biology. Hypothesis discovery and justification
2015-01-01 Angius, Nicola
Dai programmi simulativi come teorie alle teorie dei programmi simulativi
2016-01-01 Angius, Nicola; Tamburrini, Guglielmo
Discovering Empirical Theories of Modular Software Systems. An Algebraic Approach
2016-01-01 Angius, Nicola; Stefaneas, Petros
Epistemologia dell'Artificiale e Informatica Teorica
2010-01-01 Angius, Nicola; Tamburrini, G.
Explaining Engineered Computing Systems’ Behaviour: the Role of Abstraction and Idealization
2017-01-01 Angius, Nicola; Tamburrini, Guglielmo
Model-based Abductive Reasoning in Automated Software Testing
2013-01-01 Angius, Nicola
Scientific Theories of Computational Systems in Model Checking
2011-01-01 Angius, Nicola; Tamburrini, G.
Software Verification and Scientific Methodology: Models, Regularities, Idealizations
2011-01-01 Angius, Nicola
The logic of identity and copy for computational artefacts
2018-01-01 Angius, Nicola; Primiero, Giuseppe
The Logical Structure of Modular Semantic Theories of Software Systems
In corso di stampa Angius, Nicola; Stefaneas, Petros
The Philosophy of Computer Science
2017-01-01 Turner, Raymond; Angius, Nicola
The Problem of Justification of Empirical Hypotheses in Software Testing
2014-01-01 Angius, Nicola