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

Diffusion behaviour of corrosive solution environments in carbon black filled modified polyethylene linings

Title:  Diffusion behaviour of corrosive solution environments in carbon black filled modified polyethylene linings Authors:  Dinh, Van Chau Kubouchi, Masatoshi Keywords:  modified polyethylene composites;lining;diffusion;chemical degradation Issue Date:  2011 Publisher:  ĐHCN Abstract:  The diffusion behaviour of water and HCl solution at different temperatures and concentrations into a modified polyethylene filled with carbon black used for lining is presented. It has shown the predominant role of nature of environment and carbon black content. In the both environments, an increase of environmental temperature increased the capacity of environmental absorption and the diffusion rate. The lower sorption capacity was observed at 40 and 60 o C while a higher at 80o C in the water. The two-stage diffusion appeared for the case of the corrosive environment at 80o C. An increase of carbon black loading was increased both diffusion rate and saturation valu...
Đọc thêm

Sử dụng ISO trong quản lý thư viện

Title:  Sử dụng ISO trong quản lý thư viện Authors:  Trần, Hữu Trung Bùi, Thị Kim Oanh Keywords:  ISO;Quản lý thư viện Issue Date:  2010 Publisher:  Đại học Quốc gia Hà Nội Abstract:  Như vậy quản lý theo tiêu chuẩn quốc tế ISO cho phép chúng ta tiếp cận một cách khoa học đối tượng quản lý, từ đó xây dựng một hệ thống quản lý bằng các quy trình, kiểm tra giám sát và cải tiến. Chính vì thế, ISO luôn sống động, nhanh nhạy nhờ sự phát hiện lỗi của hệ thống và những biện pháp khắc phục kịp thời. {newline} Để thực sự đổi mới trong quản lý, lãnh đạo trường Đại học dân lập Hải phòng đã cam kết : “Duy trì hiệu quả hệ thống quản lý chất lượng, thường xuyên cải tiến, phát triển, đảm bảo tuân thủ mọi yêu cầu của tiêu chuẩn ISO”. Description:  5 tr. URI:  http://repository.vnu.edu.vn/handle/VNU_123/21663 Appears in Collections: Kỷ yếu Hội nghị - Hội thảo (LIC)
Đọc thêm

Một số đề xuất về việc xây dựng tài nguyên giáo dục mở tại Trường Đại học dân lập Hải Phòng

Title:  Một số đề xuất về việc xây dựng tài nguyên giáo dục mở tại Trường Đại học dân lập Hải Phòng Authors:  Trần, Hữu Trung Bùi, Thị Kim Oanh Keywords:  Xây dựng tài nguyên giáo dục mở;Đại học Dân lập Hải Phòng Issue Date:  2016 Publisher:  Hà Nội : ĐHQGHN Citation:  8 tr. Abstract:  Hiện nay, tài nguyên giáo dục mở (OER) đã được báo trước như là một cách cung cấp sự truy cập tới các tài nguyên giáo dục thích hợp. Việc xây dựng kho học liệu mở sẽ giúp ích cho việc đóng góp, chia sẻ và tái sử dụng các nội dung, tài liệu diễn ra nhanh chóng, dễ dàng hơn. Tuy nhiên, việc xây dựng vàphát triển một hướng đi mới như OER tại các trường đại học luôn phải đối diện với nhiều khókhăn, thách thức như tài chính, chính sách vànhân lực. Trong bài trình bày này, căn cứđiều kiện thực tếtại Việt Nam, chúng tôi phân tích đánh giácác cách thức triển khai OER, trên cơ sởđóđề xuất một lộtrình sơ bộ để xây dựng, phát triển OER tại Trường Đại học Dân lập Hải Phòng. C...
Đọc thêm