Electronic Notes in Theoretical Computer Science, Volume 243

Volume 243, July 2009

• Jianhua Zhao, Volker Stolz:
  Preface. 1-2
  
• Bernhard K. Aichernig, Andreas Griesmayer, Rudolf Schlatte, Andries Stam:
  Modeling and Testing Multi-Threaded Asynchronous Systems with Creol. 3-14
  
• Philippe Ayrault, Thérèse Hardin, François Pessaux:
  Development Life-cycle of Critical Software Under FoCaL. 15-31
  
• Frank S. de Boer, Marcello M. Bonsangue, Andreas Grüner, Martin Steffen:
  Java Test Driver Generation from Object-Oriented Interaction Traces. 33-47
  
• Zuohua Ding, Jing Liu:
  An Improvement of Software Architecture Verification. 49-67
  
• Dehui Du, Jing Liu, Honghua Cao, Miaomiao Zhang:
  BAS: A Case Study for Modeling and Verification in Trustable Model Driven Development. 69-87
  
• Einar Broch Johnsen, Jasmin Christian Blanchette, Marcel Kyas, Olaf Owe:
  Intra-Object versus Inter-Object: Concurrency and Reasoning in Creol. 89-103
  
• Marcel Kyas:
  Tool Support for Holistic Modelling of Distributed Embedded Systems in Creol. 105-120
  
• Xiaobo Wang, Guanhui Lai, Chao Liu:
  Recovering Relationships between Documentation and Source Code based on the Characteristics of Software Engineering. 121-137
  
• Ali Mili, Rahma Ben Ayed, Shir Aharon, Chaitanya Nadkarni:
  Harnessing a Refinement Theory to Compute Loop Functions. 139-155