| Tài liệu tham khảo |
Loại |
Chi tiết |
| [11] B. Bruegge and A. Dutoit. Object-Oriented Software Engineering Using UML, Patterns and Java-(Required), volume 2004. Prentice Hall Press, 2004 |
Sách, tạp chí |
| Tiêu đề: |
Object-Oriented Software Engineering Using UML, Patterns and Java-(Required) |
| Tác giả: |
B. Bruegge, A. Dutoit |
| Nhà XB: |
Prentice Hall Press |
| Năm: |
2004 |
|
| [12] J. Cabot and M. Gogolla. Object constraint language (OCL): a defi- nitive guide. In Formal methods for model-driven engineering, pages 58–90. Springer, 2012 |
Sách, tạp chí |
| Tiêu đề: |
Object constraint language (OCL): a definitive guide |
| Tác giả: |
J. Cabot, M. Gogolla |
| Nhà XB: |
Springer |
| Năm: |
2012 |
|
| [14] M. Cinnéide and P. Nixon. Composite Refactorings for Java Programs.In 2nd ECOOP Workshop on Formal Techniques for Java Programs, held in conjunction with European Conference on Object-Oriented Pro- gramming (ECOOP 2000), pages 129–135, 2000 |
Sách, tạp chí |
| Tiêu đề: |
Composite Refactorings for Java Programs |
| Tác giả: |
M. Cinnéide, P. Nixon |
| Nhà XB: |
2nd ECOOP Workshop on Formal Techniques for Java Programs |
| Năm: |
2000 |
|
| [15] M. Clavel, M. Egea, and M. A. G. de Dios. The Pragmatics of OCL and Other Textual Specification Languages at MoDELS 2009. Electronic Communications of the EASST, 24, 2009 |
Sách, tạp chí |
| Tiêu đề: |
The Pragmatics of OCL and Other Textual Specification Languages at MoDELS 2009 |
| Tác giả: |
M. Clavel, M. Egea, M. A. G. de Dios |
| Nhà XB: |
Electronic Communications of the EASST |
| Năm: |
2009 |
|
| [16] D. R. Cok. OpenJML: JML for Java 7 by extending OpenJDK. In NASA Formal Methods Symposium, pages 472–479. Springer, 2011 |
Sách, tạp chí |
| Tiêu đề: |
OpenJML: JML for Java 7 by extending OpenJDK |
| Tác giả: |
D. R. Cok |
| Nhà XB: |
Springer |
| Năm: |
2011 |
|
| [20] C. Dania and M. Clavel. OCL2MSFOL: a mapping to many-sorted first- order logic for efficiently checking the satisfiability of OCL constraints.In Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, pages 65–75. ACM, 2016 |
Sách, tạp chí |
| Tiêu đề: |
OCL2MSFOL: a mapping to many-sorted first-order logic for efficiently checking the satisfiability of OCL constraints |
| Tác giả: |
C. Dania, M. Clavel |
| Nhà XB: |
ACM |
| Năm: |
2016 |
|
| [21] H. A. David, Peter F. L., and Octavian P. OCL 2.0: Implementing the Standard. Technical report, University of Kent, Computing Laboratory, 2003. URL http://kar.kent.ac.uk/13888/ |
Sách, tạp chí |
| Tiêu đề: |
OCL 2.0: Implementing the Standard |
| Tác giả: |
David H. Akehurst, Peter F. Linington, Octavian P. Patrascoiu |
| Nhà XB: |
University of Kent |
| Năm: |
2003 |
|
| [22] L. De Moura and N. Bj ứ rner. Z3: An efficient SMT solver. In Inter- national conference on Tools and Algorithms for the Construction and Analysis of Systems, pages 337–340. Springer, 2008 |
Sách, tạp chí |
| Tiêu đề: |
Z3: An efficient SMT solver |
| Tác giả: |
L. De Moura, N. Bj ứ rner |
| Nhà XB: |
Springer |
| Năm: |
2008 |
|
| [23] J. Dong, S. Yang, and K. Zhang. A model transformation approach for design pattern evolutions. In Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on, pages 10–pp. IEEE, 2006 |
Sách, tạp chí |
| Tiêu đề: |
A model transformation approach for design pattern evolutions |
| Tác giả: |
J. Dong, S. Yang, K. Zhang |
| Nhà XB: |
IEEE |
| Năm: |
2006 |
|
| [24] A. S. Evans. Reasoning with UML class diagrams. In Industrial Strength Formal Specification Techniques, 1998. Proceedings. 2nd IEEE Work- shop on, pages 102–113. IEEE, 1998 |
Sách, tạp chí |
| Tiêu đề: |
Industrial Strength Formal Specification Techniques |
| Tác giả: |
A. S. Evans |
| Nhà XB: |
IEEE |
| Năm: |
1998 |
|
| [26] A. Folli and T. Mens. Refactoring of UML models using AGG. Elec- tronic Communications of the EASST, 8, 2008 |
Sách, tạp chí |
| Tiêu đề: |
Refactoring of UML models using AGG |
| Tác giả: |
A. Folli, T. Mens |
| Nhà XB: |
Electronic Communications of the EASST |
| Năm: |
2008 |
|
| [27] M. Fowler, K. Beck, J. Brant, W. Opdyke, and D. Roberts. Refactoring:Improving the design of existing programs. Addison-Wesley Reading, 1999 |
Sách, tạp chí |
| Tiêu đề: |
Refactoring: Improving the design of existing programs |
| Tác giả: |
M. Fowler, K. Beck, J. Brant, W. Opdyke, D. Roberts |
| Nhà XB: |
Addison-Wesley Reading |
| Năm: |
1999 |
|
| [28] Erich G., John V., Ralph J., and Richard H. Elements of Reusable Object-Oriented Software. Addison-Wesley Professional Computing Se- ries, 1994 |
Sách, tạp chí |
| Tiêu đề: |
Elements of Reusable Object-Oriented Software |
| Tác giả: |
Erich G., John V., Ralph J., Richard H |
| Nhà XB: |
Addison-Wesley Professional Computing Series |
| Năm: |
1994 |
|
| [29] M. Gogolla and M. Richters. Transformation rules for UML class dia- grams. In International Conference on the Unified Modeling Language, pages 92–106. Springer, 1998 |
Sách, tạp chí |
| Tiêu đề: |
Transformation rules for UML class diagrams |
| Tác giả: |
M. Gogolla, M. Richters |
| Nhà XB: |
Springer |
| Năm: |
1998 |
|
| [30] D. Gupta, P. Jalote, and G. Barua. A formal framework for on-line software version change. Software Engineering, IEEE Transactions on, 22(2):120–131, 1996 |
Sách, tạp chí |
| Tiêu đề: |
A formal framework for on-line software version change |
| Tác giả: |
D. Gupta, P. Jalote, G. Barua |
| Nhà XB: |
IEEE Transactions on Software Engineering |
| Năm: |
1996 |
|
| [31] I. Jacobson. Object-oriented software engineering: a use case driven approach. Pearson Education India, 1993 |
Sách, tạp chí |
| Tiêu đề: |
Object-oriented software engineering: a use case driven approach |
| Tác giả: |
I. Jacobson |
| Nhà XB: |
Pearson Education India |
| Năm: |
1993 |
|
| [35] A. Kupin. Design and development of program transformation tool. PhD thesis, Master’s thesis, Department of CS (Informatik), University of Munich, 2000 |
Sách, tạp chí |
| Tiêu đề: |
Design and development of program transformation tool |
| Tác giả: |
A. Kupin |
| Nhà XB: |
Department of CS (Informatik), University of Munich |
| Năm: |
2000 |
|
| [36] G. T. Leavens. Tutorial on JML, the java modeling language. In Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering, pages 573–573. ACM, 2007. URL http://doi.acm.org/10.1145/1321631.1321747 |
Sách, tạp chí |
| Tiêu đề: |
Tutorial on JML, the java modeling language |
| Tác giả: |
G. T. Leavens |
| Nhà XB: |
ACM |
| Năm: |
2007 |
|
| [37] G. T. Leavens, E. Poll, C. Clifton, Y. Cheon, C. Ruby, D. Cok, P. M¨ uller, J. Kiniry, P. Chalin, D. M. Zimmerman, and et el. JML reference manual, 2008 |
Sách, tạp chí |
| Tiêu đề: |
JML reference manual |
| Tác giả: |
G. T. Leavens, E. Poll, C. Clifton, Y. Cheon, C. Ruby, D. Cok, P. Müller, J. Kiniry, P. Chalin, D. M. Zimmerman |
| Năm: |
2008 |
|
| [38] X. Li, Z. Liu, and J. He. Consistency checking of UML requirements.In Engineering of Complex Computer Systems, 2005. ICECCS 2005 |
Sách, tạp chí |
| Tiêu đề: |
Engineering of Complex Computer Systems |
| Tác giả: |
X. Li, Z. Liu, J. He |
| Năm: |
2005 |
|