| Tài liệu tham khảo |
Loại |
Chi tiết |
| 1. Ngô Trung Việt, Nguyễn Kim Ánh (2003). Nhập môn kỹ nghệ phần mềm. Nhà xuất bản Khoa học và kỹ thuật.Tiếng Anh |
Sách, tạp chí |
| Tiêu đề: |
Nhập môn kỹ nghệ phần mềm |
| Tác giả: |
Ngô Trung Việt, Nguyễn Kim Ánh |
| Nhà XB: |
Nhà xuất bản Khoa học và kỹ thuật. Tiếng Anh |
| Năm: |
2003 |
|
| 2. C.A.R. Hoare (2001). Unified Theories of Programming. Prentice Hall 3. Roger S. Pressman (2001). Software Engineering, A Practitioner’sApproach. 5 th Edition, McGraw-Hill |
Sách, tạp chí |
| Tiêu đề: |
Unified Theories of Programming". Prentice Hall 3. Roger S. Pressman (2001). "Software Engineering, A Practitioner’s "Approach |
| Tác giả: |
C.A.R. Hoare (2001). Unified Theories of Programming. Prentice Hall 3. Roger S. Pressman |
| Năm: |
2001 |
|
| 4. Zhenbang Chen, Abdel Hakim Hannousse, Dang Van Hung, Istvan Knoll, Xiaoshan Li, Zhiming Liu, Yang Liu, Qu Nan. Joseph C. Okika, Anders P. Ravn, Volker Stolz, Lu Yang, and Naijun Zhan. Modelling with Relational Calculus of Object and Component Systems - rCOS. Technical Report UNU/IIST Report No 382, UNU/IIST, P.O. Box 3058, Macao SAR China, 2007 |
Sách, tạp chí |
| Tiêu đề: |
Modelling with Relational Calculus of Object and Component Systems - rCOS |
|
| 5. Zhenbang Chen, Zhiming Liu, Anders P. Ravn, Volker Stolz and Naijun Zhan. Refinement and Verification in Component-Based Model Driven Design. Technical Report UNU/IIST Report No 388, UNU/IIST, P.O.Box 3058, Macao SAR China, 2007 |
Sách, tạp chí |
| Tiêu đề: |
Refinement and Verification in Component-Based Model Driven Design |
|
| 6. Dang Van Hung and Pham Hong Thai. Towards a Template Language for Component-Based Programming. Technical Report No 354, UNU-IIST, P.O.Box 3058, Macao SAR China, April 2007 |
Sách, tạp chí |
| Tiêu đề: |
Towards a Template Language for Component-Based Programming |
|
| 7. Zhiming Liu, He Jifeng and Xiaoshan Li, Contract-Oriented Development of Component Software. Technical Report UNU/IIST Report No 298, UNU/IIST, P.O. Box 3058, Macao SAR China, 2004 |
Sách, tạp chí |
| Tiêu đề: |
Contract-Oriented Development of Component Software |
|
| 8. Zhiming Liu, Charles Morisset and Volker Stolz, rCOS: Theory and Tool for Component-Based Model Driven Development. Technical Report UNU/IIST Report No 406, UNU/IIST, P.O. Box 3058, Macao SAR China, 2009 |
Sách, tạp chí |
| Tiêu đề: |
rCOS: Theory and Tool for Component-Based Model Driven Development |
|
| 9. He Jifeng, Zhiming Liu and Li Xiaoshan. Contract-Oriented Component Software Development. Technical Report UNU/IIST Report No 276, UNU/IIST, P.O. Box 3058, Macao SAR China, 2003 |
Sách, tạp chí |
| Tiêu đề: |
Contract-Oriented Component Software Development |
|
| 10. He Jifeng, Xiaoshan Li and Zhiming Liu. Component-based Software Enginerring, the Need to Link Methods and their Theories. Technical Report UNU/IIST Report No 330, UNU/IIST, P.O. Box 3058, Macao SAR China, 2005 |
Sách, tạp chí |
| Tiêu đề: |
Component-based Software Enginerring, the Need to Link Methods and their Theories |
|
| 11. Kim Pyong Sam and Dang Van Hung. A UTP Approach Semantics for Component-Based Real-Time Systems. Technical Report UNU/IIST Report No 303, UNU/IIST, P.O. Box 3058, Macao SAR China, 2005 |
Sách, tạp chí |
| Tiêu đề: |
A UTP Approach Semantics for Component-Based Real-Time Systems |
|