Publication Types:

Automated Software Engineering Most Influential Paper Award

Precise Specification and Automatic Application of Design Patterns

Design PatternsDevelopment ToolsFormal MethodsObject-Oriented ProgrammingSoftware DesignSoftware Engineering
Amnon H. Eden, Joseph Gil, Amiram Yehudai
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
Journal of Object-Oriented Programming

Automating the Application of Design Patterns

Design PatternsDevelopment ToolsObject-Oriented ProgrammingSoftware Engineering
Amnon H. Eden, Joseph Gil, Amiram Yehudai.
Journal of Object-Oriented Programming, Vol. 10, No. 2, pp. 44–46. New York, USA: SIGS Publications
Publication year: 1997

Structural Analysis of the Check Point Pattern

Design PatternsDevelopment ToolsFormal MethodsSoftware EngineeringSoftware Security
Abdullah A.A. Alzahrani, Amnon H. Eden, Majd Zohri Yafi
3rd International Workshop on Cyberpatterns 2014, in conjunction with 8th Int'l Symp. Service-Oriented System Engineering—SOSE 2014. Oxford, UK: IEEE Computer Society Press
Publication year: 2014

On the Evolution Complexity of Design Patterns

Design PatternsSoftware EngineeringSoftware Evolution
Tom Mens, Amnon H. Eden
Electronic Notes in Theoretical Computer Science, Vol. 127, No. 3, pp. 147–163. Amsterdam, The Netherlands: Elsevier,
Publication year: 2004

LePUS — Symbolic-Logic Modelling of Object Oriented Architectures: A Case Study

Design PatternsSoftware EngineeringSoftware Modelling
Amnon H. Eden, Yoram Hirshfeld
Proceedings of the 2nd Nordic Workshop on Software Architecture—NOSA (12–13 Aug. 1999), Ronneby, Sweden
Publication year: 1999
Concordia University, Montreal

Formal specification of object-oriented design

Design PatternsSoftware EngineeringSoftware Modelling
Amnon H Eden
International Conference on Multidisciplinary Design in Engineering--CSME-MDE 2001, November 21-22, 2001, Concordia University, Montreal
Publication year: 2001

Principles in formal specification of object oriented design and architecture

Design PatternsFormal MethodsObject-Oriented ProgrammingSoftware Engineering
Amnon H. Eden
Proceedings of the 2001 conference of the Centre for Advanced Studies on Collaborative research
Publication year: 2001
Science of Computer Programming

Automated Verification of Design Patterns: A Case Study

Design PatternsDevelopment ToolsFormal MethodsSoftware EngineeringSoftware Evolution
Jonathan Nicholson, Amnon H. Eden, Epameinondas Gasparis, Rick Kazman
Science of Computer Programming, Volume 80, Part B, pp. 211–222
Publication year: 2013
Nasa Formal Methods

Automated Verification of Design Patterns with LePUS3

Design PatternsDevelopment ToolsFormal MethodsSoftware EngineeringSoftware Evolution
Jonathan Nicholson, Epameinondas Gasparis, Amnon H. Eden, Rick Kazman
The 1st NASA Formal Methods Symposium–NFM, Moffett Field, CA
Publication year: 2009
Design Pattern Formalization Techniques

Foreword: Design Pattern Formalization Techniques

Design PatternsFormal MethodsObject-Oriented ProgrammingSoftware Engineering
Amnon H. Eden
In: Toufik Taibi (ed.) Design Pattern Formalization Techniques, pp. vi–vii. Hershey, USA: IGI
Publication year: 2007
Journal of Object-Oriented Programming

Giving 'The Quality' a Name

Design PatternsFormal MethodsSoftware Engineering
Amnon H. Eden
Journal of Object Oriented Programming, Vol. 11, No. 3, pp. 5–11. New York, USA: SIGS Publications
Publication year: 1998