- Automated Verification of Design Patterns with LePUS3 Jonathan Nicholson1
- LePUS3: An Object-Oriented Design Description Language Epameinondas Gasparis (1
- Preprint of: Amnon H. Eden. "Three paradigms of computer science." Minds and Machines, Special issue on the Phi-losophy of Computer Science, Vol. 17, No. 2 (Jul. 2007), pp. 135167. London: Springer. DOI 10.1007/s11023-007-
- Presented in: 3rd European Conf. Computing And Philosophy--ECAP (2-4 Jun. 2005), Vsters, Sweden.
- Giving "The Quality" a Name1,2 Precise Specification of Design Patterns: A Second Look at the
- Preprint of: Amnon H Eden, Raymond Turner. "Problems in the Ontology of Computer Programs." Applied Ontology, Vol. 2, No. 1 (2007), pp. 1336. Amsterdam: IOS Press. Amsterdam, The Netherlands: IOS Press.
- The Design Navigator: Charting Java Programs Epameinondas Gasparis
- Preprint of a chapter in: Gordana Dodig-Crnkovic, Susan Stuart (eds.) Computation, Information, Cognition--The Nexus and the Liminal. Cambridge, UK: Cambridge Scholars Press, forthcoming.
- Architecture, Design, Implementation Amnon H. Eden
- FORMAL SPECIFICATION OF OBJECT-ORIENTED DESIGN AMNON H. EDEN
- Precise Specification and Automatic Application of Design Patternsi,ii,iii Amnon H. Eden, Amiram Yehudai
- The Singularity Hypothesis Amnon H. Eden
- Towards an Ontology for Software Design: The Intention/Locality Hypothesis
- EXPERIMENT IN EVOLUTION COMPLEXITY: INSTRUCTIONS TO SUBJECTS
- Software engineering state-of-the-art: An introduction to the not-so-innocent 9-Feb-2005 Amnon H Eden, Department of Computer Science, University of Essex 1
- Published in: 15th Working Conference on Reverse Engineering (1518 Oct. 2008), Antwerp, Belgium Navigating Through the Design ofObject-Oriented Programs
- Amnon H. Eden, Tom Mens. "Measuring Software Flexibility." IEE Software, Vol. 153, No. 3 (Jun. 2006), pp. 113126. London, UK: The Institution of Engineering and Technology.
- Book review: Alan M. Turing, B. Jack Copeland (ed.), The Essential Turing: The ideas that gave birth to the computer age, New York
- Formal Specification of Object-Oriented Design
- A VISUAL FORMALISM FOR OBJECT-ORIENTED ARCHITECTURE Amnon H. Eden
- Information Systems Frontiers 4:4, 379391, 2002 C 2002 Kluwer Academic Publishers. Manufactured in The Netherlands.
- Amnon H. Eden. "Foreword". Ch. in: Toufik Taibi (ed.) Design Pattern Formaliza-tion Techniques. Hershey, USA: Idea Group Inc (forthcoming).
- STRATEGIC VERSUS TACTICAL DESIGN Amnon H. Eden
