Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Formal Foundations for Software Engineering MethodsHeinrich HussmannSpringer Berlin Heidelberg 1997Acesso online. A biblioteca também possui exemplares impressos. |
2 |
Material Type: Livro
|
![]() |
Managing the software processWatts S. Humphrey 1927-Boston Addison-Wesley 2008, c1989Localização: EACH - Esc. Artes, Ciências e Humanidades (005.1 H926m ) e outros locais(Acessar) |
3 |
Material Type: Dissertação de Mestrado
|
![]() |
Análise da aderência de práticas ágeis na cultura de startups de software: o mapeamento de práticas através do SEMAT Kernel.Silva, Marvin Ferreira DaBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2016-03-29Acesso online. A biblioteca também possui exemplares impressos. |
4 |
Material Type: Tese de Doutorado
|
![]() |
VIDAese: processo de visualização exploratória para apoio a estudos empíricos em verificação, validação e teste de softwareGarcia, Rogério EduardoBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2006-10-02Acesso online. A biblioteca também possui exemplares impressos. |
5 |
Material Type: Dissertação de Mestrado
|
![]() |
Execução paralela de programas como suporte ao teste de mutaçãoAndrade, Stevão Alves DeBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2016-04-08Acesso online. A biblioteca também possui exemplares impressos. |
6 |
Material Type: Tese de Doutorado
|
![]() |
Uma contribuição para a melhoria colaborativa e distribuída de processos de softwarePinho, Viviane Dias Malheiros DeBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2010-06-01Acesso online. A biblioteca também possui exemplares impressos. |
7 |
Material Type: Dissertação de Mestrado
|
![]() |
Um método de transformação de modelos UML para a inclusão de componentes de frameworks com o uso de planejador lógico.Marchetti, Guilherme ArenBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2012-06-26Acesso online. A biblioteca também possui exemplares impressos. |
8 |
Material Type: Dissertação de Mestrado
|
![]() |
Implementação de processo de software para teste de equipamentos aeroespaciaisSantos Júnior, Daniel DosBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola de Engenharia de São Carlos 2007-05-04Acesso online |
9 |
Material Type: Dissertação de Mestrado
|
![]() |
On the use of control- and data-ow in fault localizationRibeiro, Henrique LemosBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola de Artes, Ciências e Humanidades 2016-08-19Acesso online. A biblioteca também possui exemplares impressos. |
10 |
Material Type: Tese de Doutorado
|
![]() |
Interoperabilidade organizacional em sistemas multiagentes abertos baseada em engenharia dirigida por modelos.Coutinho, Luciano ReisBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2009-09-11Acesso online. A biblioteca também possui exemplares impressos. |