- Visitante
- Meu Espaço
- Minha Conta
- Sair
- Identificação
A busca falhou por um motivo não definido. Isso pode ter sido causado por um caractere especial, não suportado, na expressão de busca.
Resultados de 1 a 10 de 15 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Mostrar Somente
Refinado por:
assunto:
Software
Computer Networks
assunto:
Software Engineering
Software Engineering
Computer Networks
assunto:
Software Engineering
Software Engineering
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
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 |
| 2 |
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 |
| 3 |
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 |
| 4 |
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 |
| 5 |
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 |
| 6 |
Material Type: Ata de Congresso
|
|
Fundamentals of Software Engineering: 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected PapersArbab, Farhad ; Sirjani, MarjanBerlin, Heidelberg: Springer Berlin Heidelberg 2013Texto completo disponível |
| 7 |
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 |
| 8 |
Material Type: Artigo
|
|
Effective modeling of software architectural assemblies using constraint automataMEHTA, Nikunj R ; SIRJANI, Marjan ; ARBAB, FarhadReport - Software engineering, 2003 (9), p.1-13Amsterdam: Centrum voor Wiskunde en InformaticaTexto completo disponível |
| 9 |
Material Type: Livro
|
|
Web Services and Formal Methods: 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Paperster Beek, Maurice H ; Lohmann, Niels ter Beek, Maurice H ; Lohmann, NielsNetherlands: Springer Nature 2013Texto completo disponível |
| 10 |
Material Type: Artigo
|
|
Modeling component connectors in Reo by constraint automataARBAB, Farhad ; BAIER, Christel ; RUTTEN, Jan ; SIRJANI, MaijanReport - Software engineering, 2003 (4), p.1-15Amsterdam: Centrum voor Wiskunde en InformaticaTexto completo disponível |
Resultados de 1 a 10 de 15 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
Refinar Meus Resultados
Tipo de Recurso
- Artigos (6)
- Anais de Congresso (4)
- Livros (3)
- Book Chapters (2)
-
Mais opções
Assunto
- Applied Sciences (11)
- Exact Sciences And Technology (11)
- Computer Science; Control Theory; Systems (11)
- Computer Science (9)
- Technology (5)
- Engineering (4)
- Science & Technology (4)
- Computer Science, Software Engineering (3)
- Computer Science, Theory & Methods (3)
- Computer Networks (3)
- Computer Software Engineering (3)
- Logics And Meanings Of Programs (3)
- Computer Systems And Distributed Systems. User Interface (3)
- Computer Communication Networks (2)
- Computer Programming, Programs, Data (2)
- Computer Logic (2)
- Computer Science Logic (2)
- Computer Sciences (2)
-
Mais opções
Base de Dados/Biblioteca
- ScienceDirect® (6)
- Lecture Notes in Computer Science Archive (through to 1996) (6)
- SpringerLINK Lecture Notes in Computer Science (2015) (6)
- Springer Nature - Springer Computer Science eBooks 2013 English International (4)
- Springer Books (4)
- Science Citation Index Expanded (Web of Science) (3)
- SpringerLINK Lecture Notes in Computer Science (2013) (3)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (3)
- IEEE Electronic Library (IEL) Conference Proceedings (2)
- IngentaConnect Journals (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 