Specification and verification of inter-component constraints in CTL.
The most challenging issue of component-based software is about component composition. Current component specification, in addition to the syntactic level, is very limited in dealing with semantic constraints. Even so, only static aspects of components are specified. This paper gives a formal approa...
| Xuất bản năm: | Software engineering notes. 31, 2 (2006). |
|---|---|
| Tác giả chính: | |
| Định dạng: | Bài viết |
| Ngôn ngữ: | English |
| Những chủ đề: |