Verifying the compatibility of components’ ports upon specification
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...
Saved in:
| Main Authors: | , |
|---|---|
| 格式: | Article |
| 語言: | English |
| 出版: |
ĐHCN
2016
|
| 主題: | |
| 在線閱讀: | http://repository.vnu.edu.vn/handle/VNU_123/14542 |
| 標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|
| 機構: | Vietnam National University, Hanoi |
| 語言: | English |