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 update Tue May 21 18:51:31 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
