skip to main content

Resultados de 1 a 10 de 29  para Produção Intelectual da USP

Resultados 1 2 3 next page
Mostrar Somente
Refinado por: Nome da Publicação: Lecture notes in computer science remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

Adapting a software product line engineering process for certifying safety critical embedded systems

Rosana Teresinha Vaccare Braga Onofre Trindade Junior; Kalinka Regina Lucas Jaquie Castelo Branco; Luciano de Oliveira Neris; Jaejoon Lee; International Conference on Computer Safety, Reliability and Security (31. 2012 Magdeburg, Germany)

Lecture Notes in Computer Science Berlin : Springer-Verlag v. 7612, p. 352-363, 2012

Berlin, Heidelberg Springer-Verlag 2012

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD 2311301 ) e outros locais(Acessar)

2
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

AIRES an architecture to improve software reuse

Rosana Teresinha Vaccare Braga Daniel Feloni (Daniel Fernando Galego Feloni); Karen Pacini (Karen Dias Rabelo Pacini); Domenico Schettini Filho; Thiago Gottardi; International Conference on Software Reuse - ICSR 2016 (15. 2016 Limassol, Chipre)

Lecture Notes in Computer Science Cham, SZ : Springer, 2016

Cham, SZ Springer 2016

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

3
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

An analysis of Crossword Learning a mobile application for the elderly

Camila D. de Oliveira Renata Pontin de Mattos Fortes; Ellen Francine Barbosa; International Conference on Human Aspects of IT for the Aged Population - ITAP (4. 2018 Las Vegas)

Lecture Notes in Computer Science Cham : Springer v. 10927, p. 501-515, 2018

Cham Springer 2018

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

4
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

Aspects as components

Marcelo Medeiros Eler Paulo Cesar Masiero; International Conference on Software Reuse (9. 2006 Turin)

Lecture Notes in Computer Science Berlin v. 4039, p. 411-414, 2006

Berlim Springer 2006

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-1535874 ) e outros locais(Acessar)

5
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

CanIHelp a platform for inclusive collaboration

Hugo Paredes Hugo Fernandes; André Sousa; Renata Pontin de Mattos Fortes; Fernando Koch; Vitor Filipe; João Barroso; International Conference on Human-Computer Interaction - HCI (2015 Los Angeles); International Conference on Universal Access in Human-Computer Interaction - UAHCI (9. 2015 Los Angeles)

Lecture Notes in Computer Science Cham : Springer v. 9176, p. 474-483, 2015

Cham Springer 2015

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

6
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

Checking experiments for finite state machines with symbolic inputs

Alexandre Petrenko Adenilso da Silva Simão; IFIP WG 6.1 International Conference on Testing Software and Systems - ICTSS (27. 2015 Sharjah and Dubai, United Arab Emirates)

Lecture Notes in Computer Science Cham : Springer v. 9447, p. 3-18, 2015

Cham Springer 2015

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

7
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)

8
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

The evolution of design pattern grime an industrial case study

Daniel Feitosa Paris Avgeriou; Apostolos Ampatzoglou; Elisa Yumi Nakagawa; International Conference on Product-Focused Software Process Improvement - PROFES (18. 2017Cusco Innsbruck, Austria)

Lecture Notes in Computer Science Cham : Springer v. 10611, p. 165-181, 2017

Cham Springer 2017

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

9
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

Generating checking sequences for partial finite state machines

Adenilso da Silva Simão Alexandre Petrenko; International Conference, TestCom 2008 - IFIP TC6/WG 6.1 (20 2008 Tokyo)

Lecture Notes in Computer Science Berlin v. 5047, p. 153-168, 2008

Berlin Springer 2008

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

10
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

Generating reduced tests for FSMs with extra states

Adenilso da Silva Simão Alexandre Petrenko; Nina Yevtushenko; International Conference Testing of Software and Communication Systems - TESTCOM (21. 2009 Eindhoven, The Netherlands); Workshop on Formal Approaches to Testing of Software - FATES (9. 2009 Eindhoven, The Netherlands)

Lecture Notes in Computer Science Heidelberg : Springer v. 5826, p. 129-145, 2009

Berlin Springer 2009

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

Resultados de 1 a 10 de 29  para Produção Intelectual da USP

Resultados 1 2 3 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Disponível na Biblioteca (26)
  2. Recursos Online (7)

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Fortes, R
  2. Simão, A
  3. Petrenko, A
  4. Santana, M
  5. Santana, R

Buscando em bases de dados remotas. Favor aguardar.