Skip navigation
Please use this identifier to cite or link to this item: http://192.168.1.231:8080/dulieusoDIGITAL_123456789/5280
Full metadata record
DC FieldValueLanguage
dc.contributor.authorTran Thi Mai Thuong-
dc.date.accessioned2020-06-25T07:46:06Z-
dc.date.available2020-06-25T07:46:06Z-
dc.date.issued2020-
dc.identifier.urihttp://192.168.1.231:8080/dulieusoDIGITAL_123456789/5280-
dc.description.abstractWe 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 .en_US
dc.publisherĐại học Quốc gia Hà Nộien_US
dc.titleChecking the conformability in CORBA component mode specificationsen_US
Appears in Collections:Các chuyên ngành khác

Files in This Item:
File Description SizeFormat 
3531-1-6334-1-10-20161220.pdf7.49 MBAdobe PDFView/Open
Show simple item record


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.