Tài liệu tham khảo |
Loại |
Chi tiết |
1. R. Allen (1997), A Formal Approach to Software Architecture, PhD thesis, Carnegie Mellon, School of Computer Science |
Sách, tạp chí |
Tiêu đề: |
A Formal Approach to Software Architecture |
Tác giả: |
R. Allen |
Năm: |
1997 |
|
2. R. Allen and D Garlan (1997), “A formal basis for architectural connection”, ACM Transactions on Software Engineering and Methodology, 6(3), pp. 213 – 249 |
Sách, tạp chí |
Tiêu đề: |
A formal basis for architectural connection”, "ACM Transactions on Software Engineering and Methodology |
Tác giả: |
R. Allen and D Garlan |
Năm: |
1997 |
|
3. F. Arbab (2004), “Reo: A channeled based coordination model for components composition”, Mathematical Structures in Computer Science, 14(3), pp. 329–366 |
Sách, tạp chí |
Tiêu đề: |
Reo: A channeled based coordination model for components composition”, "Mathematical Structures in Computer Science |
Tác giả: |
F. Arbab |
Năm: |
2004 |
|
4. L. Bass, P. Clements, and R. Kazman (1999), Software Architecture in Practice, Addison-Wesley |
Sách, tạp chí |
Tiêu đề: |
Software Architecture in Practice |
Tác giả: |
L. Bass, P. Clements, and R. Kazman |
Năm: |
1999 |
|
5. G. Beneken and U. Hammerschall et al (2003), “Componentware - Sate of the art 2003”, Background Paper for Understanding Components Workshop of the CUE Initiative |
Sách, tạp chí |
Tiêu đề: |
et al" (2003), “Componentware - Sate of the art 2003”, Background Paper for "Understanding Components Workshop |
Tác giả: |
G. Beneken and U. Hammerschall et al |
Năm: |
2003 |
|
6. M. Broy (2003), Multi-view modeling of software systems, Report No.284, UNU- IIST, P.O.Box 3058, Macau |
Sách, tạp chí |
Tiêu đề: |
Multi-view modeling of software systems |
Tác giả: |
M. Broy |
Năm: |
2003 |
|
7. M. Broy and K. Stứlen (2001), Specification and Development of Interactive Systems: FOCUS on Streams, Interfaces, and Refinement, Springer |
Sách, tạp chí |
Tiêu đề: |
Specification and Development of Interactive Systems: FOCUS on Streams, Interfaces, and Refinement |
Tác giả: |
M. Broy and K. Stứlen |
Năm: |
2001 |
|
8. Zhou Chaochen, Anders P. Ravn, and Michael R.Hansen (1993), “An Extended Duration Calculus for Real-time Systems”, Hybrid Systems, LNCS 736 |
Sách, tạp chí |
Tiêu đề: |
An Extended Duration Calculus for Real-time Systems”, "Hybrid Systems |
Tác giả: |
Zhou Chaochen, Anders P. Ravn, and Michael R.Hansen |
Năm: |
1993 |
|
9. M.R.V. Chaudron and E. de Jong (2000), “Components are from Mars”, Proc. 15 IPDPS 2000 Workshops on Parallel and Distributed Processing, LNCS 1800, pp. 727 – 733 |
Sách, tạp chí |
Tiêu đề: |
Components are from Mars”, "Proc. 15 IPDPS 2000 Workshops on Parallel and Distributed Processing |
Tác giả: |
M.R.V. Chaudron and E. de Jong |
Năm: |
2000 |
|
10. Xin Chen, He Jifeng, Zhiming Liu and Naijun Zhan (2006), A Model of Component-Based Programming, Report No.350, UNU-IIST, P.O. Box 3058, Macau |
Sách, tạp chí |
Tiêu đề: |
A Model of Component-Based Programming |
Tác giả: |
Xin Chen, He Jifeng, Zhiming Liu and Naijun Zhan |
Năm: |
2006 |
|
11. Zhenbang Chen, Abdel Hakim Hannousse, Dang Van Hung et al (2007), Modelling with Relational Calculus of Object and Component Systems - rCOS, Report No.382, UNU-IIST, P.O. Box 3058, Macau |
Sách, tạp chí |
Tiêu đề: |
et al" (2007), "Modelling with Relational Calculus of Object and Component Systems - rCOS |
Tác giả: |
Zhenbang Chen, Abdel Hakim Hannousse, Dang Van Hung et al |
Năm: |
2007 |
|
12. Dino Distefano, Joost-Pierter Katoen, and Arend Rensink (2000), On a Temporal Logic for Object-based Systems, Faculty of Computer Science, University of Twente, P.O. Box 217, 7500 AE Enschede, The Netherlands |
Sách, tạp chí |
Tiêu đề: |
On a Temporal Logic for Object-based Systems |
Tác giả: |
Dino Distefano, Joost-Pierter Katoen, and Arend Rensink |
Năm: |
2000 |
|
13. Steve Dunne, Bill Stoddart (2006), Unifying Theories of Programming, First International Symposium, UTP 2006, Springer, UK |
Sách, tạp chí |
Tiêu đề: |
Unifying Theories of Programming |
Tác giả: |
Steve Dunne, Bill Stoddart |
Năm: |
2006 |
|
14. Hartmut Ehrig et al (2004), Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), LNCS 3147, Springer |
Sách, tạp chí |
Tiêu đề: |
et al" (2004), "Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG) |
Tác giả: |
Hartmut Ehrig et al |
Năm: |
2004 |
|
15. Stephan Flake and Wolfgang Mueller (2002), “ A UML Profile for Real-Time Constraints with OCL”. UML 2003, LNCS 2460, Springer-Verlag |
Sách, tạp chí |
Tiêu đề: |
A UML Profile for Real-Time Constraints with OCL”. "UML 2003 |
Tác giả: |
Stephan Flake and Wolfgang Mueller |
Năm: |
2002 |
|
16. Dimitar P. Guelev, Dang Van Hung (2007), Reasoning about QoS Contracts in the Probabilistic Duration Calculus, Report No.384, UNU-IIST, P.O. Box 3058, Macau |
Sách, tạp chí |
Tiêu đề: |
Reasoning about QoS Contracts in the Probabilistic Duration Calculus |
Tác giả: |
Dimitar P. Guelev, Dang Van Hung |
Năm: |
2007 |
|
17. G. Go¨ ssler and J. Sifakis (2005), “Composition for component-based modeling”, Science of Computer Programming, 55(1-3) |
Sách, tạp chí |
Tiêu đề: |
Composition for component-based modeling”, "Science of Computer Programming |
Tác giả: |
G. Go¨ ssler and J. Sifakis |
Năm: |
2005 |
|
18. Dieter K. Hammer (2002), Software Architectures and Component Technology (Editor: Mehmet Aksit), chapter Component-based Architecting for Distributed Real- time Systems, Kluwer |
Sách, tạp chí |
Tiêu đề: |
Software Architectures and Component Technology (Editor: Mehmet Aksit) |
Tác giả: |
Dieter K. Hammer |
Năm: |
2002 |
|
19. He Jifeng, Zhiming Liu, and Li Xiaoshan (2004), Contract-Oriented Development of Component Software, Report No.298, UNU-IIST, P.O.Box 3058, Macau |
Sách, tạp chí |
Tiêu đề: |
Contract-Oriented Development of Component Software |
Tác giả: |
He Jifeng, Zhiming Liu, and Li Xiaoshan |
Năm: |
2004 |
|
20. He Jifeng, Xiaoshan Li, and Zhiming Liu (2005), Component-Based Software Engineering - the Need to Link Methods and their Theories, Report No.330, UNU- IIST, P.O.Box 3058, Macau |
Sách, tạp chí |
Tiêu đề: |
Component-Based Software Engineering - the Need to Link Methods and their Theories |
Tác giả: |
He Jifeng, Xiaoshan Li, and Zhiming Liu |
Năm: |
2005 |
|