Jon Nicholson

According to our database, Jon Nicholson authored at least 13 papers between 2008 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2018

Round-trip engineering with the Two-Tier Programming Toolkit.

Amnon H. Eden, Epameinondas Gasparis, Jon Nicholson, Rick Kazman

Softw. Qual. J., 2018

2014

Automated verification of design patterns: A case study.

Jonathan Nicholson, Amnon H. Eden, Epameinondas Gasparis, Rick Kazman

Sci. Comput. Program., 2014

Generating and Navigating Large Euler Diagrams.

Aidan J. Delaney, Eric Kow, Peter Chapman, Jon Nicholson

Proceedings of the Joint Proceedings of the Fourth International Workshop on Euler Diagrams and the First International Workshop on Graph Visualization in Practice co-located with Diagrams 2014, 2014

2013

Modeling and visualizing object-oriented programs with Codecharts.

Amnon H. Eden, Epameinondas Gasparis, Jonathan Nicholson, Rick Kazman

Formal Methods Syst. Des., 2013

2012

Linking codecharts with programs.

Jon Nicholson, Aidan J. Delaney, Gem Stapleton

Proceedings of the 2012 IEEE Symposium on Visual Languages and Human-Centric Computing, 2012

Formalizing the Syntax of Codecharts.

Jon Nicholson, Aidan J. Delaney, Gem Stapleton

Proceedings of the 18th International Conference on Distributed Multimedia Systems, 2012

Formalising Simple Codecharts.

Jon Nicholson, Aidan J. Delaney

Proceedings of the Diagrammatic Representation and Inference, 2012

2011

On the theoretical foundations of LePUS3 and its application to object-oriented design verification.

Jonathan Nicholson

PhD thesis, 2011

A Theory of Classes from the Theoretical Foundations of LePUS3.

Jonathan Nicholson

Proceedings of the Formal Methods and Software Engineering, 2011

2009

Verification of Design Patterns with LePUS3.

Jonathan Nicholson, Epameinondas Gasparis, Amnon H. Eden, Rick Kazman

Proceedings of the First NASA Formal Methods Symposium, 2009

2008

Navigating Through the Design of Object-Oriented Programs.

Epameinondas Gasparis, Jonathan Nicholson, Amnon H. Eden, Rick Kazman

Proceedings of the WCRE 2008, 2008

The design navigator: charting java programs.

Epameinondas Gasparis, Amnon H. Eden, Jonathan Nicholson, Rick Kazman

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

LePUS3: An Object-Oriented Design Description Language.

Epameinondas Gasparis, Jonathan Nicholson, Amnon H. Eden

Proceedings of the Diagrammatic Representation and Inference, 5th International Conference, 2008