Amnon H. Eden
Sapience.org
Development Tools
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 )
Automated Verification of Design Patterns: A Case Study
Design PatternsDevelopment ToolsFormal MethodsSoftware EngineeringSoftware Evolution
Science of Computer Programming, Volume 80, Part B, pp. 211–222
Publication year: 2013
Automated Verification of Design Patterns with LePUS3
Design PatternsDevelopment ToolsFormal MethodsSoftware EngineeringSoftware Evolution
The 1st NASA Formal Methods Symposium–NFM, Moffett Field, CA
Publication year: 2009
Precise Specification and Automatic Application of Design Patterns
Design PatternsDevelopment ToolsFormal MethodsObject-Oriented ProgrammingSoftware DesignSoftware Engineering
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 PatternsDevelopment ToolsObject-Oriented ProgrammingSoftware Engineering
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
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
15th Working Conf. on Reverse Engineering—WCRE (15–18 Oct. 2008), Antwerp, Belgium
Publication year: 2008
The Design Navigator: Charting Java Programs
Development ToolsSoftware EngineeringSoftware Visualization
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
Software Quality Journal, Volume 26, Number 2, pp. 249–271
Publication year: 2018
Precise Specification of Design Patterns and Tool Support in Their Application
Design PatternsDevelopment ToolsFormal MethodsObject-Oriented ProgrammingSoftware EngineeringSoftware Modelling
PhD dissertation, Department of Computer Science, Tel Aviv University
Publication year: 2000
Codecharts: Roadmaps and Blueprints for Object-Oriented Programs
Design PatternsDevelopment ToolsFormal MethodsObject-Oriented ProgrammingSoftware EngineeringSoftware ModellingSoftware Visualization
Hoboken, New Jersey: Wiley-Blackwell
Publication year: 2011