Amnon H. Eden

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