ICSM
2002
IEEE
13 years 9 months ago
2002
IEEE
Assertions, or more generally “Programming by contract”, have gained widespread acceptance in the computer science community as a means for correct program development. Howeve...
ATAL
2005
Springer
13 years 10 months ago
2005
Springer
There has been a growing interest in designing multi-agent based interactive dramas. A key research challenge faced in the design of these systems is to support open-ended user in...