Electronic Notes in Theoretical Computer Science, Volume 243
Volume 243, July 2009
- 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
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team