skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
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
Structural testing for semaphore-based multithread programs
Structural testing for semaphore-based multithread programs
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Structural testing for semaphore-based multithread programs

Felipe S. Sarmanho Paulo Sérgio Lopes de Souza; Simone do Rocio Senger de Souza; Adenilso da Silva Simão; International Conference in Computer Science (8. 2008 Krakow)

Lecture Notes in Computer Science v. 5101, p. 337-346, 2008

Heidelberger Springer 2008

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

2
ValiPVM - a graphical tool for structural testing of PVM programs
ValiPVM - a graphical tool for structural testing of PVM programs
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

ValiPVM - a graphical tool for structural testing of PVM programs

Paulo Sérgio Lopes de Souza Eduardo T Sawabe; Adenilso da Silva Simão; Sílvia Regina Vergílio; Simone do Rocio Senger de Souza; European PVM/MPI User's Group Meeting (15 2008 Irlanda)

Lecture Notes in Computer Science v. 5205, p. 257-264, 2008

Heidelberger Springer 2008

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

3
Adapting a software product line engineering process for certifying safety critical embedded systems
Adapting a software product line engineering process for certifying safety critical embedded systems
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)

4
Generating checking sequences for partial finite state machines
Generating checking sequences for partial finite state machines
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.

5
Performing domain analysis for model-driven software reuse
Performing domain analysis for model-driven software reuse
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Performing domain analysis for model-driven software reuse

Daniel Lucrédio Renata Pontin de Mattos Fortes; Eduardo S. de Almeida; Silvio Lemos Meira; International Conference Logic for Programming, Artificial Intelligence, and Reasoning - LPAR (15 Doha 2008)

Lecture Notes in Computer Science Doha v. 5030, p. 200-211, 2008

Heidelberg Springer 2008

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

6
MOOGLE a model search engine
MOOGLE a model search engine
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

MOOGLE a model search engine

Daniel Lucrédio Renata Pontin de Mattos Fortes; Jon Whittle; International Conference Model Driven Engineering Languages and Systems - MoDELS (11 Toulouse 2008)

Lecture Notes in Computer Science Toulouse v. 5301, p. 296-310, 2008

Heidelberg Springer 2008

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

7
The link-offset-scale mechanism for improving the usability of touch screen displays on the web
The link-offset-scale mechanism for improving the usability of touch screen displays on the web
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

The link-offset-scale mechanism for improving the usability of touch screen displays on the web

Willian Massami Watanabe Renata Pontin de Mattos Fortes; Maria da Graça Campos Pimentel; IFIP TC International Conference on Human-Computer Interaction - INTERACT (13. 2011 Lisbon)

Lecture Notes in Computer Science Heidelberg : Springer v. 6948, p. 356-372, 2011

Heidelberg Springer 2011

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

8
Web accessibility metrics effects of different computational approaches
Web accessibility metrics effects of different computational approaches
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Web accessibility metrics effects of different computational approaches

André Pimenta Freire Christopher Power; H Petrie; Eduardo H Tanaka; Heloisa V Rocha; Renata Pontin de Mattos Fortes; International Conference on Universal Access in Human-Computer Interaction - UAHCI (5. 2009 San Diego)

Lecture Notes in Computer Science Heidelberg : Springer-Verlag v. 5616, p. 664-673, 2009

Heidelberg Springer-Verlag 2009

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

9
From specification to experimentation a software component search engine architecture
From specification to experimentation a software component search engine architecture
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

From specification to experimentation a software component search engine architecture

Vinicius Cardoso Garcia Daniel Lucrédio; Frederico Araujo Durão; Eduardo Cruz Reis Santos; Eduardo Santana de Almeida; Renata Pontin de Mattos Fortes; Silvio Romero de Lemos Meira; International Symposium on Component-Based Software Engineering - CBSE (9. 2006 Västeras, Sweden)

Lecture Notes in Computer Science Berlin : Springer-Verlag v. 4063, p. 82-97, 2006

Berlin Springer-Verlag 2006

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

10
Generating reduced tests for FSMs with extra states
Generating reduced tests for FSMs with extra states
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 1 2 3 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

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

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

Buscando em bases de dados remotas. Favor aguardar.