Chương trình theo www.db.informatik.uni-bremen.de/projects/use/

SỬ DỤNG là một hệ thống cho các đặc điểm kỹ thuật và xác nhận của hệ thống thông tin dựa trên một tập hợp con của ngôn ngữ mô hình hóa thống nhất (UML) và ngôn ngữ hạn chế đối tượng (OCL). Vui lòng báo cáo bất kỳ lỗi nào gặp