Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
Abstract Behavior types: A foundation model for components and their compositionARBAB, FarhadReport - Software engineering, 2003 (5), p.1-28Amsterdam: Centrum voor Wiskunde en InformaticaTexto completo disponível |
2 |
Material Type: Artigo
|
![]() |
A channel-based coordination model for component compositionARBAB, FarhadReport - Software engineering, 2002 (3), p.1-35Amsterdam: Centrum voor Wiskunde en InformaticaTexto completo disponível |
3 |
Material Type: Artigo
|
![]() |
Effective modeling of software architectural assemblies using constraint automataMEHTA, Nikunj R ; SIRJANI, Marjan ; ARBAB, FarhadReport - Software engineering, 2003 (9), p.1-13Amsterdam: Centrum voor Wiskunde en InformaticaTexto completo disponível |
4 |
Material Type: Artigo
|
![]() |
Modeling component connectors in Reo by constraint automataARBAB, Farhad ; BAIER, Christel ; RUTTEN, Jan ; SIRJANI, MaijanReport - Software engineering, 2003 (4), p.1-15Amsterdam: Centrum voor Wiskunde en InformaticaTexto completo disponível |
5 |
Material Type: Artigo
|
![]() |
Models and temporal logics for timed component connectorsARBAB, Farhad ; BAIER, Christel ; DE BOER, Frank ; RUTTEN, JanReport - Software engineering, 2004 (11), p.1-24Amsterdam: Centrum voor Wiskunde en InformaticaTexto completo disponível |
6 |
Material Type: Artigo
|
![]() |
A channel-based coordination model for componentsARBAB, Farhad ; DE BOER, Frank S ; BONSANGUE, Marcello M ; SCHOLTEN, Juan VReport - Software engineering, 2001 (27), p.1-15Amsterdam: Centrum voor Wiskunde en InformaticaTexto completo disponível |