CS U670 Assignment #3. Assigned: Tuesday, 29 January 2008 Due: Tuesday, 5 February 2008 Write a specification for communications between the referee program and your game-playing program. Your specification should describe the message-passing protocol, the interleaving/alternation of messages, the character sets and encoding schemes, and the message syntax for the domain-specific language in which the referee program communicates with game-playing programs. Your specification should contain enough detail for the instructor and his minions to implement the referee program and for your fellow students to implement their game-playing programs. Your specification should be as long as necessary, but should not be too much longer than necessary. You may use formal specification techniques. Submit your specification in printed form at the beginning of class on Tuesday, 5 February 2008. Remember to identify yourself. Late assignments may be discounted, and very late assignments are likely to be discarded. --------------------------------------------------