Dòng Nội dung
1
2
Automated validation & verification of UML/OCL models using satisfiability solvers /Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler
New York, NY :Springer Science+Business Media,2018
257 p.
Ký hiệu phân loại (DDC): 005.117
Số bản sách: (0) Tài liệu số: (1)
3
Software engineering with UML / Bhuvan Unhelkar
Boca Raton, FL : CRC Press, 2018
427 p.
Ký hiệu phân loại (DDC): 005.1
Số bản sách: (0) Tài liệu số: (1)
4
System analysis & design : an object-oriented approach with UML / Alan Dennis, Barbara Haley Wixom, David Tegarden; with contributions by Elaine Seeman
Hoboken, NJ : John Wiley & Sons, Inc., 2015
544 p.
Ký hiệu phân loại (DDC): 004.21
Số bản sách: (0) Tài liệu số: (1)
5
Topological UML modeling : an improved approach for domain modeling and software development
Cambridge, MA : Elsevier, 2017
251 p. ; cm.
Ký hiệu phân loại (DDC): 005.1
Số bản sách: (0) Tài liệu số: (1)