Publication Types:

30th International Conference on Software Engineering -- ICSE 2008

The Design Navigator: Charting Java Programs

Development ToolsSoftware EngineeringSoftware Visualization
Epameinondas Gasparis, Amnon H. Eden, Jonathan Nicholson, Rick Kazman
Companion, 30th International Conference on Software Engineering—ICSE (10–18 May 2008), Leipzig, Germany, pp. 945–946
Publication year: 2008

Round-Trip Engineering with the Two-Tier Programming Toolkit

Development ToolsSoftware Engineering
A.H. Eden, E. Gasparis, J. Nicholson, and R. Kazman
Software Quality Journal, Volume 26, Number 2, pp. 249–271
Publication year: 2018
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
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

Navigating Through the Design of Object-Oriented Programs

Development ToolsSoftware EngineeringSoftware Visualization
Epameinondas Gasparis, Jonathan Nicholson, Amnon H. Eden, Rick Kazman
15th Working Conf. on Reverse Engineering—WCRE (15–18 Oct. 2008), Antwerp, Belgium
Publication year: 2008