http://192.168.1.231:8080/dulieusoDIGITAL_123456789/5280
Title: | Checking the conformability in CORBA component mode specifications |
Authors: | Tran Thi Mai Thuong |
Issue Date: | 2020 |
Publisher: | Đại học Quốc gia Hà Nội |
Abstract: | We proposed in this paper an approach for checking the conformability in CORBA component model specifications. In software engineering, it is dem onstrated that discovering bugs in earlier phases is much more economical than later phases. We focused thus on verifying components by their ports specification. In order to do this, firstly we determ ined constraints on kinds of port as well as on types of port which the connection between ports must satisfy, and then formalized them to be able to prove automatically using formal prover tools. Here, we proposed to use the B method for verify ing components in a CCM specification . |
URI: | http://192.168.1.231:8080/dulieusoDIGITAL_123456789/5280 |
Appears in Collections: | Các chuyên ngành khác |
File | Description | Size | Format | |
---|---|---|---|---|
3531-1-6334-1-10-20161220.pdf | 7.49 MB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.