文献
J-GLOBAL ID:200902146664019589
整理番号:94A0264289
ソフトウェア保守における形式的仕様 コードからZ++へそして再びもとの状態へ
Formal specifications in software maintenance: from code to Z++ and back again.
著者 (3件):
BOWEN J P
(Oxford Univ. Computing Lab., Oxford, GBR)
,
BREUER P T
(Univ. Polit<span style=text-decoration:overline>e ́</span>chica de Madrid, Madrid, ESP)
,
LANO K C
(Lloyd’s Register, Croydon, GBR)
資料名:
Information and Software Technology
(Information and Software Technology)
巻:
35
号:
11/12
ページ:
679-690
発行年:
1993年11月
JST資料番号:
B0445B
ISSN:
0950-5849
資料種別:
逐次刊行物 (A)
記事区分:
文献レビュー
発行国:
オランダ (NLD)
言語:
英語 (EN)