Journals in DBLP

ACM Trans. Softw. Eng. Methodol.
2003, volume: 12, number: 2

1. Alberto Coen-Porisini, Matteo Pradella, Matteo Rossi, Dino Mandrioli
   A formal approach for designing CORBA-based applications. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Softw. Eng. Methodol., 2003, v:12, n:2, pp:107-151 [Journal]
   
2. Mark van den Brand, Paul Klint, Jurgen J. Vinju
   Term rewriting with traversal functions. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Softw. Eng. Methodol., 2003, v:12, n:2, pp:152-190 [Journal]
   
3. Martin P. Robillard, Gail C. Murphy
   Static analysis to support the evolution of exception structure in object-oriented systems. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Softw. Eng. Methodol., 2003, v:12, n:2, pp:191-221 [Journal]
   
4. Luca Durante, Riccardo Sisto, Adriano Valenzano
   Automatic testing equivalence verification of spi calculus specifications. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Softw. Eng. Methodol., 2003, v:12, n:2, pp:222-284 [Journal]