Journals in DBLP

IEEE Trans. Software Eng.
2000, volume: 26, number: 8

1. Jeannette M. Wing, Jim Woodcock
   Guest Editors' Introduction-Special Issues for FM '99: The First World Congress On Formal Methods in the Development of Computing Systems. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 2000, v:26, n:8, pp:673-674 [Journal]
   
2. Steve King, Jonathan Hammond, Roderick Chapman, Andy Pryor
   Is Proof More Cost-Effective Than Testing? [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 2000, v:26, n:8, pp:675-686 [Journal]
   
3. Anne Elisabeth Haxthausen, Jan Peleska
   Formal Development and Verification of a Distributed Railway Control System. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 2000, v:26, n:8, pp:687-701 [Journal]
   
4. Volkmar Lotz, Volker Kessler, Georg Walter
   A Formal Security Model for Microprocessor Hardware. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 2000, v:26, n:8, pp:702-712 [Journal]
   
5. Ana Cavalcanti, David A. Naumann
   A Weakest Precondition Semantics for Refinement of Object-Oriented Programs. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 2000, v:26, n:8, pp:713-728 [Journal]
   
6. Hervé Marchand, Mazen Samaan
   Incremental Design of a Power Transformer Station Controller Using a Controller Synthesis Methodology. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 2000, v:26, n:8, pp:729-741 [Journal]
   
7. Mor Peleg, Dov Dori
   The Model Multiplicity Problem: Experimenting with Real-Time Specification Methods. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 2000, v:26, n:8, pp:742-759 [Journal]
   
8. Fabio Casati, Silvana Castano, Maria Grazia Fugini, Isabelle Mirbel, Barbara Pernici
   Using Patterns to Design Rules in Workflows. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 2000, v:26, n:8, pp:760-785 [Journal]
   
9. Michelle Cartwright, Martin J. Shepperd
   An Empirical Investigation of an Object-Oriented Software System. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 2000, v:26, n:8, pp:786-796 [Journal]
   
10. Norman E. Fenton, Niclas Ohlsson
    Quantitative Analysis of Faults and Failures in a Complex Software System. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2000, v:26, n:8, pp:797-814 [Journal]