An automated method for identifying inconsistencies within diagrammatic software requirements specifications [microform] : thesis ... / by Zhong Zhang

Notes on use

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

Search by Bookstore

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

Material Type: 図書
Title: An automated method for identifying inconsistencies within diagrammatic software requirements specifications [microform] : thesis ... / by Zhong Zhang
Title Heading: NASA contractor report ; NASA CR-207046
Author Heading: Zhang, Zhong
United States. National Aeronautics and Space Administration
Publication Date (W3CDTF): 1997
Extent: microfiche
Size: 11 × 15 cm
Place of Publication (Country Code): US
Text Language Code: eng
Note (Material Type): [microform]
Subject Heading: Computer programming
Software engineering
Software development tools
Consistency
Hypertext
Graphs (Charts)
Note (General): Shipping list no.: 99-0211-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, 1997]
SUPTDOC番号: NAS 1.26: 207046
GPO管理番号: 0830-H-14 (MF)
Holding library: 国立国会図書館
Call No.: YCA-NAS 1.26:207046
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000006620483
http://id.ndl.go.jp/bib/000006620483
OCLC No.: 40805951
https://www.worldcat.org/oclc/40805951
Bibliographic Record Category (NDL): 281