Quản lý cơ sở dữ liệu trong giáo dục

Luận văn nghiên cứu và xây dựng công cụ hỗ trợ mô hình hóa hệ thống triggers bằng event b

Luận văn nghiên cứu và xây dựng công cụ hỗ trợ mô hình hóa hệ thống triggers bằng event b, giúp tối ưu hóa quy trình phát triển phần mềm.