Specification-driven design with Eiffel and agents for teaching lightweight formal methods - Research Database, The University of York Other