Class Project for Software Construction