LePUS3: An object-oriented design description language E Gasparis, J Nicholson, A Eden Diagrammatic Representation and Inference, 364-367, 2008 | 39 | 2008 |
Automated verification of design patterns: A case study J Nicholson, AH Eden, R Kazman, E Gasparis Science of Computer Programming, 2013 | 31 | 2013 |
Codecharts: Roadmaps and blueprints for object-oriented programs AH Eden, J Nicholson Wiley, 2011 | 26 | 2011 |
LePUS3 and Class-Z reference manual AH Eden, E Gasparis, J Nicholson University of Essex, Tech. Rep. CSM-474, ISSN, 1744-8050, 2007 | 24 | 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 | 19 | 2008 |
Modeling and visualizing object-oriented programs with Codecharts AH Eden, E Gasparis, J Nicholson, R Kazman Formal Methods in System Design, 2013 | 15 | 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 | 12 | 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 | 11 | 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 | 8 | 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 | 8 | 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 | 6 | 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 | 5 | 2008 |
On the Theoretical Foundations of LePUS3 and its Application to Object-Oriented Design Verification J Nicholson University of Essex, 2011 | 4 | 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 | 3 | 2008 |
Generating and Navigating Large Euler Diagrams. AJ Delaney, E Kow, P Chapman, J Nicholson ED/GViP@ Diagrams, 23-31, 2014 | 2 | 2014 |
Formalizing the syntax of codecharts J Nicholson, A Delaney, G Stapleton Proceedings of the 18th International Conference on Distributed Multimedia …, 2012 | 1 | 2012 |
Verification of Java implementations against ClassZ specifications JOH Nicholson MSc, University of Essex, UK, 2006 | 1 | 2006 |
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 |