Journals in DBLP

IEEE Trans. Software Eng.
2003, volume: 29, number: 10

1. William G. Griswold
   Guest Editor's Introduction: 2002 Conference on the Foundations of Software Engineering. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 2003, v:29, n:10, pp:865- [Journal]
   
2. Jianwei Niu, Joanne M. Atlee, Nancy A. Day
   Template Semantics for Model-Based Notations. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 2003, v:29, n:10, pp:866-882 [Journal]
   
3. Glenn Bruns, Satish Chandra
   Searching for Points-To Analysis. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 2003, v:29, n:10, pp:883-897 [Journal]
   
4. Arie Gurfinkel, Marsha Chechik, Benet Devereux
   Temporal Logic Query Checking: A Tool for Model Exploration. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 2003, v:29, n:10, pp:898-914 [Journal]
   
5. Yichen Xie, Dawson R. Engler
   Using Redundancies to Find Errors. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 2003, v:29, n:10, pp:915-928 [Journal]
   
6. Licia Capra, Wolfgang Emmerich, Cecilia Mascolo
   CARISMA: Context-Aware Reflective mIddleware System for Mobile Applications. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 2003, v:29, n:10, pp:929-945 [Journal]
   
7. Katerina Goseva-Popstojanova, Ahmed E. Hassan, Ajith Guedem, Walid Abdelmoez, Diaa Eldin M. Nassar, Hany H. Ammar, Ali Mili
   Architectural-Level Risk Analysis Using UML. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 2003, v:29, n:10, pp:946-960 [Journal]