Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2009, volume: 243, number:

1. 
   Preface. [Citation Graph (, )][DBLP]
   
   
2. 
   Modeling and Testing Multi-Threaded Asynchronous Systems with Creol. [Citation Graph (, )][DBLP]
   
   
3. 
   Development Life-cycle of Critical Software Under FoCaL. [Citation Graph (, )][DBLP]
   
   
4. 
   Java Test Driver Generation from Object-Oriented Interaction Traces. [Citation Graph (, )][DBLP]
   
   
5. 
   An Improvement of Software Architecture Verification. [Citation Graph (, )][DBLP]
   
   
6. 
   BAS: A Case Study for Modeling and Verification in Trustable Model Driven Development. [Citation Graph (, )][DBLP]
   
   
7. 
   Intra-Object versus Inter-Object: Concurrency and Reasoning in Creol. [Citation Graph (, )][DBLP]
   
   
8. 
   Tool Support for Holistic Modelling of Distributed Embedded Systems in Creol. [Citation Graph (, )][DBLP]
   
   
9. 
   Recovering Relationships between Documentation and Source Code based on the Characteristics of Software Engineering. [Citation Graph (, )][DBLP]
   
   
10. 
    Harnessing a Refinement Theory to Compute Loop Functions. [Citation Graph (, )][DBLP]