Jump to main content

yr 〜
yr

Search results 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)
Microform図書
1998<YCA-NAS 1.26:203070>
National Diet Library
  • Author HeadingEasterbrook, 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.]
Microform図書
1997<YCA-NAS 1.26:207044>
National Diet Library
  • Author HeadingEasterbrook, 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)
Microform図書
1997<YCA-NAS 1.26:203075>
National Diet Library
  • Author HeadingEasterbrook, 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)
Microform図書
1996<YCA-NAS 1.26:203082>
National Diet Library
  • Author HeadingEasterbrook, 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)
Microform図書
1996<YCA-NAS 1.26:203085>
National Diet Library
  • Author HeadingEasterbrook, 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)
Microform図書
1996<YCA-NAS 1.26:203071>
National Diet Library
  • Author HeadingAl-Rawas, Amer Easterbrook, S. M. (Steven Michael) , 1965- United States. National Aeron...

Reached to the end of result.

RSS