Amnon H Eden, PhD

Amnon in Emmeloord

Though it is true that science can be bent to evil ends, it is more often the case that injustice creeps in through the cracks of our ignorance.
-- Armand Leroi

• Bio • R esearch interests • Publications and preprints • Study, teaching and supervision • Personal pages • Contact me •

Some research interests (details):

Software design theory & practice

The Intension/Locality Hierarchy

Measuring Software Flexibility

Philosophy of computer science

The philosophy of computer science (Stanford Encyclopedia of Philosophy)
Three Paradigms of Computer Science
Problems in the ontology of computer programs

Journal of Applied Logic, Special Issue on the PCS

Minds and Machines

Philosophy of Computer Science

The Future of Artificial Intelligence

Software modelling & tool support

LePUS3 and Class-Z: object-oriented Design Description Languages
Navigating Through the Design of O-O Programs
Automated Verification of Design Patterns with LePUS3

The Two-Tier Programming project