| Tài liệu tham khảo |
Loại |
Chi tiết |
| [1] C. Baier and J.-P. Katoen, Principles of Model Checking (Representation and Mind Series). The MIT Press, 2008 |
Sách, tạp chí |
| Tiêu đề: |
Principles of Model Checking |
| Tác giả: |
C. Baier, J.-P. Katoen |
| Nhà XB: |
The MIT Press |
| Năm: |
2008 |
|
| [3] E. M. Clarke, Jr., O. Grumberg, and D. A. Peled, Model Checking. Cam- bridge, MA, USA: MIT Press, 1999 |
Sách, tạp chí |
| Tiêu đề: |
Model Checking |
| Tác giả: |
E. M. Clarke, Jr., O. Grumberg, D. A. Peled |
| Nhà XB: |
MIT Press |
| Năm: |
1999 |
|
| [4] C. Green, “Application of theorem proving to problem solving,” in Proceed- ings of the 1st International Joint Conference on Artificial Intelligence, IJCAI’69, (San Francisco, CA, USA), pp. 219–239, Morgan Kaufmann Publishers Inc., 1969 |
Sách, tạp chí |
| Tiêu đề: |
Application of theorem proving to problem solving |
| Tác giả: |
C. Green |
| Nhà XB: |
Morgan Kaufmann Publishers Inc. |
| Năm: |
1969 |
|
| [5] R. Alur and D. L. Dill, “A theory of timed automata,” Theor. Comput.Sci., vol. 126, pp. 183–235, Apr. 1994 |
Sách, tạp chí |
| Tiêu đề: |
A theory of timed automata |
| Tác giả: |
R. Alur, D. L. Dill |
| Nhà XB: |
Theor. Comput.Sci. |
| Năm: |
1994 |
|
| [6] R. Koymans, “Specifying real-time properties with metric temporal logic,”Real-Time Syst., vol. 2, pp. 255–299, Oct. 1990 |
Sách, tạp chí |
| Tiêu đề: |
Specifying real-time properties with metric temporal logic,”"Real-Time Syst |
|
| [7] O. Maler, D. Nickovic, and A. Pnueli, “From mitl to timed automata,” in Formal Modeling and Analysis of Timed Systems (E. Asarin and P. Bouyer, eds.), vol. 4202 of Lecture Notes in Computer Science, pp. 274–289, Springer Berlin Heidelberg, 2006 |
Sách, tạp chí |
| Tiêu đề: |
From mitl to timed automata |
| Tác giả: |
O. Maler, D. Nickovic, A. Pnueli |
| Nhà XB: |
Springer Berlin Heidelberg |
| Năm: |
2006 |
|
| [8] T. Vale, I. Crnkovic, E. S. de Almeida, P. A. da Mota Silveira Neto, Y. C.Cavalcanti, and S. R. de Lemos Meira, “Twenty-eight years of component- based software engineering,” Journal of Systems and Software, vol. 111, pp. 128 – 148, 2016 |
Sách, tạp chí |
| Tiêu đề: |
Twenty-eight years of component-based software engineering,” "Journal of Systems and Software |
|
| [9] C. Szyperski, Component Software: Beyond Object-Oriented Programming.Boston, MA, USA: Addison-Wesley Longman Publishing Co., Inc., 2nd ed., 2002 |
Sách, tạp chí |
| Tiêu đề: |
Component Software: Beyond Object-Oriented Programming |
| Tác giả: |
C. Szyperski |
| Nhà XB: |
Addison-Wesley Longman Publishing Co., Inc. |
| Năm: |
2002 |
|
| [10] M. Bertrand, “The grand challenge of trusted components,” in Proceedings of the 25th International Conference on Software Engineering, ICSE ’03, (Washington, DC, USA), pp. 660–667, IEEE Computer Society, 2003 |
Sách, tạp chí |
| Tiêu đề: |
The grand challenge of trusted components |
| Tác giả: |
M. Bertrand |
| Nhà XB: |
IEEE Computer Society |
| Năm: |
2003 |
|
| [11] G. T. Heineman and W. T. Councill, eds., Component-based Software En- gineering: Putting the Pieces Together. Boston, MA, USA: Addison-Wesley Longman Publishing Co., Inc., 2001 |
Sách, tạp chí |
| Tiêu đề: |
Component-based Software Engineering: Putting the Pieces Together |
| Tác giả: |
G. T. Heineman, W. T. Councill |
| Nhà XB: |
Addison-Wesley Longman Publishing Co., Inc. |
| Năm: |
2001 |
|
| [12] A. Hall and R. Chapman, “Correctness by construction: developing a com- mercial secure system,” IEEE Software, vol. 19, pp. 18–25, Jan 2002 |
Sách, tạp chí |
| Tiêu đề: |
Correctness by construction: developing a com-mercial secure system,” "IEEE Software |
|
| [13] G. G¨ ossler and J. Sifakis, Component-Based Construction of Deadlock- Free Systems, pp. 420–433. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003 |
Sách, tạp chí |
| Tiêu đề: |
Component-Based Construction of Deadlock-Free Systems |
| Tác giả: |
G. Gössler, J. Sifakis |
| Nhà XB: |
Springer Berlin Heidelberg |
| Năm: |
2003 |
|
| [14] J. Sifakis, “A framework for component-based construction. in: 3 rd,” in IEEE Int. Conf. on Software Engineering and Formal Methods (SEFM 2005, pp. 293–300, 2005 |
Sách, tạp chí |
| Tiêu đề: |
A framework for component-based construction |
| Tác giả: |
J. Sifakis |
| Nhà XB: |
IEEE Int. Conf. on Software Engineering and Formal Methods |
| Năm: |
2005 |
|
| [15] D. Van Hung, “Toward a formal model for component interfaces for real- time systems,” in Proceedings of the 10th International Workshop on For- mal Methods for Industrial Critical Systems, FMICS ’05, (New York, NY, USA), pp. 106–114, ACM, 2005 |
Sách, tạp chí |
| Tiêu đề: |
Toward a formal model for component interfaces for real-time systems |
| Tác giả: |
D. Van Hung |
| Nhà XB: |
ACM |
| Năm: |
2005 |
|
| [16] D. G. Kourie and B. W. Watson, The Correctness-by-Construction Ap- proach to Programming. Springer Science and Business Media, 2012 |
Sách, tạp chí |
| Tiêu đề: |
The Correctness-by-Construction Ap-proach to Programming |
|
| [17] W. Emmerich and N. Kaveh, “Component technologies: Java beans, com, corba, rmi, ejb and the corba component model,” in ACM SIGSOFT Soft- ware Engineering Notes, vol. 26, pp. 311–312, ACM, 2001 |
Sách, tạp chí |
| Tiêu đề: |
Component technologies: Java beans, com, corba, rmi, ejb and the corba component model |
| Tác giả: |
W. Emmerich, N. Kaveh |
| Nhà XB: |
ACM |
| Năm: |
2001 |
|
| [19] H. L. Thuan L. Thai, .NET Framework Essentials: Introducing the .NET Framework. .NET Framework, O’Reilly Media, 3rd ed., 2001 |
Sách, tạp chí |
| Tiêu đề: |
NET Framework Essentials: Introducing the .NET Framework |
| Tác giả: |
H. L. Thuan L. Thai |
| Nhà XB: |
O’Reilly Media |
| Năm: |
2001 |
|
| [20] T. Genssler, A. Christoph, M. Winter, O. Nierstrasz, S. Ducasse, R. Wuyts, G. Arévalo, B. Sch¨ onhage, P. M¨ uller, and C. Stich, “Components for em- bedded software: The pecos approach,” in Proceedings of the 2002 Interna- tional Conference on Compilers, Architecture, and Synthesis for Embedded Systems, CASES ’02, (New York, NY, USA), pp. 19–26, ACM, 2002 |
Sách, tạp chí |
| Tiêu đề: |
Components for embedded software: The pecos approach |
| Tác giả: |
T. Genssler, A. Christoph, M. Winter, O. Nierstrasz, S. Ducasse, R. Wuyts, G. Arévalo, B. Schönhage, P. Müller, C. Stich |
| Nhà XB: |
ACM |
| Năm: |
2002 |
|
| [21] N. He, D. Kroening, T. Wahl, K. kiu Lau, F. Taweel, C. M. Tran, and S. S. Sharma, “Component-based design and verification in x-man,” in In Proc. of Embedded Realtime Soft. and Syst, 2012 |
Sách, tạp chí |
| Tiêu đề: |
Component-based design and verification in x-man |
| Tác giả: |
N. He, D. Kroening, T. Wahl, K. kiu Lau, F. Taweel, C. M. Tran, S. S. Sharma |
| Nhà XB: |
In Proc. of Embedded Realtime Soft. and Syst |
| Năm: |
2012 |
|
| [23] H. Kopetz, Real-Time Systems: Design Principles for Distributed Embed- ded Applications. Springer Publishing Company, Incorporated, 2nd ed., 2011 |
Sách, tạp chí |
| Tiêu đề: |
Real-Time Systems: Design Principles for Distributed Embedded Applications |
| Tác giả: |
H. Kopetz |
| Nhà XB: |
Springer Publishing Company, Incorporated |
| Năm: |
2011 |
|