Amnon H. Eden, PhD

Amnon in Emmeloord

a@eden-study.org

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. [A.L.]

Bio • Research • Publications and preprints • Study, teaching and supervision • Personal pages • Contact me

University of Essex

CSEE

Research projects (read on)

Software modelling & tool support

Codecharts book

Codecharts: Roadmaps and Blueprints for Object-Oriented Programs Wiley-Blackwell 2011
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 NFM 2009

The Two-Tier Programming project

Software design theory & practice

The Intension/Locality Hierarchy

Architecture, Design, Implementation ICSE 2003
Abstraction Classes in Software Design IEE Software 153:4
Measuring Software Flexibility IEE Software 153:3

The Intension/Locality Hypothesis

Philosophy of computer science

Stanford Encyclopedia of Philosophy

Journal of Applied Logic, Special Issue on the PCS

Minds and Machines

The philosophy of computer science Stanford Encyclopedia of Philosophy
Three Paradigms of Computer Science Minds & Machines 17:2
Problems in the ontology of computer programs Applied Ontology 2:1