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

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

Hình ảnh
NGHIÊN CỨU SỰ MỌC VÀ HÌNH THÀNH QUẢ THỂ NẤM CỐC LỚN CLITOCYBE MAXIMA (GARTN. EX MEY.:FR) QUÉL http://repository.vnu.edu.vn/handle/VNU_123/11588 Nấm Clitocybe maxima (Gartn. ex Mey.:Fr) Quel. thuộc bộ Agaricales (bộ nấm tán), họ Tricholomatacea, là loài nấm ăn ngon, giòn, mùi thơm nhẹ.  Nấm Cốc lớn chứa nhiều axit amin và chất khoáng cần thiết cho cơ thể, hàm lượng axit amin chiếm 16,5% chất khô, hàm lượng lysin đứng đầu trong các loài nấm ăn, hàm lượng protein trong nấm Cốc lớn tương đương với trong nấm hương và nấm kim châm.  Ở Việt Nam loài nấm này mới được nhập và đang nghiên cứu ở quy mô phòng thí nghiệm nhỏ, vì vậy việc đầu tư nghiên cứu kỹ lưỡng hơn nhằm đưa loài nấm ăn này ra sản xuất, làm đa dạng hóa các loài nấm ăn là vấn đề cấp thiết Title:  NGHIÊN CỨU SỰ MỌC VÀ HÌNH THÀNH QUẢ THỂ NẤM CỐC LỚN CLITOCYBE MAXIMA (GARTN. EX MEY.:FR) QUÉL Authors:  Nguyễn Thị Bích Thùy Ngô Xuân Nghiễn CồThị Thùy Vân Trinh Tam Kiệt Keywords:  Nấm Clitocybe
Đọc thêm

Quê hương - Người mẹ trong thơ Tế Hanh

Hình ảnh
Title:  Quê hương - Người mẹ trong thơ Tế Hanh Authors:  Bạch, Thanh Vân Keywords:  Quê hương Người mẹ Thơ Tế Hanh Văn học Việt Nam Ngôn ngữ Issue Date:  2002 Publisher:  Đại học Quốc gia Hà Nội Description:  tr. 549-553 Hội nghị khoa học nữ lần thứ 7, Hà Nội, 2002 URI:  http://repository.vnu.edu.vn/handle/VNU_123/25687
Đọc thêm

Nghiên cứu cơ sở địa lý phục vụ xác lập mô hình kinh tế sinh thái nông - lâm nghiệp bền vững huyện Tuy Đức, tỉnh Đắc Nông

Title:  Nghiên cứu cơ sở địa lý phục vụ xác lập mô hình kinh tế sinh thái nông - lâm nghiệp bền vững huyện Tuy Đức, tỉnh Đắc Nông Authors:  Lê, Thị Hạnh Liên Keywords:  Nông nghiệp;Lâm nghiệp;Mô hình kinh tế;Đắc Nông Issue Date:  2017 Publisher:  H. : Trường Đại học Khoa học tự nhiên Description:  139 tr. URI:  http://repository.vnu.edu.vn/handle/VNU_123/54608 Appears in Collections: HUS - Master Theses
Đọc thêm