Journals in DBLP

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

1. Steve M. Easterbrook, Robyn R. Lutz, Richard Covington, John Kelly, Yoko Ampo, David Hamilton
   Experiences Using Lightweight Formal Methods for Requirements Modeling. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1998, v:24, n:1, pp:4-14 [Journal]
   
2. Martin Neil, Gary Ostrolenk, Mary Tobin, Mark Southworth
   Lessons from Using Z to Specify a Software Tool. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1998, v:24, n:1, pp:15-23 [Journal]
   
3. Shaoying Liu, A. Jefferson Offutt, Chris Ho-Stuart, Yong Sun, Mitsuru Ohba
   SOFL: A Formal Engineering Methodology for Industrial Applications. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1998, v:24, n:1, pp:24-45 [Journal]
   
4. Boutheina Chetali
   Formal Verification of Concurrent Programs Using the Larch Prover. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1998, v:24, n:1, pp:46-62 [Journal]
   
5. Anish Arora, Sandeep S. Kulkarni
   Component Based Design of Multitolerant Systems. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1998, v:24, n:1, pp:63-78 [Journal]
   
6. Linda M. Seiter, Jens Palsberg, Karl J. Lieberherr
   Evolution of Object Behavior Using Context Relations. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1998, v:24, n:1, pp:79-92 [Journal]