Science of Computer Programming, Volume 67

Volume 67, Number 1, June 2007

• Karl de Leeuw:
  Preface. 1-2
  Electronic Edition (link) BibTeX
• Pablo Moreno-Ger, José Luis Sierra, Iván Martínez-Ortiz, Baltasar Fernández-Manjón:
  A documental approach to adventure game development. 3-31
  Electronic Edition (link) BibTeX
• Maria Cutumisu, Curtis Onuczko, Matthew McNaughton, Thomas Roy, Jonathan Schaeffer, Allan Schumacher, Jeff Siegel, Duane Szafron, Kevin Waugh, Mike Carbonaro, Harvey Duff, Stephanie Gillis:
  ScriptEase: A generative/adaptive programming paradigm for game scripting. 32-58
  Electronic Edition (link) BibTeX
• Marc J. V. Ponsen, Pieter Spronck, Héctor Muñoz-Avila, David W. Aha:
  Knowledge acquisition for adaptive game AI. 59-75
  Electronic Edition (link) BibTeX
• Timothy Roden, Ian Parberry, David Ducrest:
  Toward mobile entertainment: A paradigm for narrative-based audio only games. 76-90
  Electronic Edition (link) BibTeX
• Dennis Nieuwenhuisen, Arno Kamphuis, Mark H. Overmars:
  High quality navigation in computer games. 91-104
  Electronic Edition (link) BibTeX
• M. J. H. Heule, Léon J. M. Rothkrantz:
  Solving games: Dependence of applicable solving procedures. 105-124
  Electronic Edition (link) BibTeX

Volume 67, Numbers 2-3, July 2007

• Mohamed Shehata, Armin Eberlein, Abraham O. Fapojuwo:
  Using semi-formal methods for detecting interactions among smart homes policies. 125-161
  Electronic Edition (link) BibTeX
• Chun Ouyang, Eric Verbeek, Wil M. P. van der Aalst, Stephan Breutel, Marlon Dumas, Arthur H. M. ter Hofstede:
  Formal semantics and analysis of control flow in WS-BPEL. 162-198
  Electronic Edition (link) BibTeX
• Martin Erwig, Deling Ren:
  An update calculus for expressing type-safe program updates. 199-222
  Electronic Edition (link) BibTeX
• Ward Douglas Maurer:
  Generalized structured programs and loop trees. 223-246
  Electronic Edition (link) BibTeX
• Chris Verhoef:
  Quantifying the effects of IT-governance rules. 247-277
  Electronic Edition (link) BibTeX
• Philip W. L. Fong:
  Reasoning about safety properties in a JVM-like environment. 278-300
  Electronic Edition (link) BibTeX
• Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney:
  Engineering and theoretical underpinnings of retrenchment. 301-329
  Electronic Edition (link) BibTeX