Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
International Symposium on Fundamentals of Software Engineering international symposium, FSEN 2007, Tehran, Iran April 17-19, 2007 : proceedingsInternational Symposium on Fundamentals of Software Engineering (2nd 2007 Tehran, Iran) F Arbab (Farhad); Marjan SirjaniBerlin Springer New York c2007Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4767 ) e outros locais(Acessar) |
|
2 |
Material Type: Livro
|
Coordination Models and Languages: 5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002 ProceedingsArbab, Farhad ; Talcott, Carolyn Arbab, Farhad ; Talcott, CarolynBerlin, Heidelberg: Springer Berlin / Heidelberg 2002Texto completo disponível |
|
3 |
Material Type: Livro
|
Fundamentals of Software Engineering: Fourth International IPM Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected PapersArbab, Farhad ; Sirjani, Marjan Arbab, Farhad ; Sirjani, MarjanNetherlands: Springer Nature 2012Texto completo disponível |
|
4 |
Material Type: Livro
|
Fundamentals of Software Engineering: 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected PapersArbab, Farhad ; Sirjani, Marjan Arbab, Farhad ; Sirjani, MarjanNetherlands: Springer Nature 2013Texto completo disponível |
|
5 |
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 |
|
6 |
Material Type: Livro
|
Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected PapersArbab, Farhad ; Ölveczky, Peter Csaba Arbab, Farhad ; lveczky, Peter CsabaNetherlands: Springer Nature 2012Texto completo disponível |
|
7 |
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 |
|
8 |
Material Type: Capítulo de Livro
|
Will the Real Service Oriented Computing Please Stand Up?Arbab, FarhadFormal Aspects of Component Software, p.277-285 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
9 |
Material Type: Ata de Congresso
|
Coordination through Channel CompositionArbab, Farhad ; Mavaddat, FarhadCoordination Models and Languages, 2002, p.22-39 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
10 |
Material Type: Capítulo de Livro
|
Coordination Models and LanguagesPapadopoulos, George A. ; Arbab, FarhadAdvances In Computers, 1998, Vol.46, p.329-400 [Periódico revisado por pares]United States: Elsevier Science & TechnologyTexto completo disponível |