26 search results - page 6 / 6 » SpecDiff: debugging formal specifications |
AIIDE
2008
13 years 7 months ago
2008
Systems that provide automated game-design support-whether fully automated game generators, or tools to assist human designers--must be able to maintain a representation of a game...