Amnon H. Eden • Bio • Research • Publications • Study • Personal • Contact •
Amnon in Emmeloord

Amnon H. Eden

eden[atnospam]essex.ac.uk

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

Some research interests (details):

Software design theory & practice

  • Architecture, Design, Implementation
  • Abstraction Classes in Software Design
  • The Intension/Locality Hypothesis
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 PCSMinds 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 Model
  • The Two-Tier Programming project
Disclaimer Top of page