Journals in DBLP

IEEE Software
1990, volume: 7, number: 5

1. Susan L. Gerhart
   Applications of Formal Methods: Develoment Virtuoso Software - Guest Editor's Introduction. [Citation Graph (0, 0)][DBLP]
   IEEE Software, 1990, v:7, n:5, pp:6-10 [Journal]
   
2. Anthony Hall
   Seven Myths of Formal Methods. [Citation Graph (1, 0)][DBLP]
   IEEE Software, 1990, v:7, n:5, pp:11-19 [Journal]
   
3. J. Michael Spivey
   Specifying a Real-Time Kernel. [Citation Graph (0, 0)][DBLP]
   IEEE Software, 1990, v:7, n:5, pp:21-28 [Journal]
   
4. Norman M. Delisle, David Garlan
   A Formal Specification of an Oscilloscope. [Citation Graph (0, 0)][DBLP]
   IEEE Software, 1990, v:7, n:5, pp:29-36 [Journal]
   
5. Richard A. Kemmerer
   Integrating Formal Methods into the Development Process. [Citation Graph (0, 0)][DBLP]
   IEEE Software, 1990, v:7, n:5, pp:37-50 [Journal]
   
6. Mandayam K. Srivas, Mark Bickford
   Formal Verification of a Pipelined Microprocessor. [Citation Graph (0, 0)][DBLP]
   IEEE Software, 1990, v:7, n:5, pp:52-64 [Journal]
   
7. David Blyth, Cornelia Boldyreff, Clive Ruggles, Nik Tetteh-Lartey
   The Case for Formal Methods in Standards. [Citation Graph (0, 0)][DBLP]
   IEEE Software, 1990, v:7, n:5, pp:65-67 [Journal]
   
8. Michael J. Quinn, Philip J. Hatcher
   Data-Parallel Programming on Multicomputers. [Citation Graph (0, 0)][DBLP]
   IEEE Software, 1990, v:7, n:5, pp:69-76 [Journal]
   
9. Deborah Hix
   Generations of User-Interface Management Systems. [Citation Graph (0, 0)][DBLP]
   IEEE Software, 1990, v:7, n:5, pp:77-87 [Journal]