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)

Call No. (NDL): YCA-NAS 1.26:203085
Bibliographic ID of National Diet Library: 000006627311

Material type: 図書

Author: Easterbrook, S. M. (Steven Michael) , 1965-ほか

Publisher: -

Publication date: 1996

Material Format: Microform

Capacity, size, etc.: microfiche ; 11 × 15 cm

NDC: -

View All

Notes on use

Note (General)：: Shipping list no.: 98-1098-MPhysical description for original version: 1 v

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Microform

Material Type: 図書
Title: Experiences using formal methods for requirements modeling [microform] / by Steve Easterbrook ... [et al.]
Series Title: [NASA contractor report] ; NASA-CR-203085
Technical report series
Author/Editor (Series Title): NASA/WVU Software IV & V Facility, Software Research Laboratory
NASA-IVV-96-018
Author Heading: Easterbrook, S. M. (Steven Michael) , 1965-
United States. National Aeronautics and Space Administration
Publication Date (W3CDTF): 1996
Extent: microfiche
Size: 11 × 15 cm
Place of Publication (Country Code): US
Text Language Code: eng
Note (Material Type): [microform]
Subject Heading: Software engineering
Requirements
Program verification (Computers)
Software reliability
Fault detection
Note (General): Shipping list no.: 98-1098-M
Physical description for original version: 1 v
Note (Original Version): 原資料の出版事項: [Washington, DC] ; [Springfield, Va. : National Aeronautics and Space Administration : National Technical Information Service, distributor, 1996]
SUPTDOC番号: NAS 1.26: 203085
GPO管理番号: 0830-H-14 (MF)
Holding library: 国立国会図書館
Call No.: YCA-NAS 1.26:203085
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000006627311
http://id.ndl.go.jp/bib/000006627311
OCLC No.: 42575500
https://www.worldcat.org/oclc/42575500
Bibliographic Record Category (NDL): 281