Items where Author is "Nicholson, Jonathan"
![]() | Up a level |
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.
Gasparis, Epameinondas and Nicholson, Jonathan and Eden, Amnon H and Kazman, Rick (2008) Navigating Through the Design of Object-Oriented Programs. In: 2008 15th Working Conference on Reverse Engineering (WCRE), 2008-10-15 - 2008-10-18, Antwerp, Germany.
Gasparis, Epameinondas and Nicholson, Jonathan and Eden, Amnon H (2008) LePUS3: An Object-Oriented Design Description Language. In: Lecture Notes in Computer Science. Lecture Notes in Computer Science, 5223 . Springer Berlin Heidelberg, Berlin, pp. 364-367. ISBN 9783540877295. Official URL: http://dx.doi.org/10.1007/978-3-540-87730-1_37
Gasparis, Epameinondas and Eden, Amnon H and Nicholson, Jonathan and Kazman, Rick (2008) The design navigator. In: Companion of the 13th international conference, 2008-05-10 - 2008-05-18, Leipzig, Germany.
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.