UML và phương pháp phát triển hệ thống

Luận văn thạc sĩ VNU UET trình bày phương pháp kiểm chứng tính đúng đắn của các biểu đồ tuần tự UML 2.0, góp phần nâng cao chất lượng phần mềm.