skip to main content
Resultados 1 2 3 4 next page
Refinado por: assunto: Software Engineering remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
International Symposium on Fundamentals of Software Engineering international symposium, FSEN 2007, Tehran, Iran April 17-19, 2007 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

International Symposium on Fundamentals of Software Engineering international symposium, FSEN 2007, Tehran, Iran April 17-19, 2007 : proceedings

International Symposium on Fundamentals of Software Engineering (2nd 2007 Tehran, Iran) F Arbab (Farhad); Marjan Sirjani

Berlin Springer New York c2007

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.4767 ) e outros locais(Acessar)

2
Coordination Models and Languages: 5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002 Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Coordination Models and Languages: 5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002 Proceedings

Arbab, Farhad ; Talcott, Carolyn Arbab, Farhad ; Talcott, Carolyn

Berlin, Heidelberg: Springer Berlin / Heidelberg 2002

Texto completo disponível

3
Fundamentals of Software Engineering: Fourth International IPM Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers
Material Type:
Livro
Adicionar ao Meu Espaço

Fundamentals of Software Engineering: Fourth International IPM Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers

Arbab, Farhad ; Sirjani, Marjan Arbab, Farhad ; Sirjani, Marjan

Netherlands: Springer Nature 2012

Texto completo disponível

4
Fundamentals of Software Engineering: 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers
Material Type:
Livro
Adicionar ao Meu Espaço

Fundamentals of Software Engineering: 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers

Arbab, Farhad ; Sirjani, Marjan Arbab, Farhad ; Sirjani, Marjan

Netherlands: Springer Nature 2013

Texto completo disponível

5
Synthesizing structural and behavioral control for reconfigurations in component-based systems
Material Type:
Artigo
Adicionar ao Meu Espaço

Synthesizing structural and behavioral control for reconfigurations in component-based systems

Khakpour, Narges ; Arbab, Farhad ; Rutten, Eric

Formal aspects of computing, 2016-03, Vol.28 (1), p.21-43 [Periódico revisado por pares]

London: Springer London

Texto completo disponível

6
Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers
Material Type:
Livro
Adicionar ao Meu Espaço

Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers

Arbab, Farhad ; Ölveczky, Peter Csaba Arbab, Farhad ; lveczky, Peter Csaba

Netherlands: Springer Nature 2012

Texto completo disponível

7
Abstract Behavior Types: A Foundation Model for Components and Their Composition
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Abstract Behavior Types: A Foundation Model for Components and Their Composition

Arbab, Farhad

Formal Methods for Components and Objects, 2003, p.33-70 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

8
Will the Real Service Oriented Computing Please Stand Up?
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Will the Real Service Oriented Computing Please Stand Up?

Arbab, Farhad

Formal Aspects of Component Software, p.277-285 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

9
Coordination through Channel Composition
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Coordination through Channel Composition

Arbab, Farhad ; Mavaddat, Farhad

Coordination Models and Languages, 2002, p.22-39 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

10
Coordination Models and Languages
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Coordination Models and Languages

Papadopoulos, George A. ; Arbab, Farhad

Advances In Computers, 1998, Vol.46, p.329-400 [Periódico revisado por pares]

United States: Elsevier Science & Technology

Texto completo disponível

Resultados 1 2 3 4 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (13)
  2. Book Chapters  (10)
  3. Anais de Congresso  (9)
  4. Artigos  (7)
  5. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de2001  (3)
  2. 2001Até2002  (6)
  3. 2003Até2004  (10)
  4. 2005Até2007  (3)
  5. Após 2007  (18)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.