User Experience reports

Assurance networks for complex systems

Colin Brain, SE Validation

Using GSN and ASCE for Presenting Formal Program Verification Information

Nurlida Basir, School of Electronics and Computer Science, University of Southampton

Update on ASCE plugins

VML - exporting ASCE networks to zoomable HTML

Managing node review details (a plugin commissioned by QinetiQ)

George Cleland, Adelard

Update on Microsoft Word linking and embedding plugin

Luke Emmet, Adelard

ASCE v4 progress

ASCE v4 Display engine - Painting and Decorating in ASCE

Luke Emmet, Adelard

ASCE v4 update: Managing and visualising changes to content, commenting enhancements, new plugin engine and manager, proposed UI improvements

Chris Nicholls, Adelard