CIS 461: Formal Methods for Software Engineering Demo: Space Invaders

Fall 2012, UMass Dartmouth

Instructor: Dr. Haiping Xu

 

 

Instruction: The space ship is controlled by the arrow keys. To fire a missile at an alien press the space bar. the game ends when shield strength drops to zero.

Find more resource from the textbook web site: http://www.doc.ic.ac.uk/~jnm/book/

 


Haiping Xu

Last modified: August 21, 2012