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

last updated on Wed May 22 05:35:11 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page