An Integrated Combination of JSD and Formal Notations

推薦分享

Share

資源連結

連結到原始資料 (您即將開啟新視窗離開本站)

後設資料

資料識別:
A98014193
資料類型:
期刊論文
著作者:
李充中(Lee, Jonathan) 潘健一(Pan, Jiann-i) 薛念林(Xue, Nien-lin) 黃為德(Huang, Wei-teh)
主題與關鍵字:
Formal specifications Informal methods Jackson System Development JSD Methods integration Z 傑克森系統
描述:
來源期刊:Proceedings of the National Science Council. Part A, Physical Science and Engineering
卷期:22:3 民87.05
頁次:頁344-357
日期:
19980500
來源:
臺灣期刊論文索引系統
管理權:
國家圖書館

授權聯絡窗口

管理單位:知識服務組-期刊
聯絡E-mail:nclper@ncl.edu.tw
電話:02-23619132轉305

引用這筆典藏 引用說明

引用資訊
直接連結