年 〜
年

検索結果 6 件

Learning from inconsistency [microform] / by Steve Easterbrook (NASA ; IVV-96-001) (WVU-SRL ; 96-001) (WVU-SCS-TR ; 96-1) (CERC-TR-TM ; 96-001) ([NASA contractor report] ; NASA-CR-203070)

Learning from inconsistency [microform] / by Steve Easterbrook (NASA ; IVV-96-001) (WVU-SRL ; 96-001) (WVU-SCS-TR ; 96-1) (CERC-TR-TM ; 96-001) ([NASA contractor report] ; NASA-CR-203070)
マイクロ図書
1998<YCA-NAS 1.26:203070>
国立国会図書館
  • 著者標目Easterbrook, S. M. (Steven Michael) , 1965- United States. National Aeron...

Experiences using lightweight formal methods for requirements modeling [microform] / Steve Easterbrook ... [et al.]

Experiences using lightweight formal methods for requirements modeling [microform] / Steve Easterbrook ... [et al.]
マイクロ図書
1997<YCA-NAS 1.26:207044>
国立国会図書館
  • 著者標目Easterbrook, S. M. (Steven Michael) , 1965- United States. National Aeron...

Formal methods of V&V of partial specifications [microform] : an experience report / by Steve Easterbrook and Jack Callahan ([NASA contractor report] ; NASA-CR-203075) (Technical report series)

Formal methods of V&V of partial specifications [microform] : an experience report / by Steve Easterbrook and Jack Callahan ([NASA contractor report] ; NASA-CR-203075) (Technical report series)
マイクロ図書
1997<YCA-NAS 1.26:203075>
国立国会図書館
  • 著者標目Easterbrook, S. M. (Steven Michael) , 1965- Callahan, Jack United States....

The role of independent V&V in upstream software development processes [microform] / by Steve Easterbrook ([NASA contractor report] ; NASA-CR-203082) (Technical report series)

The role of independent V&V in upstream software development processes [microform] / by Steve Easterbrook ([NASA contractor report] ; NASA-CR-203082) (Technical report series)
マイクロ図書
1996<YCA-NAS 1.26:203082>
国立国会図書館
  • 著者標目Easterbrook, S. M. (Steven Michael) , 1965- United States. National Aeron...

Experiences using formal methods for requirements modeling [microform] / by Steve Easterbrook ... [et al.] ([NASA contractor report] ; NASA-CR-203085) (Technical report series)

Experiences using formal methods for requirements modeling [microform] / by Steve Easterbrook ... [et al.] ([NASA contractor report] ; NASA-CR-203085) (Technical report series)
マイクロ図書
1996<YCA-NAS 1.26:203085>
国立国会図書館
  • 著者標目Easterbrook, S. M. (Steven Michael) , 1965- United States. National Aeron...

Communication problems in requirements engineering [microform] : a field study / by Amer Al-Rawas and Steve Easterbrook ([NASA contractor report] ; NASA-CR-203071) (Technical report series)

Communication problems in requirements engineering [microform] : a field study / by Amer Al-Rawas and Steve Easterbrook ([NASA contractor report] ; NASA-CR-203071) (Technical report series)
マイクロ図書
1996<YCA-NAS 1.26:203071>
国立国会図書館
  • 著者標目Al-Rawas, Amer Easterbrook, S. M. (Steven Michael) , 1965- United States. National Aeron...

検索結果は以上です。