ANGIUS, Nicola

ANGIUS, Nicola  

Universita' degli Studi di SASSARI  

Mostra records
Risultati 1 - 15 di 15 (tempo di esecuzione: 0.014 secondi).
Titolo Data di pubblicazione Autore(i) File
Abstraction and Idealization in the Formal Verification of Software Systems 1-gen-2012 Angius, Nicola
Building and integrating semantic theories over institutions 1-gen-2017 Angius, Nicola; Dimarogkona, Maria; Stefaneas, Petros
Computational Idealizations in Software Intensive Science: a Comment on Symons’ and Horner’s paper, 1-gen-2014 Angius, Nicola
Computer simulations without simulative programs in executable cell biology. Hypothesis discovery and justification 1-gen-2015 Angius, Nicola
Dai programmi simulativi come teorie alle teorie dei programmi simulativi 1-gen-2016 Angius, Nicola; Tamburrini, Guglielmo
Discovering Empirical Theories of Modular Software Systems. An Algebraic Approach 1-gen-2016 Angius, Nicola; Stefaneas, Petros
Epistemologia dell'Artificiale e Informatica Teorica 1-gen-2010 Angius, Nicola; Tamburrini, G.
Explaining Engineered Computing Systems’ Behaviour: the Role of Abstraction and Idealization 1-gen-2017 Angius, Nicola; Tamburrini, Guglielmo
Model-based Abductive Reasoning in Automated Software Testing 1-gen-2013 Angius, Nicola
Scientific Theories of Computational Systems in Model Checking 1-gen-2011 Angius, Nicola; Tamburrini, G.
Software Verification and Scientific Methodology: Models, Regularities, Idealizations 1-gen-2011 Angius, Nicola
The logic of identity and copy for computational artefacts 1-gen-2018 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 1-gen-2017 Turner, Raymond; Angius, Nicola
The Problem of Justification of Empirical Hypotheses in Software Testing 1-gen-2014 Angius, Nicola