Amnon H. Eden

Publication Activity (10 Years)

Years Active: 1997-2018
Publications (10 Years): 2

Top Topics

Specification Languages

Singularity Detection

Structural Analysis

Top Venues

Sci. Comput. Program.

Softw. Qual. J.

Publications

Amnon H. Eden, Epameinondas Gasparis, Jon Nicholson, Rick Kazman
Round-trip engineering with the Two-Tier Programming Toolkit. Softw. Qual. J. 26 (2) (2018)
Amnon H. Eden
The Singularity Controversy, Part I: Lessons Learned and Open Questions: Conclusions from the Battle on the Legitimacy of the Debate. CoRR (2016)
Abdullah A. H. Alzahrani, Amnon H. Eden, Majd Zohri Yafi
Structural Analysis of the Check Point Pattern. SOSE (2014)
Jonathan Nicholson, Amnon H. Eden, Epameinondas Gasparis, Rick Kazman
Automated verification of design patterns: A case study. Sci. Comput. Program. 80 (2014)
Amnon H. Eden, Epameinondas Gasparis, Jonathan Nicholson, Rick Kazman
Modeling and visualizing object-oriented programs with Codecharts. Formal Methods Syst. Des. 43 (1) (2013)
Amnon H. Eden
Some Philosophical Issues in Computer Science. Minds Mach. 21 (2) (2011)
Amnon H. Eden, Epameinondas Gasparis
Three Controlled Experiments in Software Engineering with the Two-Tier Programming Toolkit: Final Report CoRR (2010)
Amnon H. Eden
Susan Schneider (ed): Science Fiction and Philosophy - Wiley-Blackwell, UK, 2009, x+368, $83.95, ISBN 978-1-4051-4906-8. Minds Mach. 20 (3) (2010)
Jonathan Nicholson, Epameinondas Gasparis, Amnon H. Eden, Rick Kazman
Verification of Design Patterns with LePUS3. NASA Formal Methods (2009)
Epameinondas Gasparis, Jonathan Nicholson, Amnon H. Eden, Rick Kazman
Navigating Through the Design of Object-Oriented Programs. WCRE (2008)
Epameinondas Gasparis, Jonathan Nicholson, Amnon H. Eden
LePUS3: An Object-Oriented Design Description Language. Diagrams (2008)
Raymond Turner, Amnon H. Eden
The Philosophy of Computer Science. J. Appl. Log. 6 (4) (2008)
Epameinondas Gasparis, Amnon H. Eden, Jonathan Nicholson, Rick Kazman
The design navigator: charting java programs. ICSE Companion (2008)
Amnon H. Eden
Three Paradigms of Computer Science. Minds Mach. 17 (2) (2007)
Raymond Turner, Amnon H. Eden
The Philosophy of Computer Science: Introduction to the Special Issue. Minds Mach. 17 (2) (2007)
Amnon H. Eden, Raymond Turner
Problems in the ontology of computer programs. Appl. Ontology 2 (1) (2007)
Amnon H. Eden
B. Jack Copeland (ed), The Essential Turing - Oxford University Press, New York, 2004, ISBN 0-19-825080-0, 613, £29.95. Minds Mach. 17 (1) (2007)
Amnon H. Eden, Tom Mens
Measuring software flexibility. IEE Proc. Softw. 153 (3) (2006)
Amnon H. Eden, Yoram Hirshfeld, Rick Kazman
Abstraction classes in software design. IEE Proc. Softw. 153 (4) (2006)
Amnon H. Eden
Strategic Versus Tactical Design. HICSS (2005)
Tom Mens, Amnon H. Eden
On the Evolution Complexity of Design Patterns. Electron. Notes Theor. Comput. Sci. 127 (3) (2005)
Amnon H. Eden, Rick Kazman
Architecture, Design, Implementation. ICSE (2003)
Amnon H. Eden, Jens H. Jahnke
Coordinating Software Evolution via Two-Tier Programming. COORDINATION (2002)
Amnon H. Eden
A Theory of Object-Oriented Design. Inf. Syst. Frontiers 4 (4) (2002)
Amnon H. Eden, Yoram Hirshfeld
Principles in formal specification of object oriented design and architecture. CASCON (2001)
Amnon H. Eden, Amiram Yehudai
Patterns of the Agenda. ECOOP Workshops (1997)
Amnon H. Eden, Amiram Yehudai, Joseph Gil
Precise Specification and Automatic Application of Design Patterns. ASE (1997)
Amnon H. Eden, Joseph Gil, Amiram Yehudai
Automating the Application of Design Patterns. J. Object Oriented Program. 10 (2) (1997)