Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
2007 Reviewer's ListIEEE transactions on software engineering, 2008, Vol.34 (1), p.154-156 [Periódico revisado por pares]New York: IEEE Computer SocietyTexto 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
|
![]() |
A Channel-based Coordination Model for ComponentsGuillen-Scholten, Juan ; Arbab, Farhad ; de Boer, Frank ; Bonsangue, MarcelloElectronic notes in theoretical computer science, 2003-03, Vol.68 (3), p.419-438Elsevier B.VTexto completo disponível |
4 |
Material Type: Capítulo de Livro
|
![]() |
A Component-Based Parallel Constraint SolverZoeteweij, Peter ; Arbab, FarhadCoordination Models and Languages, 2004, p.307-322 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
5 |
Material Type: Artigo
|
![]() |
A Component Coordination Model Based on Mobile ChannelsGuillen-Scholten, Juan ; Arbab, Farhad ; de Boer, Frank ; Bonsangue, MarcelloFundamenta informaticae, 2006, Vol.73 (4), p.561-582 [Periódico revisado por pares]Texto completo disponível |
6 |
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 |
7 |
Material Type: Artigo
|
![]() |
Abstract Behavior Types: a foundation model for components and their compositionArbab, FarhadScience of computer programming, 2005-03, Vol.55 (1), p.3-52 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
8 |
Material Type: Capítulo de Livro
|
![]() |
Abstract Behavior Types: A Foundation Model for Components and Their CompositionArbab, FarhadFormal Methods for Components and Objects, 2003, p.33-70 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
9 |
Material Type: Artigo
|
![]() |
Adaptation and Evolution in Dynamic Persistent EnvironmentsKeil, David ; Goldin, DinaElectronic notes in theoretical computer science, 2005-12, Vol.141 (5), p.163-179Elsevier B.VTexto completo disponível |
10 |
Material Type: Artigo
|
![]() |
Biomolecular Agents as Multi-behavioural Concurrent ObjectsDuchier, Denys ; Kuttler, CélineElectronic notes in theoretical computer science, 2006-03, Vol.150 (1), p.31-49Elsevier B.VTexto completo disponível |