Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
Synthesizing structural and behavioral control for reconfigurations in component-based systemsKhakpour, Narges ; Arbab, Farhad ; Rutten, EricFormal aspects of computing, 2016-03, Vol.28 (1), p.21-43 [Periódico revisado por pares]London: Springer LondonTexto completo disponível |
2 |
Material Type: Artigo
|
![]() |
Summary of the 5th International Workshop on Automated andverifiable Software sYstem DEvelopment (ASYDE)co-located with the 38th IEEE/ACM ASE 2023Arbab, Farhad ; Autili, Marco ; Ciccozzi, Federico ; Poizat, Pascal ; Tivoli, MassimoSoftware engineering notes, 2023-12, Vol.49 (1), p.24-26New York, NY, USA: ACMTexto completo disponível |
3 |
Material Type: Artigo
|
![]() |
AN ALGORITHM FOR GENERATING NC TOOL PATHS FOR ARBITRARILY SHAPED POCKETS WITH ISLANDSHANSEN, A ; ARBAB, FACM transactions on graphics, 1992-04, Vol.11 (2), p.152-182 [Periódico revisado por pares]NEW YORK: Assoc Computing MachineryTexto completo disponível |
4 |
Material Type: Ata de Congresso
|
![]() |
Web services choreography and orchestration in Reo and constraint automataMeng, Sun ; Arbab, FarhadProceedings of the 2007 ACM symposium on Applied computing, 2007, p.346-353New York, NY, USA: ACMTexto completo disponível |
5 |
Material Type: Ata de Congresso
|
![]() |
Dreams: a framework for distributed synchronous coordinationProença, José ; Clarke, Dave ; de Vink, Erik ; Arbab, FarhadProceedings of the 27th Annual ACM Symposium on Applied Computing, 2012, p.1510-1515New York, NY, USA: ACMTexto completo disponível |
6 |
Material Type: Ata de Congresso
|
![]() |
Applying Reo to service coordination in long-running business transactionsKokash, Natallia ; Arbab, FarhadProceedings of the 2009 ACM symposium on Applied Computing, 2009, p.1381-1382New York, NY, USA: ACMTexto completo disponível |
7 |
Material Type: Ata de Congresso
|
![]() |
A coordination language for mobile componentsArbab, Farhad ; Bonsangue, Marcello M. ; de Boer, Frank S. Oppenheim, Dave ; Haddad, Hisham ; Damiani, Ernesto ; Carroll, JaniceProceedings of the 2000 ACM symposium on Applied computing - Volume 1, 2000, p.166-173New York, NY, USA: ACMTexto completo disponível |
8 |
Material Type: Ata de Congresso
|
![]() |
Syanco 2007: international workshop on synthesis and analysis of component connectorsArbab, Farhad ; Baier, ChristelFoundations of Software Engineering: Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering; 03-07 Sept. 2007, 2007, p.607-608New York, NY, USA: ACMTexto completo disponível |
9 |
Material Type: Ata de Congresso
|
![]() |
SYANCO 2007: international workshop on synthesis and analysis of component connectorsArbab, Farhad ; Baier, ChristelThe 6th Joint Meeting on European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering: companion papers, 2007, p.607-608New York, NY, USA: ACMTexto completo disponível |
10 |
Material Type: Ata de Congresso
|
![]() |
Modeling behavior in compositions of software architectural primitivesMehta, N.R. ; Medvidovic, N. ; Sirjani, M. ; Arbab, F.Automated Software Engineering: Proceedings of the 19th IEEE international conference on Automated software engineering; 20-24 Sept. 2004, 2004, p.371-374IEEETexto completo disponível |