Amnon H. Eden
Sapience.org
Formal Methods
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 )
Foreword: Design Pattern Formalization Techniques
Design PatternsFormal MethodsObject-Oriented ProgrammingSoftware Engineering
In: Toufik Taibi (ed.) Design Pattern Formalization Techniques, pp. vi–vii. Hershey, USA: IGI
Publication year: 2007
Abstraction Classes in Software Design
Formal MethodsSoftware ArchitectureSoftware DesignSoftware EngineeringSoftware Evolution
IEE Software, Vol. 153, No. 4, pp. 163–182. London, UK: The Institution of Engineering and Technology
Publication year: 2006
Giving 'The Quality' a Name
Design PatternsFormal MethodsSoftware Engineering
Journal of Object Oriented Programming, Vol. 11, No. 3, pp. 5–11. New York, USA: SIGS Publications
Publication year: 1998
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
Revised Experiment in Evolution Complexity: Instructions to Subjects
Formal MethodsSoftware EngineeringSoftware Evolution
Technical report CSM-439, ISSN 1744-8050 (November 2005) Department of Computer Science, University of Essex
Publication year: 2005
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
Principles in formal specification of object oriented design and architecture
Design PatternsFormal MethodsObject-Oriented ProgrammingSoftware Engineering
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 PatternsDevelopment ToolsFormal MethodsObject-Oriented ProgrammingSoftware EngineeringSoftware Modelling
PhD dissertation, Department of Computer Science, Tel Aviv University
Publication year: 2000
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
Modeling and Visualizing Object-Oriented Programs with Codecharts
Formal MethodsObject-Oriented ProgrammingSoftware EngineeringSoftware ModellingSoftware Visualization
Formal Methods in System Design (Springer), Vol. 42, No. 1, pp. 1–28
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
Measuring Software Flexibility
Formal MethodsSoftware EngineeringSoftware Evolution
IEE Software, Vol. 153, No. 3, pp. 113–126. London, UK: The Institution of Engineering and Technology
Publication year: 2006
Architecture, Design, Implementation
Formal MethodsSoftware ArchitectureSoftware DesignSoftware Engineering
In Laurie Dillon, Walter Tichy (eds.) Proc. 25th Int'l Conf. Software Engineering—ICSE, Portland, OR, USA, pp. 149–159. Los Alamitos, USA: IEEE Computer Society Press
Publication year: 2003
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