Design Patterns

Publication Types:

All types ( 40 ) Artificial Intelligence ( 7 ) Cryptocurrencies ( 1 ) Design Patterns ( 13 ) Development Tools ( 10 ) Disruptive Technology ( 6 ) FOREX ( 1 ) Formal Methods ( 14 ) Machine Learning ( 3 ) Object-Oriented Programming ( 10 ) Ontology ( 5 ) Philosophy of Computer Science ( 8 ) Software Architecture ( 3 ) Software Design ( 6 ) Software Engineering ( 26 ) Software Evolution ( 6 ) Software Modelling ( 7 ) Software Security ( 1 ) Software Visualization ( 4 ) Superintelligence ( 6 )

Formal specification of object-oriented design

Design Patterns Software Engineering Software 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 Patterns Formal Methods Object-Oriented Programming Software Engineering

Amnon H. Eden

Proceedings of the 2001 conference of the Centre for Advanced Studies on Collaborative research

Publication year: 2001

Precise Specification of Design Patterns and Tool Support in Their Application

Design Patterns Development Tools Formal Methods Object-Oriented Programming Software Engineering Software Modelling

Amnon H. Eden

PhD dissertation, Department of Computer Science, Tel Aviv University

Publication year: 2000

Automated Verification of Design Patterns: A Case Study

Design Patterns Development Tools Formal Methods Software Engineering Software Evolution

Jonathan Nicholson, Amnon H. Eden, Epameinondas Gasparis, Rick Kazman

Science of Computer Programming, Volume 80, Part B, pp. 211–222

Publication year: 2013

Automated Verification of Design Patterns with LePUS3

Design Patterns Development Tools Formal Methods Software Engineering Software Evolution

Jonathan Nicholson, Epameinondas Gasparis, Amnon H. Eden, Rick Kazman

The 1st NASA Formal Methods Symposium–NFM, Moffett Field, CA

Publication year: 2009

Foreword: Design Pattern Formalization Techniques

Design Patterns Formal Methods Object-Oriented Programming Software Engineering

Amnon H. Eden

In: Toufik Taibi (ed.) Design Pattern Formalization Techniques, pp. vi–vii. Hershey, USA: IGI

Publication year: 2007

Giving 'The Quality' a Name

Design Patterns Formal Methods Software Engineering

Amnon H. Eden

Journal of Object Oriented Programming, Vol. 11, No. 3, pp. 5–11. New York, USA: SIGS Publications

Publication year: 1998

Automated Software Engineering Most Influential Paper Award

Precise Specification and Automatic Application of Design Patterns

Design Patterns Development Tools Formal Methods Object-Oriented Programming Software Design Software 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

Automating the Application of Design Patterns

Design Patterns Development Tools Object-Oriented Programming Software 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 Patterns Development Tools Formal Methods Software Engineering Software 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