Följ
Nicola Angius
Titel
Citeras av
Citeras av
År
The Philosophy of Computer Science
NA Raymond Turner
Stanford Encyclopedia of Philosophy, 2017
30*2017
Model-based abductive reasoning in automated software testing
N Angius
Logic Journal of IGPL 21 (6), 931-942, 2013
202013
The problem of justification of empirical hypotheses in software testing
N Angius
Philosophy & Technology 27, 423-439, 2014
182014
Abstraction and idealization in the formal verification of software systems
N Angius
Minds and Machines 23, 211-226, 2013
152013
Scientific theories of computational systems in model checking
N Angius, G Tamburrini
Minds and Machines 21, 323-336, 2011
142011
The logic of identity and copy for computational artefacts
N Angius, G Primiero
Journal of Logic and Computation 28 (6), 1293-1322, 2018
112018
Explaining engineered computing systems’ behaviour: the role of abstraction and idealization
N Angius, G Tamburrini
Philosophy & Technology 30, 239-258, 2017
92017
On the mutual dependence between formal methods and empirical testing in program verification
N Angius
Philosophy & Technology 33 (2), 349-355, 2020
32020
Infringing software property rights: ontological, methodological, and ethical questions
N Angius, G Primiero
Philosophy & Technology 33 (2), 283-308, 2020
32020
Qualitative models in computational simulative sciences: Representation, confirmation, experimentation
N Angius
Minds and Machines 29 (3), 397-416, 2019
32019
Computational idealizations in software intensive science: A comment on Symons’ and Horner’s paper
N Angius
Philosophy & Technology 27, 479-484, 2014
32014
From coding to curing. functions, implementations, and correctness in deep learning
N Angius, A Plebe
Philosophy & Technology 36 (3), 47, 2023
22023
Copying safety and liveness properties of computational artefacts
N Angius, G Primiero
Journal of Logic and Computation 33 (5), 1089-1117, 2023
22023
On the experimental foundation of computing
N Angius
Axiomathes 32 (Suppl 3), 1221-1236, 2022
22022
Computer simulations without simulative programs in executable cell biology. Hypothesis discovery and justification
N Angius
Paradigmi, 2016
22016
Discovering Empirical Theories of Modular Software Systems. An Algebraic Approach
N Angius, P Stefaneas
Computing and Philosophy: Selected Papers from IACAP 2014, 99-115, 2016
22016
Building and integrating semantic theories over institutions
N Angius, M Dimarogkona, P Stefaneas
Algebraic Modeling of Topological and Computational Structures and …, 2017
12017
The philosophy of computer science
N Angius, G Primiero, R Turner
12013
What is (the philosophy of) computer science? William J. Rapaport: Philosophy of computer science: an introduction to the issues and the literature. Hoboken, NJ: John Wiley …
N Angius
Metascience 33 (1), 123-126, 2024
2024
The logical structure of modular semantic theories of software systems
N Angius, P Stefaneas
Metaphilosophy, 2024
2024
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20