Kiểm chứng phần mềm và mô hình hóa

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.