skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Test oracles for simulink-like models
Test oracles for simulink-like models
Material Type:
Artigo 		Adicionar ao Meu Espaço

Test oracles for simulink-like models

Luciano Baresi Márcio Eduardo Delamaro; Paulo Augusto Nardi

Automated Software Engineering an International Journal Cham : Springer v. 24, n. 2, p 369-391, Jun. 2017

Cham 2017

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD 2791552 )(Acessar)

2
Gerenciamento de configuração de uma linha de produtos de software de veículos aéreos não tripulados
Gerenciamento de configuração de uma linha de produtos de software de veículos aéreos não tripulados
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Gerenciamento de configuração de uma linha de produtos de software de veículos aéreos não tripulados

Steiner, Eduardo Miranda

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2012-03-22

Acesso online. A biblioteca também possui exemplares impressos.

3
Avaliação comparativa entre técnicas de programação defensiva aplicadas a um sistema crítico simulado.
Avaliação comparativa entre técnicas de programação defensiva aplicadas a um sistema crítico simulado.
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Avaliação comparativa entre técnicas de programação defensiva aplicadas a um sistema crítico simulado.

Zumalde, Alex Ander Javarotti

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2011-05-05

Acesso online. A biblioteca também possui exemplares impressos.

4
Readings in Hardware/Software Co-Design
Readings in Hardware/Software Co-Design
Readings in Hardware/Software Co-Design
Material Type:
Livro 		Adicionar ao Meu Espaço

Readings in Hardware/Software Co-Design

G. De Micheli Giovanni De Micheli; Rolf Ernst; Wayne Wolf; Wayne Hendrix Wolf Rolf Ernst Wayne Wolf; Giovanni De Ernst, Rolf Wolf,Wayne Micheli

Morgan Kaufmann 2002

Acesso online. A biblioteca também possui exemplares impressos.

5
Software Frameworks and Embedded Control Systems
Software Frameworks and Embedded Control Systems
Software Frameworks and Embedded Control Systems
Material Type:
Livro 		Adicionar ao Meu Espaço

Software Frameworks and Embedded Control Systems

Alessandro Pasetti

Springer Berlin / Heidelberg 2002

Acesso online. A biblioteca também possui exemplares impressos.

6
On test oracles for Simulink-like models
On test oracles for Simulink-like models
Material Type:
Tese de Doutorado 		Adicionar ao Meu Espaço

On test oracles for Simulink-like models

Nardi, Paulo Augusto

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2013-12-12

Acesso online. A biblioteca também possui exemplares impressos.

7
Subsídios para a representação de arquiteturas de referência de sistemas embarcados
Subsídios para a representação de arquiteturas de referência de sistemas embarcados
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Subsídios para a representação de arquiteturas de referência de sistemas embarcados

Guessi, Milena

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2013-02-27

Acesso online. A biblioteca também possui exemplares impressos.

8
Simulação com hardware in the loop aplicada a veículos submarinos semi-autônomos.
Simulação com hardware in the loop aplicada a veículos submarinos semi-autônomos.
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Simulação com hardware in the loop aplicada a veículos submarinos semi-autônomos.

Silva, Hilgad Montelo Da

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2008-11-18

Acesso online. A biblioteca também possui exemplares impressos.

9
Embedded system design embedded systems foundations of cyber-physical systems
Embedded system design embedded systems foundations of cyber-physical systems
Material Type:
Livro 		Adicionar ao Meu Espaço

Embedded system design embedded systems foundations of cyber-physical systems

Peter Marwedel

Dordrecht Springer 2011

Localização: ICMC - Inst. Ciên. Mat. Computação    (68M40.01 M392es.2 e.3 ) e outros locais(Acessar)

10
Uma metodologia para desenvolvimento de sistemas embarcados críticos com vistas a certificação
Uma metodologia para desenvolvimento de sistemas embarcados críticos com vistas a certificação
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Uma metodologia para desenvolvimento de sistemas embarcados críticos com vistas a certificação

Onofre Trindade Junior Rosana Teresinha Vaccare Braga; Luciano de Oliveira Neris; Kalinka Regina Lucas Jaquie Castelo Branco; Simpósio Brasileiro de Automação Inteligente - SBAI (9. 2009 Brasília, DF)

Anais Brasília, 2009

Brasília Sociedade Brasileira de Automática SBA 2009

Acesso online. A biblioteca também possui exemplares impressos.

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Anais de Congresso  (10.937)
  2. Artigos  (9.372)
  3. magazinearticle  (2.308)
  4. Book Chapters  (507)
  5. Newsletter Articles  (424)
  6. Reports  (283)
  7. Livros  (233)
  8. Resenhas  (38)
  9. Dissertações  (36)
  10. Conjunto de Dados  (23)
  11. Artigos de Jornal  (14)
  12. Produções Acadêmicas  (14)
  13. Verbetes  (9)
  14. Standards  (6)
  15. Recursos Textuais  (3)
  16. Web Resources  (2)
  17. Mais opções open sub menu

Assunto 

  1. Science & Technology  (13.043)
  2. Technology  (12.923)
  3. Computer Science  (11.492)
  4. Embedded Systems  (11.070)
  5. Software  (7.156)
  6. Computer Science, Software Engineering  (6.540)
  7. Engineering  (5.969)
  8. Engineering, Electrical & Electronic  (5.074)
  9. Embedded Software  (4.385)
  10. Embedded System  (4.374)
  11. Computer Science, Hardware & Architecture  (4.275)
  12. Hardware  (4.063)
  13. Computer Science, Theory & Methods  (3.181)
  14. Application Software  (3.008)
  15. Computer Science, Information Systems  (2.403)
  16. Software Engineering  (2.297)
  17. Computer Architecture  (2.063)
  18. Computer Systems Organization -- Embedded And Cyber-Physical Systems  (1.976)
  19. Embedded Computing  (1.806)
  20. Operating Systems  (1.804)
  21. Embedded Computer Systems  (654)
  22. Software Testing  (573)
  23. Computer Software  (192)
  24. Framework  (28)
  25. Simulink  (26)
  26. Sistemas Embutidos  (15)
  27. Engenharia De Software  (10)
  28. Embedded Computer Systems  (9)
  29. Sistemas Embarcados  (5)
  30. Sistemas Embutidos  (5)
  31. Sistemas Operacionais  (3)
  32. Projeto De Software  (3)
  33. Computer Software  (3)
  34. Arquitetura De Software  (3)
  35. Simulink  (3)
  36. Softwares  (3)
  37. Computação Reconfigurável  (2)
  38. Sistemas De Informação  (2)
  39. Arquitetura E Organização De Computadores  (2)
  40. Arquitetura E Organização De Computadores  (2)
  41. Tempo Real  (2)
  42. Engenharia De Software  (1)
  43. Software Testing  (1)
  44. Projeto De Software  (1)
  45. Pmbok  (1)
  46. Sistemas Embarcados  (1)
  47. Sistemas Embarcados Críticos  (1)
  48. Verificação E Validação De Software  (1)
  49. Framework  (1)
  50. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1980  (31)
  2. 1980Até1990  (339)
  3. 1991Até2001  (3.707)
  4. 2002Até2013  (12.856)
  5. Após 2013  (7.538)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (24.122)
  2. Japonês  (576)
  3. Português  (46)
  4. Espanhol  (45)
  5. Chinês  (18)
  6. Francês  (17)
  7. Alemão  (11)
  8. Catalão  (8)
  9. Turco  (6)
  10. Russo  (2)
  11. Coreano  (2)
  12. Sueco  (1)
  13. Serbian  (1)
  14. Africâner  (1)
  15. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Nakagawa, E
  2. Delamaro, M
  3. Baresi, L
  4. Oliveira, B
  5. Braga, R

Neste Assunto:

  1. Science & Technology
  2. Technology
  3. Computer Science
  4. Embedded Systems
  5. Software

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

Buscando em bases de dados remotas. Favor aguardar.