Software Engineering Journal


ISSN: null        年代:1991
当前卷期:Volume 6  issue 2     [ 查看所有卷期 ]

年代:1991
 
     Volume 6  issue 1   
     Volume 6  issue 2
     Volume 6  issue 3   
     Volume 6  issue 4   
     Volume 6  issue 5   
     Volume 6  issue 6   
1. Forwards to safety standards
  Software Engineering Journal,   Volume  6,   Issue  2,   1991,   Page  37-40

P.A.Bennett,  

Preview   |   PDF (574KB)

2. Proving properties of a safety-critical system
  Software Engineering Journal,   Volume  6,   Issue  2,   1991,   Page  41-50

WillAtkinson,   JimCunningham,  

Preview   |   PDF (1200KB)

3. The choice of computer languages for use in safety-critical systems
  Software Engineering Journal,   Volume  6,   Issue  2,   1991,   Page  51-58

W.J.Cullyer,   S.J.Goodenough,   B.A.Wichmann,  

Preview   |   PDF (1377KB)

4. Testing — a challenge to method and tool developers
  Software Engineering Journal,   Volume  6,   Issue  2,   1991,   Page  59-64

Martyn A.Ould,  

Preview   |   PDF (1052KB)

首页 上一页 下一页 尾页 第1页 共4条