Publications
Journals and Books
- 2010
-
- Eden, A.H., Nicholson, J.: "Codecharts: Roadmaps and Blueprints for Object-Oriented Programs." John Wiley & Sons, Ltd, in press (expected January 2011)
Conference Papers
- 2009
-
- Nicholson, J., Gasparis, E., Eden, A.H., Kazman, R.: "Automated Verification of Design Patterns with LePUS3." 1st NASA Formal Methods Symposium—NFM, Moffett Field, California, 6–8 April 2009
- 2008
-
- Gasparis, E., Nicholson, J., Eden, A.H., Kazman, R.: "Navigating Through the Design of Object Oriented Programs." 15th Working Conference on Reverse Engineering—WCRE, Antwerp, Germany, 15–18 October 2008
- Gasparis, E., Nicholson, J., Eden, A.H.: "LePUS3: An Object Oriented Design Description Language." 5th International Conference on the Theory and Application of Diagrams, Herrsching, Germany, 19–21 September 2008
- Gasparis, E., Eden, A.H., Nicholson, J., Kazman, R.: "The Design Navigator: Charting Java Programs." Research demonstration, 30th International Conference on Software Engineering—ICSE, Leipzig, Germany, 10–18 May 2008.
Technical Reports
- 2007
-
- Amnon H. Eden, Epameinondas Gasparis, Jonathan Nicholson. "LePUS3 and Class-Z Reference Manual." Technical report CSM-474, ISSN 1744-8050 (2007), School of Computer Science and Electronic Engineering, University of Essex.
- Amnon H. Eden, Jonathan Nicholson, Epameinondas Gasparis. "The LePUS3 and Class-Z Companion to the 'Gang of Four' Design Patterns." Technical report CSM-472, ISSN 1744-8050 (2007), School of Computer Science and Electronic Engineering, University of Essex.
- Jonathan Nicholson, Amnon H Eden, Epameinondas Gasparis. "Verification of LePUS3/Class-Z Specifications: Sample Models and Abstract Semantics for Java 1.4." School of Computer Science and Electronic Engineering, University of Essex, Tech. Rep. CSM-471, ISSN 1744-8050 (2007).
Theses
- PhD
- Nicholson, J. :"On the Theoretical Foundations of LePUS3 and its Application to Object-Oriented Design Verification." A thesis submitted for the degree of Doctor of Philosophy, expected 2010. Supervised by Prof. Raymond Turner and Dr. Amnon Eden.
- MSc
- Nicholson, J. :"Verification of Java implementations against Class-Z specifications." A thesis submitted for the degree of Master of Science, 2006. Supervised by Prof. Raymond Turner and Dr. Amnon Eden. (achieved distinction level pass)
- BSc
- Nicholson, J. :"An implementation of refactoring techniques in the Java language." A thesis submitted for the degree of Bachelor of Science, 2005. Supervised by Mr. Dave Lyons. (achieved first class honours degree, winner of the "Best Final Year Project" prize)
Related Pages
- My LinkedIn page
- My DBLP author page
- My ACM author page. Please ignore publications by "John Nicholson", as this is not me (and I've never been to Utah).
- My IEEE member page
This site has been optimized for use on mobile browsers, to see the full site in all its glory please visit again from a non-mobile browser.
Thank you.