Jon Nicholson
Jon Nicholson
Assembly
Verified email at drjonnicholson.com - Homepage
TitleCited byYear
Oral vs intravenous paracetamol for lower third molar extractions under general anaesthesia: is oral administration inferior?
S Fenlon, J Collyer, J Giles, H Bidd, M Lees, J Nicholson, R Dulai, ...
British journal of anaesthesia 110 (3), 432-437, 2012
372012
LePUS3: An object-oriented design description language
E Gasparis, J Nicholson, A Eden
Diagrammatic Representation and Inference, 364-367, 2008
362008
LePUS3 and Class-Z reference manual
AH Eden, E Gasparis, J Nicholson
University of Essex, Tech. Rep. CSM-474, ISSN, 1744-8050, 2007
232007
Codecharts: Roadmaps and blueprints for object-oriented programs
AH Eden, J Nicholson
Wiley, 2011
212011
Automated verification of design patterns: A case study
J Nicholson, AH Eden, R Kazman, E Gasparis
Science of Computer Programming, 2013
162013
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
122013
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.
A 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
Knowledge Systems Institute, 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
The system can't perform the operation now. Try again later.
Articles 1–20