Amnon H Eden

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 • Research • Publications and preprints • Study, teaching and supervision • Personal pages • Contact me

Some research interests (details):

Software modelling & tool support

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

The Two-Tier Programming project

Software design theory & practice

Architecture, Design, Implementation ICSE 2003
Abstraction Classes in Software Design IEE Software
The Intension/Locality Hypothesis

The Intension/Locality Hierarchy

Measuring Software Flexibility IEE Software

Philosophy of computer science

The philosophy of computer science (Stanford Encyclopedia of Philosophy)
Three Paradigms of Computer Science Minds & Machines
Problems in the ontology of computer programs Applied Ontology

Journal of Applied Logic, Special Issue on the PCS

Minds and Machines

Philosophy of Computer Science

The Future of Artificial Intelligence