Follow
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
392008
Automated verification of design patterns: A case study
J Nicholson, AH Eden, R Kazman, E Gasparis
Science of Computer Programming, 2013
302013
Codecharts: Roadmaps and blueprints for object-oriented programs
AH Eden, J Nicholson
Wiley, 2011
262011
LePUS3 and Class-Z reference manual
AH Eden, E Gasparis, J Nicholson
University of Essex, Tech. Rep. CSM-474, ISSN, 1744-8050, 2007
242007
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
192008
Modeling and visualizing object-oriented programs with Codecharts
AH Eden, E Gasparis, J Nicholson, R Kazman
Formal Methods in System Design, 2013
152013
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
122009
Round-trip engineering with the two-tier programming toolkit
AH Eden, E Gasparis, J Nicholson, R Kazman
Software Quality Journal 26, 249-271, 2018
102018
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
82017
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
62007
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
52008
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
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
Diagrammatic Representation and Inference: 7th International Conference …, 2012
2012
A theory of classes from the theoretical foundations of LePUS3
J Nicholson
Formal Methods and Software Engineering, 522-536, 2011
2011
The system can't perform the operation now. Try again later.
Articles 1–20