đầ u ra cu ố i cùng c ủ a công c ụ .
1.3 T ổ ng quan p hương pháp “Kiể m ch ứng đặ c t ả
UML cho tác t ử ph ầ n m ề m”
Bài toán b ắt đầ u v ới đầ u vào là m ộ t bi ểu đồ tr ạ ng thái hay bi ểu đồ trình t ự
UML, các bi ểu đồ này s ẽ đượ c xu ấ t ra d ạng XMI. Sau đó, l[r]