Filter by type:

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
Journal of Applied Logic

The Philosophy of Computer Science: Introduction

Philosophy of Computer Science
Raymond Turner, Amnon H. Eden
Journal of Applied Logic, Vol. 6, No. 4
Publication year: 2008
Hebrew University of Jerusalem

The Imminent, The (Im-)possible, and the Irreversible: The Disruptive Potential of Artificial Intelligence

Artificial IntelligenceDisruptive TechnologyMachine LearningSuperintelligence
Amnon H. Eden
Institute for Advanced Studies, Hebrew University of Jerusalem (12 Nov 2015), DOI 10.13140/RG.2.1.1071.7524
Publication year: 2015

Revised Experiment in Evolution Complexity: Instructions to Subjects

Formal MethodsSoftware EngineeringSoftware Evolution
Tom Mens, Amnon H. Eden
Technical report CSM-439, ISSN 1744-8050 (November 2005) Department of Computer Science, University of Essex
Publication year: 2005

Two Paradoxes of Transhumanism

Superintelligence
Amnon H. Eden, James H. Moor
7th European Computing And Philosophy conference — ECAP (2–4 Jul. 2009), Barcelona, Spain
Publication year: 2009

The Singularity Hypothesis

Artificial IntelligenceDisruptive TechnologySuperintelligence
Amnon H. Eden
8th European conference on Computing And Philosophy—ECAP, 4 – 6 Oct. 2010, Munich, Germany
Publication year: 2010

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
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
Information Systems Frontiers

A Theory of Object-Oriented Design

Object-Oriented ProgrammingOntologySoftware DesignSoftware Engineering
Amnon H. Eden
Information Systems Frontiers, Vol. 4, No. 4 (Nov.–Dec. 2002), pp. 379–391. Amsterdam, The Netherlands: Kluwer Academic Publishers
Publication year: 2002

On the Evolution Complexity of Design Patterns

Design PatternsSoftware EngineeringSoftware Evolution
Tom Mens, Amnon H. Eden
Electronic Notes in Theoretical Computer Science, Vol. 127, No. 3, pp. 147–163. Amsterdam, The Netherlands: Elsevier,
Publication year: 2004

Directions in Architectural Specifications

Object-Oriented ProgrammingSoftware EngineeringSoftware Modelling
Amnon H. Eden
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

Visualization of Object Oriented Architectures

Object-Oriented ProgrammingSoftware EngineeringSoftware Modelling
Amnon H. Eden
Proc. Workshop on Software Visualization, International Conference on Software Engineering—ICSE (13–14 May 2001), Toronto, Canada, pp. 5–10
Publication year: 2001

LePUS — Symbolic-Logic Modelling of Object Oriented Architectures: A Case Study

Design PatternsSoftware EngineeringSoftware Modelling
Amnon H. Eden, Yoram Hirshfeld
Proceedings of the 2nd Nordic Workshop on Software Architecture—NOSA (12–13 Aug. 1999), Ronneby, Sweden
Publication year: 1999
Concordia University, Montreal

Formal specification of object-oriented design

Design PatternsSoftware EngineeringSoftware 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 PatternsFormal MethodsObject-Oriented ProgrammingSoftware Engineering
Amnon H. Eden
Proceedings of the 2001 conference of the Centre for Advanced Studies on Collaborative research
Publication year: 2001
Mälardalen University Sweden

The Intension/Locality Hypothesis

OntologyPhilosophy of Computer ScienceSoftware DesignSoftware Engineering
Amnon H. Eden, Raymond Turner
3rd European Conf. Computing And Philosophy-ECAP
Publication year: 2005
HICSS 38 (2005)

Strategic Versus Tactical Design

Software ArchitectureSoftware DesignSoftware Engineering
Amnon H. Eden
Proceedings of the 38th Annual Hawaii International Conference on System Sciences—HICSS’05, Honolulu, HI
Publication year: 2005
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
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
Singularity Hypotheses: A Scientific and Philosophical Assessment

Singularity Hypotheses: An Overview

Artificial IntelligenceDisruptive TechnologySuperintelligence
Amnon H. Eden, Eric Steinhart, David Pearce, James H. Moor
Publication year: 2013
Arxiv

The Singularity Controversy, Part I: Lessons Learned and Open Questions

Artificial IntelligenceDisruptive TechnologySuperintelligence
Amnon H. Eden
“The Singularity Controversy, Part I: Lessons Learned and Open Questions”. arXiv:1601.05977 [cs.AI], Sapience Project, Technical Report STR 2016-1, DOI 10.13140/RG.2.1.3416.6809
Publication year: 2016
Tel Aviv University

Supervised Learning of Natural Concepts

Artificial IntelligenceMachine Learning
Amnon H. Eden
Master thesis, Department of Computer Science, Tel Aviv University
Publication year: 1994
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
Formal Methods in System Design (Springer)

Modeling and Visualizing Object-Oriented Programs with Codecharts

Formal MethodsObject-Oriented ProgrammingSoftware EngineeringSoftware ModellingSoftware Visualization
Amnon H. Eden, Epameinondas Gasparis, Jonathan Nicholson
Formal Methods in System Design (Springer), Vol. 42, No. 1, pp. 1–28
Publication year: 2013
Minds and Machines (Springer)

Some Philosophical Issues in Computer Science

Philosophy of Computer Science
Amnon H. Eden
Minds and Machines, Vol. 21, No. 2, pp. 123–133
Publication year: 2011
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
The Institution of Engineering and Technology (IET)

Abstraction Classes in Software Design

Formal MethodsSoftware ArchitectureSoftware DesignSoftware EngineeringSoftware Evolution
Amnon H. Eden, Yoram Hirshfeld, Rick Kazman
IEE Software, Vol. 153, No. 4, pp. 163–182. London, UK: The Institution of Engineering and Technology
Publication year: 2006
Applied Ontology

Problems in the ontology of computer programs

OntologyPhilosophy of Computer Science
Amnon H. Eden, Raymond Turner
Applied Ontology, Vol. 2, No. 1, pp. 13–36. Amsterdam: IOS Press
Publication year: 2007