Buổi seminar thứ ba năm 2013 của NCS Khoa CNTT đã diễn ra hồi 14h ngày 05 tháng 4, tại phòng 403E3. Trình bày trong buổi này là NCS Lê Hồng Anh (CNPM, 2010, cán bộ hướng dẫn: PGS.TS. Trương Ninh Thuận, PGS.TS. Phạm Bảo Sơn) và NCS Nguyễn Trịnh Đông (CNPM, 2009, cán bộ hướng dẫn: TS. Đặng Văn Hưng, TS. Trương Anh Hoàng).
Bài trình bày thứ nhất "Modeling and verifying DML triggers using Event-B" của NCS Lê Hồng Anh đã giới thiệu về Event-B, minh họa cách mô hình hóa trigger trên Event-B để có thể sử dụng các công cụ sẵn có của Event-B phục vụ kiểm chứng. Chi tiết xem trong [1], [2].
Bài trình bày thứ hai "Timed relational interface modeling" của NCS Nguyễn Trịnh Đông đã giới thiệu relational interface và đề xuất vận dụng cho tự động hóa kiểm chứng thiết kế. Chi tiết xem trong [3].
Seminar này do TS. Nguyễn Phương Thái chủ trì, thu hút quan tâm của nhiều NCS chuyên ngành CNPM.
Tài liệu tham khảo
1. Le, Hong Anh, and Ninh Thuan Truong. "Modeling and verifying DML triggers using event-B." In Intelligent Information and Database Systems, pp. 539-548. Springer Berlin Heidelberg, 2013.
2. Le, Hong Anh, and Ninh Thuan Truong. "Modeling and Verifying WS-CDL Using Event-B." In Context-Aware Systems and Applications, pp. 290-299. Springer Berlin Heidelberg, 2013.
3. Dong, Nguyen Trinh, Dang Van Hung, and Truong Anh Hoang. "Real-Time Relational Interface Behavior Modeling and Specification." In Knowledge and Systems Engineering (KSE), 2011 Third International Conference on, pp. 112-119. IEEE, 2011.