Jon Nicholson
Jon Nicholson
Hastings Direct
Verified email at drjonnicholson.com - Homepage
Title
Cited by
Cited by
Year
LePUS3: An object-oriented design description language
E Gasparis, J Nicholson, A Eden
Diagrammatic Representation and Inference, 364-367, 2008
362008
Codecharts: Roadmaps and blueprints for object-oriented programs
AH Eden, J Nicholson
Wiley, 2011
252011
LePUS3 and Class-Z reference manual
AH Eden, E Gasparis, J Nicholson
University of Essex, Tech. Rep. CSM-474, ISSN, 1744-8050, 2007
252007
Automated verification of design patterns: A case study
J Nicholson, AH Eden, R Kazman, E Gasparis
Science of Computer Programming, 2013
222013
The design navigator: Charting java programs
E Gasparis, AH Eden, J Nicholson, R Kazman
Companion of the 30th international conference on Software engineering, 945-946, 2008
162008
Modeling and visualizing object-oriented programs with Codecharts
AH Eden, E Gasparis, J Nicholson, R Kazman
Formal Methods in System Design, 2013
132013
Automated Verification of Design Patterns with LePUS3
J Nicholson, E Gasparis, AH Eden, R Kazman
Proceedings of the 1st NASA Formal Methods Symposium, 76-85, 2009
102009
The’Gang of four’companion: Formal specification of design patterns in LePUS3 and Class-Z
AH Eden, E Gasparis, J Nicholson
Department of Computer Science, University of Essex, Tech. Rep. CSM-472 …, 2007
82007
Verification of LePUS3/Class-Z specifications: Sample models and abstract semantics for java 1.4
J Nicholson, AH Eden, E Gasparis
University of Essex, Tech. Rep. CSM-471, ISSN, 1744-8050, 2007
52007
On the Theoretical Foundations of LePUS3 and its Application to Object-Oriented Design Verification
J Nicholson
University of Essex, 2011
42011
Navigating Through the Design of Object-Oriented Programs
E Gasparis, J Nicholson, AH Eden, R Kazman
Reverse Engineering, 2008. WCRE'08. 15th Working Conference on, 331-332, 2008
32008
Generating and Navigating Large Euler Diagrams.
AJ Delaney, E Kow, P Chapman, J Nicholson
ED/GViP@ Diagrams, 23-31, 2014
22014
Round-trip engineering with the Two-Tier Programming Toolkit
AH Eden, E Gasparis, J Nicholson, R Kazman
Software Quality Journal 26 (2), 249-271, 2018
12018
Dataexchange: Privacy by design for data sharing in education
J Nicholson, I Tasker
2017 International Conference on the Frontiers and Advances in Data Science …, 2017
12017
Formalizing the syntax of codecharts
J Nicholson, A Delaney, G Stapleton
Proceedings of the 18th International Conference on Distributed Multimedia …, 2012
12012
Verification of Java implementations against ClassZ specifications
JOH Nicholson
MSc, University of Essex, UK, 2006
12006
Linking codecharts with programs
J Nicholson, A Delaney, G Stapleton
2012 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC …, 2012
2012
Formalising simple codecharts
J Nicholson, A Delaney
International Conference on Theory and Application of Diagrams, 346-348, 2012
2012
A theory of classes from the theoretical foundations of LePUS3
J Nicholson
Formal Methods and Software Engineering, 522-536, 2011
2011
CSM-474: LePUS3 and Class-Z Reference Manual
AH Eden, J Nicholson, E Gasparis
CSM-474, 2007
2007
The system can't perform the operation now. Try again later.
Articles 1–20