Browse by Person
 | Up a level |
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. Official URL: http://www.springer.com/engineering/computational+...
Eden, Amnon H and Steinhart, Eric and Pearce, David and Moor, James H (2013) Singularity Hypotheses: An Overview. In: Singularity Hypotheses: A Scientific and Philosophical Assessment. The Frontiers Collection . Springer, Berlin. ISBN 978-3-642-32560-1. Official URL: http://www.springer.com/cda/content/document/cda_d...
Nicholson, Jonathan and Gasparis, Epameinondas and Eden, Amnon H and Kazman, Rick (2009) Automated Verification of Design Patterns with LePUS3. In: Proceedings of the 1st NASA Formal Methods (NFM) Symposium. NASA, pp. 76-85.
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.