skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: nível superior: Disponível na Biblioteca remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Active inference of EFSMs without reset
Active inference of EFSMs without reset
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Active inference of EFSMs without reset

Michael Foster Roland Groz; Catherine Oriat; Adenilso da Silva Simão; Germán Vega; Neil Walkinshaw; International Conference on Formal Engineering Methods - ICFEM (24. 2023 Brisbane, Austrália)

Lecture Notes in Computer Science - LNCS Singapura : Springer v. 14308, p. 29-46, 2023

Singapura Springer 2023

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

2
Ref-CAMLA a reference architecture for context aware mobile learning applications
Ref-CAMLA a reference architecture for context aware mobile learning applications
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Ref-CAMLA a reference architecture for context aware mobile learning applications

Bimal Aklesh Kumar Bibhya Sharma; Elisa Yumi Nakagawa; IEEE Asia-Pacific Conference on Computer Science and Data Engineering - CSDE (2020 Gold Coast)

Proceedings Piscataway, 2020

Piscataway IEEE 2020

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

3
Bio-inspired optimization of test data generation for concurrent software
Bio-inspired optimization of test data generation for concurrent software
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Bio-inspired optimization of test data generation for concurrent software

Ricardo Ferreira Vilela Victor Hugo Santiago Costa Pinto; Thelma Elita Colanzi; Simone do Rocio Senger de Souza; International Symposium on Search Based Software Engineering - SSBSE (11. 2019 Tallinn, Estonia)

Lecture Notes in Computer Science - LNCS Cham : Springer v. 11664, p. 121-136, 2019

Cham Springer 2019

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

4
Towards a conversational agent to support the software testing education
Towards a conversational agent to support the software testing education
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Towards a conversational agent to support the software testing education

Leo Natan Paschoal Lucas Fernandes Turci; Tayana Uchôa Conte; Simone do Rocio Senger de Souza; Congresso Brasileiro de Software - CBSoft (10. 2019 Salvador); Brazilian Symposium on Software Engineering - SBES (33. 2019 Salvador)

Proceedings New York : ACM, 2019

New York ACM 2019

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

5
Artificial Intelligence in IoT
Artificial Intelligence in IoT
Artificial Intelligence in IoT
Material Type:
Livro 		Adicionar ao Meu Espaço

Artificial Intelligence in IoT

Fadi Al-Turjman ed

Cham Springer 2019

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

6
Enabling continuous software engineering for embedded systems architectures with virtual prototypes
Enabling continuous software engineering for embedded systems architectures with virtual prototypes
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Enabling continuous software engineering for embedded systems architectures with virtual prototypes

Pablo Oliveira Antonino Matthias Jung; Andreas Morgenstern; Florian Faßnacht; Thomas Bauer; Adam Bachorek; Thomas Kuhn; Elisa Yumi Nakagawa; European Conference on Software Architecture - ECSA 2018 (12. 2018 Madri, Espanha)

Lecture Notes in Computer Science Cham : Springer v. 11048, p. 115-130, 2018

Cham Springer Nature Switzerland AG 2018

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

7
Variability management in safety-critical software product line engineering
Variability management in safety-critical software product line engineering
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Variability management in safety-critical software product line engineering

André Luiz Oliveira Rosana Teresinha Vaccare Braga; Paulo Cesar Masiero; Yiannis Papadopoulos; Ibrahim Habli; Tim Kelly; International Conference on Software Reuse - ICSR (17. 2018 Madrid)

Lecture Notes in Computer Science Cham : Springer v. 10826, p. 3-22

Cham Springer 2018

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

8
Integrating project based learning and project management for software engineering teaching an experience report
Integrating project based learning and project management for software engineering teaching an experience report
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Integrating project based learning and project management for software engineering teaching an experience report

Maria Lydia Fioravanti Bruno Sena (Bruno Sena da Silva); Leo Natan Paschoal; Laíza R Silva (Laíza Ribeiro Silva); Ana P Allian (Ana Paula Allian); Elisa Yumi Nakagawa; Simone do Rocio Senger de Souza; Seiji Isotani; Ellen Francine Barbosa; ACM Technical Symposium on Computer Science Education - SIGCSE (49. 2018 Baltimore, Maryland, USA)

Proceedings New York : ACM, 2018

New York ACM 2018

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

9
Design approaches for critical embedded systems a systematic mapping study
Design approaches for critical embedded systems a systematic mapping study
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Design approaches for critical embedded systems a systematic mapping study

Daniel Feitosa Apostolos Ampatzoglou; Paris Avgeriou; Frank José Affonso; Hugo Andrade; Katia Romero Felizardo; Elisa Yumi Nakagawa; International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE (12. 2017 Porto)

Communications in Computer and Information Science - CCIS Cham : Springer, 2018 v. 866, p. 243-274

Cham Springer 2018

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

10
Agent Based Modelling of Urban Systems First International Workshop, ABMUS 2016, Held in Conjunction with AAMAS, Singapore, Singapore, May 10, 2016, Revised, Selected, and Invited Papers
Agent Based Modelling of Urban Systems First International Workshop, ABMUS 2016, Held in Conjunction with AAMAS, Singapore, Singapore, May 10, 2016, Revised, Selected, and Invited Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Agent Based Modelling of Urban Systems First International Workshop, ABMUS 2016, Held in Conjunction with AAMAS, Singapore, Singapore, May 10, 2016, Revised, Selected, and Invited Papers

Ana Bazzan; Kai Nagel; Mohammad-Reza Namazi-Rad; Lin Padgham; Pascal Perez

Cham Springer 2017

Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval    (004.8 Ag36 )(Acessar)

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (61)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (380)
  2. Artigos  (29)
  3. Produções Acadêmicas  (4)
  4. Outros  (1)
  5. Software  (1)
  6. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1983  (10)
  2. 1983Até1991  (41)
  3. 1992Até2000  (92)
  4. 2001Até2010  (238)
  5. Após 2010  (35)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (409)
  2. Português  (5)
  3. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.