Alex Blewitt

Eclipse 4 plug-in development by example : How to develop, build, test, package, and release Eclipse plug-ins with features for Eclipse 3.x and Eclipse 4.x : Beginner's guide

Alex Blewitt, 2013 .

HEDGEHOG : automatic verification of design patterns in Java

Alex Blewitt, A. Blewitt, 2006 .

Mastering Eclipse Plug-In Development

Alex Blewitt, 2014 .

Automatic verification of Java design patterns

Alan Bundy, Ian Stark, Alex Blewitt, 2001, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).

Automatic verification of design patterns in Java

Alan Bundy, Ian Stark, Alex Blewitt, 2005, ASE.

Spine: Language for Pattern Verification

Alex Blewitt, A. Blewitt, 2007 .

Eclipse Plugin Development by Example: Beginner's Guide

Alex Blewitt, 2013 .