Verifying the compatibility of components’ ports upon specification

Title: Verifying the compatibility of components’ ports upon specification
Authors: Nguyen, Hoang Ha
Tran, Thi Mai Thuong
Keywords: CBSE
Issue Date: 2007
Publisher: ĐHCN
Abstract: We propose in this paper an approach for verifying the com- patibility between components’ ports upon specification. In component software development, ports are the points of interaction between components. The connection between ports must satisfy some constraints. We determine these constraints and propose to use the B method and its support tools for verifying the compatibility between ports in a component model.
URI: http://repository.vnu.edu.vn/handle/VNU_123/14542
Appears in Collections:Bài đăng tạp chí (LIC)

Nhận xét

Đăng nhận xét

Bài đăng phổ biến từ blog này

Thế hệ bạn đọc tương lai đối với nguồn học liệu mở của các trường đại học - Họ là ai, họ cần gì và chúng ta có thể làm gì cho họ?

Title:  Thế hệ bạn đọc tương lai đối với nguồn học liệu mở của các trường đại học - Họ là ai, họ cần gì và chúng ta có thể làm gì cho họ? Authors:  Nguyễn, Tấn Thanh Trúc Keywords:  Trung tâm học liệu;Tài nguyên học liệu mở;Bạn đọc tương lai Issue Date:  2016 Publisher:  Hà Nội : ĐHQGHN Citation:  16 tr. Abstract:  Khi các trung tâm học liệu hay thư viện của các trường đại học Việt Nam ngày càng vươn xa hơn trong tính chuyên nghiệp và kết nối sâu rộng, thì hầu hết thế hệ sinh viên tương lai của các bạn vẫn còn quá xa lạ với những cụm từ thư viện cơ sở dữ liệu, khung phân loại DDC, đề mục chủ đề, mục lục trực tuyến,… Chúng ta đã chú trọng chuẩn bị nhiều cho ngày hôm nay và ngày mai cho lớp sinh viên hiện tại, nhưng có lẽ tốt hơn rất nhiều nếu chúng ta chuẩn bị trước cho khách hàng tiềm năng của mình. Phải chăng ranh giới trách nhiệm là thuộc về khối trường phổ thông? Nếu chúng ta chờ đợi sự thăng hoa của việc đầu tư thư viện trường học thì có lẽ ...
Đọc thêm

Tổng quan về tài nguyên giáo dục mở và dự đoán một kịch bản tương lai của giáo dục Việt Nam

Title:  Tổng quan về tài nguyên giáo dục mở và dự đoán một kịch bản tương lai của giáo dục Việt Nam Authors:  Lê, Trung Nghĩa Keywords:  Tài nguyên giáo dục mở;Open Educational Resources;Giáo dục Việt Nam Issue Date:  2016 Publisher:  Hà Nội : ĐHQGHN Citation:  38 tr. Abstract:  Tài nguyên giáo dục mở - OER (Open Educational Resources) là một vấn đề mới và không dễ để hiện thực hóa trong cuộc sống, nhất là trong điều kiện cụ thể hiện nay trong khu vực giáo dục của Việt Nam. Bài viết này không có ý định đi sâu vào bất kỳ khía cạnh nào trong việc sử dụng và sáng tạo OER, mà có ý định để khêu gợi ra nhiều nhất có thể các khía cạnh chính có liên quan tới hệ sinh thái OER để từ đó các độc giả có quan tâm tới sử dụng và sáng tạo OER có thể có được các tham chiếu ban đầu cho việc nghiên cứu, khảo sát, triển khai vào thực tế OER dần từng bước trong các cơ sở giáo dục của Việt Nam, hòa nhập được xu thế giáo dục mở hiện nay của thế giới. URI:  http:...
Đọc thêm