Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Dissertação de Mestrado
|
![]() |
A formalization of a startup finance transaction model using AlloyStevaux, Rodrigo EhrlichBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2023-10-31Acesso online. A biblioteca também possui exemplares impressos. |
2 |
Material Type: Dissertação de Mestrado
|
![]() |
Um framework para coordenação do tratamento de exceções em sistemas tolerantes a falhasPereira, David PauloBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2007-03-09Acesso online. A biblioteca também possui exemplares impressos. |
3 |
Material Type: Dissertação de Mestrado
|
![]() |
Um método para a implementação de regras de negócio à partir da semântica SBVRJesus, Jandisson Soares DeBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2013-11-04Acesso online. A biblioteca também possui exemplares impressos. |
4 |
Material Type: Tese de Doutorado
|
![]() |
Um modelo para a estimação da dívida técnica baseado em produtividadeJesus, Jandisson Soares DeBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2019-06-17Acesso online. A biblioteca também possui exemplares impressos. |
5 |
Material Type: Dissertação de Mestrado
|
![]() |
Geração parcial de código Java a partir de especificações formais Z.Miyazawa, Alvaro HeijiBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2008-10-03Acesso online. A biblioteca também possui exemplares impressos. |
6 |
Material Type: Tese de Doutorado
|
![]() |
Geração de propriedades sobre programas Java a partir de objetivos de testeHanazumi, SimoneBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2015-10-29Acesso online. A biblioteca também possui exemplares impressos. |
7 |
Material Type: Dissertação de Mestrado
|
![]() |
Análise da modernização de sistemas monolíticos legados para micro-serviços à luz da dívida técnica: um estudo de caso corporativoLoureiro, Caio Henrique BosBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2018-10-03Acesso online. A biblioteca também possui exemplares impressos. |
8 |
Material Type: Dissertação de Mestrado
|
![]() |
Ambiente integrado para verificação e teste da coordenação de componentes tolerantes a falhasHanazumi, SimoneBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2010-09-01Acesso online. A biblioteca também possui exemplares impressos. |
9 |
Material Type: Dissertação de Mestrado
|
![]() |
Padrão de análise da timpanometria com sonda de 226 Hz na criança considerando a pressão do pico de máxima compliância e a compliância estáticaMelo, Alana Ribeiro DeBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Faculdade de Odontologia de Bauru 2017-05-08Acesso online. A biblioteca também possui exemplares impressos. |
10 |
Material Type: Tese de Doutorado
|
![]() |
Proposta de uma metodologia padronizada para análise dos transitórios eletromagnéticos muito rápidos em reatores de subestações isoladas a gás.Melo, André De SouzaBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2023-03-31Acesso online |