Research Repository

Items where Author is "Eden, Amnon H"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 19.

Article

Nicholson, Jon and Eden, Amnon H and Gasparis, Epameinondas and Kazman, Rick (2014) 'Automated verification of design patterns: A case study.' Science of Computer Programming, 80 (Part B). pp. 211-222. ISSN 0167-6423

Eden, Amnon H and Gasparis, Epameinondas and Nicholson, Jonathan and Kazman, Rick (2013) 'Modeling and visualizing object-oriented programs with Codecharts.' Formal Methods in System Design, 43 (1). pp. 1-28. ISSN 0925-9856

Eden, Amnon H (2011) 'Some Philosophical Issues in Computer Science.' Minds and Machines, 21 (2). pp. 123-133. ISSN 0924-6495

Book Section

Eden, Amnon H and Steinhart, Eric and Pearce, David and Moor, James H (2013) 'Singularity Hypotheses: An Overview.' In: Eden, Amnon H and Moor, James H and Soraker, Johnny H and Steinhart, Eric, (eds.) Singularity Hypotheses: A Scientific and Philosophical Assessment. The Frontiers Collection . Springer, Berlin. ISBN 978-3-642-32560-1

Eden, Amnon H and Steinhart, Eric and Pearce, David and Moor, James H (2012) 'Singularity Hypotheses: An Overview.' In: Eden, Amnon H and Moor, James H and Soraker, J H and Steinhart, Eric, (eds.) Singularity Hypotheses: A Scientific and Philosophical Assessment. The Frontiers Collection . Springer, Berlin, pp. 1-12. ISBN 978-3-642-32559-5

Nicholson, Jonathan and Gasparis, Epameinondas and Eden, Amnon H and Kazman, Rick (2009) 'Automated Verification of Design Patterns with LePUS3.' In: Denny, Ewen and Giannakopolou, Dimitra and Pasareanu, Corina S, (eds.) Proceedings of the 1st NASA Formal Methods (NFM) Symposium. NASA, pp. 76-85.

Gasparis, Epameinondas and Nicholson, Jonathan and Eden, Amnon H (2008) 'LePUS3: An Object-Oriented Design Description Language.' In: Stapleton, Gem and Howse, John and Lee, John, (eds.) Diagrammatic Representation and Inference. Lecture Notes in Computer Science, 5223 . Springer, Berlin, pp. 364-367. ISBN 978-3-540-87729-5

Monograph

Eden, Amnon H and Nicholson, Jonathan and Gasparis, Epameinondas (2007) CSM-471: Abstract Semantics for Java 1.4 Programs. Technical Report. CSM-471, University of Essex, Colchester.

Eden, Amnon H and Nicholson, Jonathan and Gasparis, Epameinondas (2007) CSM-472: The 'Gang of Four' Companion. Technical Report. CSM-472, University of Essex, Colchester.

Eden, Amnon H and Nicholson, Jonathan and Gasparis, Epameinondas (2007) CSM-474: LePUS3 and Class-Z Reference Manual. Technical Report. CSM-474, University of Essex, Colchester.

Eden, Amnon H and Gasparis, Epameinondas (2007) CSM-473: Design Mining in LePUS3/Class-Z:Search Space and Abstraction/Concretization Operators. Technical Report. CSM-473, University of Essex, Colchester.

Mens, Tom and Eden, Amnon H (2005) CSM-439 Revised Experiment in Evolution Complexity: Instructions to Subjects. Technical Report. CSM-439, University of Essex, Colchester.

Eden, Amnon H and Mens, Tom (2005) CSM-424- Evolutionary Complexity: Investigations into Software Flexibility. Technical Report. CSM-424, University of Essex, Colchester.

Eden, Amnon H and Kazman, Rick (2003) CSM-382 The Integrated Architecture Environment: A Two-Tier Programming Tool (Research Proposal). Technical Report. CSM-382, University of Essex, Colchester.

Eden, Amnon H and Kazman, Rick (2003) On the Definition of Architecture, Design and Implementation. Technical Report. CSM-377, University of Essex, Colchester.

Conference or Workshop Item

Gasparis, Epameinondas and Eden, Amnon H and Nicholson, Jonathan and Kazman, Rick (2008) The Design Navigator: Charting Java Programs. In: 30th International Conference on Software Engineering, 10 - 18 May 2008, Leipzig, Germany.

Gasparis, Epameinondas and Nicholson, Jonathan and Eden, Amnon H and Kazman, Rick (2008) Navigating Through the Design of Object-Oriented Programs. In: WCRE 15th Working Conference on Reverse Engineering, 15 - 18 October 2008, Antwerp, Germany.

Book

Eden, Amnon H and Moor, James H and Soraker, Johnny H and Steinhart, Eric (2013) Singularity Hypotheses: A Scientific and Philosophical Assessment. The Frontiers Collection . Springer, Berlin. ISBN 978-3-642-32560-1

Eden, Amnon H (2011) Codecharts: Roadmaps and Blueprints for Object-Oriented Programs. Wiley-Blackwell. ISBN 9780470626948

This list was generated on Tue Oct 22 06:48:12 2019 BST.