Journals in DBLP
James D. Herbsleb , Audris Mockus An Empirical Study of Speed and Communication in Globally Distributed Software Development. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 2003, v:29, n:6, pp:481-494 [Journal ] Paolo Tonella Using a Concept Lattice of Decomposition Slices for Program Understanding and Impact Analysis. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 2003, v:29, n:6, pp:495-509 [Journal ] Antonella Santone Heuristic Search + Local Model Checking in Selective mu-Calculus. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 2003, v:29, n:6, pp:510-523 [Journal ] Christel Baier , Boudewijn R. Haverkort , Holger Hermanns , Joost-Pieter Katoen Model-Checking Algorithms for Continuous-Time Markov Chains. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 2003, v:29, n:6, pp:524-541 [Journal ] Barbara Kitchenham , Lesley Pickard , Stephen G. Linkman , Peter Jones Modeling Software Bidding Risks. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 2003, v:29, n:6, pp:542-554 [Journal ] Brad Long , Daniel Hoffman , Paul A. Strooper Tool Support for Testing Concurrent Java Components. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 2003, v:29, n:6, pp:555-566 [Journal ] Daniel M. Berry , Walter F. Tichy Comments on "Formal Methods Application: An Empirical Tale of Software Development". [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 2003, v:29, n:6, pp:567-571 [Journal ] Ann E. Kelley Sobel , Michael R. Clarkson Response to "Comments on 'Formal Methods Application: An Empirical Tale of Software Development'". [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 2003, v:29, n:6, pp:572-575 [Journal ] Jinghong Cox Chen , Hewijin Christine Jiau Comments on "On Object Systems and Behavior Inheritance". [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 2003, v:29, n:6, pp:576- [Journal ] Orna Kupferman , David Harel Response to "Comments on 'On Object Systems and Behavior Inheritance'". [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 2003, v:29, n:6, pp:576- [Journal ]