Amnon H. Eden

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2018
Round-trip engineering with the Two-Tier Programming Toolkit.
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.
CoRR, 2016

2014
Automated verification of design patterns: A case study.
Sci. Comput. Program., 2014

Structural Analysis of the Check Point Pattern.
Proceedings of the 8th IEEE International Symposium on Service Oriented System Engineering, 2014

2013
Modeling and visualizing object-oriented programs with Codecharts.
Formal Methods Syst. Des., 2013

2011
Some Philosophical Issues in Computer Science.
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.
Minds Mach., 2010

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

2009
Verification of Design Patterns with LePUS3.
Proceedings of the First NASA Formal Methods Symposium, 2009

2008
The Philosophy of Computer Science.
J. Appl. Log., 2008

Navigating Through the Design of Object-Oriented Programs.
Proceedings of the WCRE 2008, 2008

The design navigator: charting java programs.
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

LePUS3: An Object-Oriented Design Description Language.
Proceedings of the Diagrammatic Representation and Inference, 5th International Conference, 2008

2007
The Philosophy of Computer Science: Introduction to the Special Issue.
Minds Mach., 2007

Three Paradigms of Computer Science.
Minds Mach., 2007

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

Problems in the ontology of computer programs.
Appl. Ontology, 2007

2006
Measuring software flexibility.
IEE Proc. Softw., 2006

Abstraction classes in software design.
IEE Proc. Softw., 2006

2005
Strategic Versus Tactical Design.
Proceedings of the 38th Hawaii International Conference on System Sciences (HICSS-38 2005), 2005

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

2003
Architecture, Design, Implementation.
Proceedings of the 25th International Conference on Software Engineering, 2003

2002
A Theory of Object-Oriented Design.
Inf. Syst. Frontiers, 2002

Coordinating Software Evolution via Two-Tier Programming.
Proceedings of the Coordination Models and Languages, 5th International Conference, 2002

2001
Principles in formal specification of object oriented design and architecture.
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
PhD thesis, 2000

1997
Automating the Application of Design Patterns.
J. Object Oriented Program., 1997

Precise Specification and Automatic Application of Design Patterns.
Proceedings of the 1997 International Conference on Automated Software Engineering, 1997

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


  Loading...