Journals in DBLP

IEEE Trans. Software Eng.
1998, volume: 24, number: 11

1. Axel van Lamsweerde, Robert Darimont, Emmanuel Letier
   Managing Conflicts in Goal-Driven Requirements Engineering. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1998, v:24, n:11, pp:908-926 [Journal]
   
2. Constance L. Heitmeyer, James Kirby, Bruce G. Labaw, Myla Archer, Ramesh Bharadwaj
   Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1998, v:24, n:11, pp:927-948 [Journal]
   
3. Martin S. Feather
   Rapid Application of Lightweight Formal Methods for Consistency Analysis. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1998, v:24, n:11, pp:949-959 [Journal]
   
4. John C. Grundy, John G. Hosking, Warwick B. Mugridge
   Inconsistency Management for Multiple-View Software Development Environments. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1998, v:24, n:11, pp:960-981 [Journal]
   
5. Gianpaolo Cugola
   Tolerating Deviations in Process Support Systems via Flexible Enactment of Process Models. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1998, v:24, n:11, pp:982-1001 [Journal]
   
6. Norman E. Fenton, Martin Neil
   A Strategy for Improving Safety Related Software Engineering Standards. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1998, v:24, n:11, pp:1002-1013 [Journal]
   
7. Zhen Liu
   Performance Analysis of Stochastic Timed Petri Nets Using Linear Programming Approach. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1998, v:24, n:11, pp:1014-1030 [Journal]