Jon Nicholson
Jon Nicholson
Hastings Direct
Verified email at - Homepage
Cited by
Cited by
LePUS3: An object-oriented design description language
E Gasparis, J Nicholson, A Eden
Diagrammatic Representation and Inference, 364-367, 2008
Automated verification of design patterns: A case study
J Nicholson, AH Eden, R Kazman, E Gasparis
Science of Computer Programming, 2013
Codecharts: Roadmaps and blueprints for object-oriented programs
AH Eden, J Nicholson
Wiley, 2011
LePUS3 and Class-Z reference manual
AH Eden, E Gasparis, J Nicholson
University of Essex, Tech. Rep. CSM-474, ISSN, 1744-8050, 2007
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
Modeling and visualizing object-oriented programs with Codecharts
AH Eden, E Gasparis, J Nicholson, R Kazman
Formal Methods in System Design, 2013
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
Round-trip engineering with the two-tier programming toolkit
AH Eden, E Gasparis, J Nicholson, R Kazman
Software Quality Journal 26, 249-271, 2018
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
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
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
The two-tier programming project website
J Nicholson, E Gasparis, AH Eden
nd [Online]. Available: http://ttp. essex. ac. uk/.[Accessed: 16-Jan-2013], 2008
On the Theoretical Foundations of LePUS3 and its Application to Object-Oriented Design Verification
J Nicholson
University of Essex, 2011
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
Generating and Navigating Large Euler Diagrams.
AJ Delaney, E Kow, P Chapman, J Nicholson
ED/GViP@ Diagrams, 23-31, 2014
Formalizing the syntax of codecharts
J Nicholson, A Delaney, G Stapleton
Proceedings of the 18th International Conference on Distributed Multimedia …, 2012
Verification of Java implementations against ClassZ specifications
JOH Nicholson
MSc, University of Essex, UK, 2006
Linking codecharts with programs
J Nicholson, A Delaney, G Stapleton
2012 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC …, 2012
Formalising simple codecharts
J Nicholson, A Delaney
Diagrammatic Representation and Inference: 7th International Conference …, 2012
A theory of classes from the theoretical foundations of LePUS3
J Nicholson
Formal Methods and Software Engineering, 522-536, 2011
The system can't perform the operation now. Try again later.
Articles 1–20