Follow
Dr Amnon H. Eden
Dr Amnon H. Eden
Sapience.org
Verified email at sapience.org - Homepage
Title
Cited by
Cited by
Year
Singularity hypotheses
AH Eden, JH Moor, JH Søraker, E Steinhart
The Frontiers Collection. Springer, Berlin, 2012
391*2012
Precise specification and automatic application of design patterns
AH Eden, A Yehudai, J Gil
Proceedings 12th ieee international conference automated software …, 1997
1921997
Architecture, design, implementation
AH Eden, R Kazman
25th International Conference on Software Engineering, 2003. Proceedings …, 2003
1672003
Three paradigms of computer science
AH Eden
Minds and machines 17, 135-167, 2007
1612007
Philosophy of computer science
R Turner, AH Eden
Stanford University, 2008
1412008
Precise specification of design patterns and tool support in their application
AH Eden
Department of Computer Science, Tel Aviv University, 2000
1252000
Measuring software flexibility
AH Eden, T Mens
IEE Proceedings-Software 153 (3), 113-125, 2006
1152006
Formal specification of object-oriented design
AH Eden
International Conference on Multidisciplinary Design in Engineering, 256-263, 2001
892001
Towards a mathematical foundation for design patterns
AH Eden, Y Hirshfeld, A Yehudai
Dept. of Information Technology, Uppsala University, 1999
781999
LePUS-a declarative pattern specification language
AH Eden, Y Hirshfeld, A Yehudai
Techn. rep 326, 98, 1998
751998
Principles in formal specification of object-oriented architectures
AH Eden, Y Hirshfeld
CASCON 2001, 5-8, 2001
662001
Problems in the ontology of computer programs
AH Eden, R Turner
Applied Ontology 2 (1), 13-36, 2007
612007
LePUS: A visual formalism for object-oriented architectures
AH Eden
The 6th World Conference on Integrated Design and Process Technology, 26-30, 2002
572002
A theory of object-oriented design
AH Eden
Information Systems Frontiers 4, 379-391, 2002
552002
LePUS–symbolic logic modeling of object oriented architectures: A case study
AH Eden, Y Hirshfeld, K Lundqvist
Second Nordic Workshop on Software Architecture-NOSA’99, 1-14, 1999
471999
LePUS3: An object-oriented design description language
E Gasparis, J Nicholson, AH Eden
Diagrammatic Representation and Inference: 5th International Conference …, 2008
392008
Abstraction classes in software design
AH Eden, Y Hirshfeld, R Kazman
IEE Proceedings-Software 153 (4), 163-182, 2006
39*2006
Automated verification of design patterns: A case study
J Nicholson, AH Eden, E Gasparis, R Kazman
Science of Computer Programming 80, 211-222, 2014
302014
Codecharts: roadmaps and blueprints for object-oriented programs
AH Eden, J Nicholson
29*2011
Giving "The Quality" a Name
AH Eden
Journal of Object Oriented Programming 11 (3), 5-11, 1998
291998
The system can't perform the operation now. Try again later.
Articles 1–20