skip to main content
Idioma:
Resultados 1 2 3 next page
Mostrar Somente
Refinado por: assunto: Computer Science remover assunto: Software Engineering remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Coordination Models and Languages: 5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002 Proceedings
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

Citações Citado por
2
Fundamentals of Software Engineering: 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers
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

Citações Citado por
3
Synthesizing structural and behavioral control for reconfigurations in component-based systems
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

Citações Citado por
4
Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers
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

Citações Citado por
5
Abstract Behavior Types: A Foundation Model for Components and Their Composition
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

Citações Citado por
6
Coordination through Channel Composition
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

Citações Citado por
7
Scheduling Games for Concurrent Systems
Scheduling Games for Concurrent Systems
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Scheduling Games for Concurrent Systems

Lluch Lafuente, Alberto ; Proença, José

Coordination Models and Languages, 2016, Vol.9686, p.84-100 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
8
Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical Systems
Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical Systems
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical Systems

Bernardo, Marco ; De Nicola, Rocco ; Hillston, Jane

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems, 2016, Vol.9700, p.1-35 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
9
Can High Throughput Atone for High Latency in Compiler-Generated Protocol Code?
Can High Throughput Atone for High Latency in Compiler-Generated Protocol Code?
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Can High Throughput Atone for High Latency in Compiler-Generated Protocol Code?

Dastani, Mehdi ; Sirjani, Marjan

Fundamentals of Software Engineering, 2015, Vol.9392, p.238-258 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
10
Composing Constraint Automata, State-by-State
Composing Constraint Automata, State-by-State
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Composing Constraint Automata, State-by-State

Braga, Christiano ; Ölveczky, Peter Csaba

Formal Aspects of Component Software, 2016, Vol.9539, p.217-236 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
Resultados 1 2 3 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (14)

Refinar Meus Resultados

Tipo de Recurso 

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

Data de Publicação 

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

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.