1
|
Material Type: Relatório Técnico
|
|
Interface mutation test adequacy criterion an empirical evaluation
Márcio Eduardo Delamaro José Carlos Maldonado; Alberto Pasquini; Aditya P Mathur
São Carlos ICMC-USP 1998
Localização:
ICMC - Inst. Ciên. Mat. Computação
(RT SCE N.83 D336im e.1 ) e outros locais(Acessar)
|
2
|
Material Type: Relatório Técnico
|
|
Metodo oo- metodo de desenvolvimento de sistemas orientados a objetos uma abordagem integrada a analise estruturada e redes de petri
Kechi Hirama 1956- Selma Shin Shimizu Melnikoff 1948-
São Paulo Epusp 1995
Item não circula. Consulte sua biblioteca.(Acessar)
|
3
|
Material Type: Relatório Técnico
|
|
Documentação do software WS4CSCW (Web services for CSCW)
Victor Hugo Vieira Renata Pontin de Mattos Fortes
São Carlos ICMC-USP 2005
Localização:
ICMC - Inst. Ciên. Mat. Computação
(RT SCE n.263 V657do e.1 ) e outros locais(Acessar)
|
4
|
Material Type: Relatório Técnico
|
|
Visual mapping of text collections using an approximation of kolmogorov complexity
Guilherme Pimentel Telles Rosane Minghim; Fernando Vieira Paulovsky
São Carlos ICMC-USP 2005
Localização:
ICMC - Inst. Ciên. Mat. Computação
(RT SCE n.262 T274vi e.1 ) e outros locais(Acessar)
|
5
|
Material Type: Relatório Técnico
|
|
Introdução ao uso de CVS (concurrent version system)
Débora Maria Barroso Paiva Daniel Carnio Junqueira; Renata Pontin de Mattos Fortes
São Carlos ICMC-USP 2002
Localização:
ICMC - Inst. Ciên. Mat. Computação
(RT SCE N.172 P149iu e.1 ) e outros locais(Acessar)
|
6
|
Material Type: Relatório Técnico
|
|
Moopp uma metodologia orientada a objetos para desenvolvimento de software para processamento paralelo
Elisa Hatsue Moriya Huzita Liria Matsumoto Sato 1953-
São Paulo Epusp 1996
Item não circula. Consulte sua biblioteca.(Acessar)
|
7
|
Material Type: Relatório Técnico
|
|
Especificação e análise de mecanismos de detecção de erros para o padrão INPE de supervisão de bordo
Ronaldo Luiz Dias Cereda
São José dos Campos, SP INPE 1986
Localização:
ICMC - Inst. Ciên. Mat. Computação
(PROD-772417 ) e outros locais(Acessar)
|
8
|
Material Type: Relatório Técnico
|
|
Ambiente de desenvolvimento baseado na abordagem operacional
Paulo Cesar Masiero M Rodriguez; D B Pereira; I A Gasparoto
Sao Carlos Icmsc-Usp 1990
Localização:
ICMC - Inst. Ciên. Mat. Computação
(NOTAS SCE N.57 M397u ) e outros locais(Acessar)
|
9
|
Material Type: Relatório Técnico
|
|
Especificacoes formais em vdm um estudo de caso
C A A Meira Paulo Cesar Masiero
Sao Carlos Icmsc-Usp 1990
Localização:
ICMC - Inst. Ciên. Mat. Computação
(PROD-816338 ) e outros locais(Acessar)
|
10
|
Material Type: Relatório Técnico
|
|
Propriedades de maquinas de estado finito relevantes para criterios de geracao de sequencias de teste
K K Nakazato José Carlos Maldonado; S C P F Fabbri; Paulo Cesar Masiero
Sao Carlos Icmsc-Usp 1994
Localização:
ICMC - Inst. Ciên. Mat. Computação
(PROD-872264 ) e outros locais(Acessar)
|