A practical animation language for software development | IEEE Conference Publication | IEEE Xplore