Dr Eden’s publications appeared in the highest ranking outlet in Google Scholar’s Top Publications – Software Systems category and in two other among the top twenty outlets, as well as other scholarly journals, conferences, and professional magazines, including the recipient of IEEE/ACM Automated Software Engineering’s Most Influential Paper Award in 2011.
Amnon H. Eden
Sapience.org
Publications
To raise new questions, new possibilities, to regard old problems from a new angle, requires creative imagination and marks real advance in science.
Copyright Notice
This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author’s copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.
Filter by type:
All types (
40 )
Artificial Intelligence (
7 )
Cryptocurrencies (
1 )
Design Patterns (
13 )
Development Tools (
10 )
Disruptive Technology (
6 )
FOREX (
1 )
Formal Methods (
14 )
Machine Learning (
3 )
Object-Oriented Programming (
10 )
Ontology (
5 )
Philosophy of Computer Science (
8 )
Software Architecture (
3 )
Software Design (
6 )
Software Engineering (
26 )
Software Evolution (
6 )
Software Modelling (
7 )
Software Security (
1 )
Software Visualization (
4 )
Superintelligence (
6 )
Abstraction Classes in Software Design
Formal MethodsSoftware ArchitectureSoftware DesignSoftware EngineeringSoftware Evolution
IEE Software, Vol. 153, No. 4, pp. 163–182. London, UK: The Institution of Engineering and Technology
Publication year: 2006
Giving 'The Quality' a Name
Design PatternsFormal MethodsSoftware Engineering
Journal of Object Oriented Programming, Vol. 11, No. 3, pp. 5–11. New York, USA: SIGS Publications
Publication year: 1998
Precise Specification and Automatic Application of Design Patterns
Design PatternsDevelopment ToolsFormal MethodsObject-Oriented ProgrammingSoftware DesignSoftware Engineering
In Michael Lowry, Yves Ledru (eds.) Proc. 12th IEEE International Conference on Automated Software Engineering conference—ASE, Lake Tahoe, NV, USA, pp. 143–152
Publication year: 1997
Three Paradigms of Computer Science
OntologyPhilosophy of Computer Science
Minds and Machines, Special issue on the Philosophy of Computer Science, Vol. 17, No. 2, pp. 135–167
Publication year: 2007
Philosophy of Computer Science (Stanford Encyclopedia)
Philosophy of Computer Science
Entry in: Stanford Encyclopedia of Philosophy (Winter 2008 Edition), Edward N. Zalta (ed.)
Publication year: 2008
Measuring Software Flexibility
Formal MethodsSoftware EngineeringSoftware Evolution
IEE Software, Vol. 153, No. 3, pp. 113–126. London, UK: The Institution of Engineering and Technology
Publication year: 2006
Architecture, Design, Implementation
Formal MethodsSoftware ArchitectureSoftware DesignSoftware Engineering
In Laurie Dillon, Walter Tichy (eds.) Proc. 25th Int'l Conf. Software Engineering—ICSE, Portland, OR, USA, pp. 149–159. Los Alamitos, USA: IEEE Computer Society Press
Publication year: 2003
Codecharts: Roadmaps and Blueprints for Object-Oriented Programs
Design PatternsDevelopment ToolsFormal MethodsObject-Oriented ProgrammingSoftware EngineeringSoftware ModellingSoftware Visualization
Hoboken, New Jersey: Wiley-Blackwell
Publication year: 2011
Singularity Hypotheses: A Scientific and Philosophical Assessment
Artificial IntelligenceDisruptive TechnologyMachine LearningSuperintelligence
The Frontiers Collection. Berlin: Springer
Publication year: 2013