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

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

NGHIÊN CỨU SỰ MỌC VÀ HÌNH THÀNH QUẢ THỂ NẤM CỐC LỚN CLITOCYBE MAXIMA

TIÊU CHUẨN KỸ THUẬT TẠO LẬP CHỈ MỤC NGƯỢC (DÙNG CHO METADATA VÀ TÀI LIỆU TOÀN VĂN) PHẦN 1: QUY TRÌNH TẠO LẬP CHỈ MỤC CHO METADATA

Vi phạm pháp luật về giao kết hợp đồng lao động trong các Doanh nghiệp ở Việt Nam hiện nay: Luận văn ThS. Luật : 603801