Publication Types:

Formal Methods in System Design (Springer)

Modeling and Visualizing Object-Oriented Programs with Codecharts

Formal MethodsObject-Oriented ProgrammingSoftware EngineeringSoftware ModellingSoftware Visualization
Amnon H. Eden, Epameinondas Gasparis, Jonathan Nicholson
Formal Methods in System Design (Springer), Vol. 42, No. 1, pp. 1–28
Publication year: 2013
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
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
Information Systems Frontiers

A Theory of Object-Oriented Design

Object-Oriented ProgrammingOntologySoftware DesignSoftware Engineering
Amnon H. Eden
Information Systems Frontiers, Vol. 4, No. 4 (Nov.–Dec. 2002), pp. 379–391. Amsterdam, The Netherlands: Kluwer Academic Publishers
Publication year: 2002

Directions in Architectural Specifications

Object-Oriented ProgrammingSoftware EngineeringSoftware Modelling
Amnon H. Eden
Proceedings of the Workshop on Software Architecture Recovery and Modelling, 8th Working Conference on Reverse Engineering—WCRE (2 Oct. 2001), Stuttgart, Germany
Publication year: 2001

Visualization of Object Oriented Architectures

Object-Oriented ProgrammingSoftware EngineeringSoftware Modelling
Amnon H. Eden
Proc. Workshop on Software Visualization, International Conference on Software Engineering—ICSE (13–14 May 2001), Toronto, Canada, pp. 5–10
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