Perseus: An Educational Support Tool for Systematic Software Design and Algorithm Construction | IEEE Conference Publication | IEEE Xplore