skip to main content
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters

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

Resultados 1 2 next page
Mostrar Somente
Refinado por: Nome da Publicação: Science of computer programming remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Artigo
Adicionar ao Meu Espaço

Integration testing of object-oriented and aspect-oriented programs a structural pairwise approach for java

Otávio Augusto Lazzarini Lemos Ivan Gustavo Franchin; Paulo Cesar Masiero

Science of Computer Programming v.74, n. 10, p. 861-878, 2009

2009

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

2
Material Type:
Artigo
Adicionar ao Meu Espaço

Hierarchical featured state machines

Vanderson Hafemann Fragal Adenilso da Silva Simão; Mohammad Reza Mousavi

Science of Computer Programming Amsterdam : Elsevier B. V. v. 171, p. 67-88, Feb. 2019

Amsterdam 2019

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

3
Material Type:
Artigo
Adicionar ao Meu Espaço

Formalization of an architectural model for exception handling coordination based on CA action concepts

David Paulo Pereira Ana Cristina Vieira de Melo

Science of Computer Programming Amsterdam v. 75, n. 5, p. 333-349, 2010

Amsterdam 2010

Localização: IME - Inst. Matemática e Estatística    (PROD-1852858 )(Acessar)

4
Material Type:
Artigo
Adicionar ao Meu Espaço

Towards the practical mutation testing of AspectJ programs

Fabiano Cutigi Ferrari Awais Rashid; José Carlos Maldonado

Science of Computer Programming Amsterdam : Elsevier v. 78, n. 9, p. 1639\20131662, set 2013

Amsterdam 2013

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

5
Material Type:
Artigo
Adicionar ao Meu Espaço

A practical approach for testing timed deterministic finite state machines with single clock

Khaled El-Fakih Nina Yevtushenko; Adenilso da Silva Simão

Science of Computer Programming Amsterdam : Elsevier B. V. v. 80, parte B, p. 343-355, fev 2014

Amsterdam 2014

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

6
Material Type:
Livro
Adicionar ao Meu Espaço

Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2011)... [Prefácio]

Adenilso da Silva Simão Carroll Morgan

Science of Computer Programming Amsterdam : Elsevier, 2014 v. 92, part B, p. 85, out 2014

Amsterdam Elsevier 2014

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

7
Material Type:
Artigo
Adicionar ao Meu Espaço

Coverage testing of java programs and components

Auri Marcelo Rizzo Vincenzi José Carlos Maldonado; W Eric Wong; Márcio Eduardo Delamaro

Science of Computer Programming v. 56, p 211-230, 2005

2005

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

8
Material Type:
Artigo
Adicionar ao Meu Espaço

Formalization of an architectural model for exception handling coordination based on CA action concepts

David Paulo Pereira Ana Cristina Vieira de Melo

Science of Computer Programming Amsterdam v. 75, n. 5, p. 333-349, 2010

Amsterdam 2010

Localização: IME - Inst. Matemática e Estatística    (PROD-1852858 )(Acessar)

9
Material Type:
Artigo
Adicionar ao Meu Espaço

Coverage testing of java programs and components

Auri Marcelo Rizzo Vincenzi José Carlos Maldonado; W Eric Wong; Márcio Eduardo Delamaro

Science of Computer Programming v. 56, p 211-230, 2005

2005

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

10
Material Type:
Artigo
Adicionar ao Meu Espaço

An experimental comparison of edge, edge-pair, and prime path criteria

Vinícius H. S Durelli (Vinícius Humberto Serapilha Durelli) Márcio Eduardo Delamaro; Jeff Offutt

Science of Computer Programming Amsterdam : Elsevier B. V. v. 152, p. 99-115, Jan. 2018

Amsterdam 2018

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

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

Resultados 1 2 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (1)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (11)
  2. Livros  (1)
  3. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de2009  (2)
  2. 2009Até2009  (1)
  3. 2010Até2012  (2)
  4. 2013Até2014  (4)
  5. Após 2014  (3)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.