ANGIUS, NICOLA
ANGIUS, NICOLA
Mostra
records
Risultati 1 - 7 di 7 (tempo di esecuzione: 0.012 secondi).
Computational Idealizations in Software Intensive Science: a Comment on Symons’ and Horner’s paper,
2014-01-01 Angius, Nicola
The Problem of Justification of Empirical Hypotheses in Software Testing
2014-01-01 Angius, Nicola
Model-based Abductive Reasoning in Automated Software Testing
2013-01-01 Angius, Nicola
Abstraction and Idealization in the Formal Verification of Software Systems
2012-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
Epistemologia dell'Artificiale e Informatica Teorica
2010-01-01 Angius, Nicola; Tamburrini, G.
| Titolo | Data di pubblicazione | Autore(i) | Rivista | Editore |
|---|---|---|---|---|
| Computational Idealizations in Software Intensive Science: a Comment on Symons’ and Horner’s paper, | 1-gen-2014 | Angius, Nicola | PHILOSOPHY & TECHNOLOGY | - |
| The Problem of Justification of Empirical Hypotheses in Software Testing | 1-gen-2014 | Angius, Nicola | PHILOSOPHY & TECHNOLOGY | - |
| Model-based Abductive Reasoning in Automated Software Testing | 1-gen-2013 | Angius, Nicola | LOGIC JOURNAL OF THE IGPL | - |
| Abstraction and Idealization in the Formal Verification of Software Systems | 1-gen-2012 | Angius, Nicola | MINDS AND MACHINES | - |
| Scientific theories of computational systems in model checking | 1-gen-2011 | Angius, Nicola; Tamburrini, G. | MINDS AND MACHINES | - |
| Software Verification and Scientific Methodology: Models, Regularities, Idealizations | 1-gen-2011 | Angius, Nicola | LOGIC AND PHILOSOPHY OF SCIENCE | - |
| Epistemologia dell'Artificiale e Informatica Teorica | 1-gen-2010 | Angius, Nicola; Tamburrini, G. | - | Franco Muzzio Editore |