26 search results - page 6 / 6 » SpecDiff: debugging formal specifications |
117
Voted
AIIDE
2008
15 years 5 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...