Sciweavers

80
Voted
ASWEC
2001
IEEE
15 years 19 days ago
Visualisation of Refinements
Animation tools haveproven to be effective asa means of visualising formal specijcations. Specijcations that might otherwise be impenetrable can be communicated to a wide range of...
Neil J. Robinson, Colin J. Fidge