Filters








1 Hit in 3.8 sec

Using State Machines for the Visualisation of Specifications via Refinement

Colin Pilbrow, Steve Reeves
2015 Proceedings of the ASWEC 2015 24th Australasian Software Engineering Conference on - ASWEC ' 15 Vol. II  
II, September 28-October 01, 2015, Adelaide, SA, Australia c 2015 Copyright held by the owner/author(s). Publication rights licensed to ACM.  ...  Figure 1 : 1 Visualising the Alan Turing birthday book remove operation where the name is Alan Turing and the date is not 230612.  ... 
doi:10.1145/2811681.2811702 dblp:conf/aswec/PilbrowR15 fatcat:cxyvrzvbvnbirgsvtfvbw34lum