Journals in DBLP

Journal of Systems and Software
1998, volume: 40, number: 3

1. Hossein Saiedian
   Guest editor's corner research directions in formal methods technology transfer. [Citation Graph (0, 0)][DBLP]
   Journal of Systems and Software, 1998, v:40, n:3, pp:187-189 [Journal]
   
2. Michael Jackson
   Formal methods and traditional engineering. [Citation Graph (0, 0)][DBLP]
   Journal of Systems and Software, 1998, v:40, n:3, pp:191-194 [Journal]
   
3. David Lorge Parnas
   "Formal methods" technology transfer will fail. [Citation Graph (0, 0)][DBLP]
   Journal of Systems and Software, 1998, v:40, n:3, pp:195-198 [Journal]
   
4. Steve M. Easterbrook, John R. Callahan
   Formal methods for verification and validation of partial specifications: A case study. [Citation Graph (0, 0)][DBLP]
   Journal of Systems and Software, 1998, v:40, n:3, pp:199-210 [Journal]
   
5. Jim Armstrong
   Industrial integration of graphical and formal specifications. [Citation Graph (0, 0)][DBLP]
   Journal of Systems and Software, 1998, v:40, n:3, pp:211-225 [Journal]
   
6. Ulrich Ultes-Nitsche
   Application of formal verification and behaviour abstraction to the service interaction problem in intelligent networks. [Citation Graph (0, 0)][DBLP]
   Journal of Systems and Software, 1998, v:40, n:3, pp:227-248 [Journal]
   
7. Lalita Jategaonkar Jagadeesan, Lawrence G. Votta, Adam A. Porter, Carlos Puchol, J. Christopher Ramming
   Specification-based testing of reactive software: A case study in technology transfer. [Citation Graph (0, 0)][DBLP]
   Journal of Systems and Software, 1998, v:40, n:3, pp:249-262 [Journal]
   
8. Sara Jones, David Till, Ann M. Wrightson
   Formal methods and requirements engineering: Challenges and synergies. [Citation Graph (0, 0)][DBLP]
   Journal of Systems and Software, 1998, v:40, n:3, pp:263-273 [Journal]
   
9. Baudouin Le Charlier, Pierre Flener
   Specifications are necessarily informal or: Some more myths of formal methods. [Citation Graph (0, 0)][DBLP]
   Journal of Systems and Software, 1998, v:40, n:3, pp:275-296 [Journal]
   
10. 
    Biographies. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1998, v:40, n:3, pp:297-299 [Journal]