Amnon H. Eden
Sapience.org
Software Engineering
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 )
Strategic Versus Tactical Design
Software ArchitectureSoftware DesignSoftware Engineering
Proceedings of the 38th Annual Hawaii International Conference on System Sciences—HICSS’05, Honolulu, HI
Publication year: 2005
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
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 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
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
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
A Theory of Object-Oriented Design
Object-Oriented ProgrammingOntologySoftware DesignSoftware Engineering
Information Systems Frontiers, Vol. 4, No. 4 (Nov.–Dec. 2002), pp. 379–391. Amsterdam, The Netherlands: Kluwer Academic Publishers
Publication year: 2002
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
On the Evolution Complexity of Design Patterns
Design PatternsSoftware EngineeringSoftware Evolution
Electronic Notes in Theoretical Computer Science, Vol. 127, No. 3, pp. 147–163. Amsterdam, The Netherlands: Elsevier,
Publication year: 2004
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
Directions in Architectural Specifications
Object-Oriented ProgrammingSoftware EngineeringSoftware Modelling
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
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
Visualization of Object Oriented Architectures
Object-Oriented ProgrammingSoftware EngineeringSoftware Modelling
Proc. Workshop on Software Visualization, International Conference on Software Engineering—ICSE (13–14 May 2001), Toronto, Canada, pp. 5–10
Publication year: 2001
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
LePUS — Symbolic-Logic Modelling of Object Oriented Architectures: A Case Study
Design PatternsSoftware EngineeringSoftware Modelling
Proceedings of the 2nd Nordic Workshop on Software Architecture—NOSA (12–13 Aug. 1999), Ronneby, Sweden
Publication year: 1999
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
Formal specification of object-oriented design
Design PatternsSoftware EngineeringSoftware Modelling
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 PatternsFormal MethodsObject-Oriented ProgrammingSoftware Engineering
Proceedings of the 2001 conference of the Centre for Advanced Studies on Collaborative research
Publication year: 2001
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
The Intension/Locality Hypothesis
OntologyPhilosophy of Computer ScienceSoftware DesignSoftware Engineering
3rd European Conf. Computing And Philosophy-ECAP
Publication year: 2005
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
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