Amnon H. Eden

According to our database, Amnon H. Eden authored at least 29 papers between 1997 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Round-trip engineering with the Two-Tier Programming Toolkit.

Amnon H. Eden, Epameinondas Gasparis, Jon Nicholson, Rick Kazman

Softw. Qual. J., 2018

2016

The Singularity Controversy, Part I: Lessons Learned and Open Questions: Conclusions from the Battle on the Legitimacy of the Debate.

Amnon H. Eden

CoRR, 2016

2014

Automated verification of design patterns: A case study.

Jonathan Nicholson, Amnon H. Eden, Epameinondas Gasparis, Rick Kazman

Sci. Comput. Program., 2014

Structural Analysis of the Check Point Pattern.

Abdullah A. H. Alzahrani, Amnon H. Eden, Majd Zohri Yafi

Proceedings of the 8th IEEE International Symposium on Service Oriented System Engineering, 2014

2013

Modeling and visualizing object-oriented programs with Codecharts.

Amnon H. Eden, Epameinondas Gasparis, Jonathan Nicholson, Rick Kazman

Formal Methods Syst. Des., 2013

2011

Some Philosophical Issues in Computer Science.

Amnon H. Eden

Minds Mach., 2011

2010

Susan Schneider (ed): Science Fiction and Philosophy - Wiley-Blackwell, UK, 2009, x+368, $83.95, ISBN 978-1-4051-4906-8.

Amnon H. Eden

Minds Mach., 2010

Three Controlled Experiments in Software Engineering with the Two-Tier Programming Toolkit: Final Report

Amnon H. Eden, Epameinondas Gasparis

CoRR, 2010

2009

Verification of Design Patterns with LePUS3.

Jonathan Nicholson, Epameinondas Gasparis, Amnon H. Eden, Rick Kazman

Proceedings of the First NASA Formal Methods Symposium, 2009

2008

The Philosophy of Computer Science.

Raymond Turner, Amnon H. Eden

J. Appl. Log., 2008

Navigating Through the Design of Object-Oriented Programs.

Epameinondas Gasparis, Jonathan Nicholson, Amnon H. Eden, Rick Kazman

Proceedings of the WCRE 2008, 2008

The design navigator: charting java programs.

Epameinondas Gasparis, Amnon H. Eden, Jonathan Nicholson, Rick Kazman

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

LePUS3: An Object-Oriented Design Description Language.

Epameinondas Gasparis, Jonathan Nicholson, Amnon H. Eden

Proceedings of the Diagrammatic Representation and Inference, 5th International Conference, 2008

2007

The Philosophy of Computer Science: Introduction to the Special Issue.

Raymond Turner, Amnon H. Eden

Minds Mach., 2007

Three Paradigms of Computer Science.

Amnon H. Eden

Minds Mach., 2007

B. Jack Copeland (ed), The Essential Turing - Oxford University Press, New York, 2004, ISBN 0-19-825080-0, 613, £29.95.

Amnon H. Eden

Minds Mach., 2007

Problems in the ontology of computer programs.

Amnon H. Eden, Raymond Turner

Appl. Ontology, 2007

2006

Measuring software flexibility.

Amnon H. Eden, Tom Mens

IEE Proc. Softw., 2006

Abstraction classes in software design.

Amnon H. Eden, Yoram Hirshfeld, Rick Kazman

IEE Proc. Softw., 2006

2005

Strategic Versus Tactical Design.

Amnon H. Eden

Proceedings of the 38th Hawaii International Conference on System Sciences (HICSS-38 2005), 2005

2004

On the Evolution Complexity of Design Patterns.

Tom Mens, Amnon H. Eden

Proceedings of the Workshop on Software Evolution through Transformations: Model-based vs. Implementation-level Solutions, 2004

2003

Architecture, Design, Implementation.

Amnon H. Eden, Rick Kazman

Proceedings of the 25th International Conference on Software Engineering, 2003

2002

A Theory of Object-Oriented Design.

Amnon H. Eden

Inf. Syst. Frontiers, 2002

Coordinating Software Evolution via Two-Tier Programming.

Amnon H. Eden, Jens H. Jahnke

Proceedings of the Coordination Models and Languages, 5th International Conference, 2002

2001

Principles in formal specification of object oriented design and architecture.

Amnon H. Eden, Yoram Hirshfeld

Proceedings of the 2001 conference of the Centre for Advanced Studies on Collaborative Research, 2001

2000

Precise specification of design patterns and tool support in their application

Amnon H. Eden

PhD thesis, 2000

1997

Automating the Application of Design Patterns.

Amnon H. Eden, Joseph Gil, Amiram Yehudai

J. Object Oriented Program., 1997

Precise Specification and Automatic Application of Design Patterns.

Amnon H. Eden, Amiram Yehudai, Joseph Gil

Proceedings of the 1997 International Conference on Automated Software Engineering, 1997

Patterns of the Agenda.

Amnon H. Eden, Amiram Yehudai

Proceedings of the Object-Oriented Technology, ECOOP'97 Workshop Reader, 1997