DEBS'04 - Engineering of Event-Based Applications Towards an Architecture for Reasoning about Complex Event-Based Dynamic Systems Gabriel Jakobson John F. Buford L. Lewis A Transformational Framework for Testing and Model Checking Implicit-Invocation Systems Hongyu Zhang Jeremy S. Bradbury James R. Cordy Jürgen Dingel On Methodologies for Constructing Correct Event-Based Applications Pascal Fenkam Mehdi Jazayeri Gerald Reif Return to DEBS'04 Sessions ©2005 Association for Computing Machinery