查詢結果
檢索結果筆數(11)。 各著作權人授權國家圖書館,敬請洽詢 nclper@ncl.edu.tw
-
- 題 名:
- 作 者:
- 書刊名:
Proceedings of the National Science Council : Part A, Physical Science and Engineering
- 卷 期:
22:5 1998.09[民87.09]
- 頁 次:
頁600-615
-
-
題 名:
An Integrated Combination of JSD and Formal Notations:結合傑克森系統發展方法與正規語言之研究
- 作 者:
- 書刊名:
Proceedings of the National Science Council : Part A, Physical Science and Engineering
- 卷 期:
22:3 1998.05[民87.05]
- 頁 次:
頁344-357
-
題 名:
-
-
題 名:
規格描述語言統行為的建構方法:A Method for Constructing Specification and Description Language System Behaviors
- 作 者:
- 書刊名:
- 卷 期:
80 1999.06[民88.06]
- 頁 次:
頁65-72
-
題 名:
-
-
題 名:
Formal Specifications Guide Development and Testing of Software Components:
- 作 者:
- 書刊名:
- 卷 期:
2:1 1999.06[民88.06]
- 頁 次:
頁1-10
-
題 名:
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
7:3 2001.06[民90.06]
- 頁 次:
頁1-18
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
18:1 2002.01[民91.01]
- 頁 次:
頁125-139
-
-
題 名:
DoDAF產品資料元素追溯性之研究:The Traceability Research of Changing Data Elements in the DoDAF Products
- 作 者:
- 書刊名:
- 卷 期:
42:2(A) 2013.11[民102.11]
- 頁 次:
頁125-139
-
題 名:
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
20:4 2004.07[民93.07]
- 頁 次:
頁575-615
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
33 2011.07[民100.07]
- 頁 次:
頁283-304
-
-
題 名:
A Formal Methodology for Semantics and Time Consistency Checking of UML Dynamic Diagrams:
- 作 者:
- 書刊名:
- 卷 期:
34:2 2011.03[民100.03]
- 頁 次:
頁197-211
-
題 名:
-
-
題 名:
Architecting a C4ISR System Based on the Huge-grain System Theory:
- 作 者:
- 書刊名:
- 卷 期:
2:4 2007.12[民96.12]
- 頁 次:
頁146-159
-
題 名:
被引用次數:期刊(0) 博士論文(0) 專書(0) 專書論文(0)