| dc.contributor.author |
Trần, Thị Mai Thương |
|
| dc.contributor.author |
Võ, Văn Thanh |
|
| dc.contributor.author |
Trương, Ninh Thuận |
|
| dc.date.accessioned |
2011-04-21T07:33:09Z |
|
| dc.date.available |
2011-04-21T07:33:09Z |
|
| dc.date.issued |
2008 |
|
| dc.identifier.citation |
VNU Journal of Science, Natural Sciences and Technology 24 (2008) 92-102 |
vi |
| dc.identifier.uri |
http://hdl.handle.net/123456789/1858 |
|
| dc.description.abstract |
We proposed in this paper an approach for checking the conformability in CORBA component model specifications. In software engineering, it is demonstrated 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 determined 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 verifying components in a CCM specification. |
vi |
| dc.description.sponsorship |
Quỹ Giáo dục Cao học Hàn Quốc (the Korea Foundation for Advanced Studies) |
vi |
| dc.language.iso |
en |
vi |
| dc.title |
Checking the conformability in CORBA component model specifications |
vi |
| dc.type |
Working Paper |
vi |