Claudius: an interactive graphical software design method | IEEE Conference Publication | IEEE Xplore