A formal specification for casanova, a language for computer games.
Giuseppe MaggioreAlvise SpanòRenzo OrsiniMichele BugliesiMohamed AbbadiEnrico SteffinlongoPublished in: EICS (2012)
Keyphrases
- computer games
- formal specification
- specification language
- process algebra
- data abstraction
- model checking
- object oriented design
- specification languages
- formal specification language
- game design
- formal methods
- concurrent systems
- natural language
- digital storytelling
- educational games
- video games
- programming language
- reverse engineering
- game play
- game playing
- commercial games
- artificial intelligence
- digital entertainment
- temporal logic