Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo de Congresso
|
Behaviorist agent architecturePaulo Salem da Silva Ana Cristina Vieira de Melo; IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Workshops WI-IAT (2013 Atlanta, Georgia)Proceedings Piscataway : IEEE, 2013Piscataway IEEE 2013Localização: IME - Inst. Matemática e Estatística (PROD-3005671 )(Acessar) |
|
2 |
Material Type: Artigo de Congresso
|
A formal architectural model for exception handling coordinationDavid Paulo Pereira Ana Cristina Vieira de Melo; Symposium on Applied Computing - SAC (2008 Fortaleza, Brasil)Proceedings New York : ACM, 2008New York ACM 2008Localização: IME - Inst. Matemática e Estatística (PROD-3010659 )(Acessar) |
|
3 |
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. |
|
4 |
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. |
|
5 |
Material Type: Tese de Doutorado
|
Verification of behaviourist multi-agent systems by means of formally guided simulationsPaulo Salem da Silva Ana Cristina Vieira de Melo; Marie-Claude Gaudel2012Localização: IME - Inst. Matemática e Estatística (IME-T QA754.T S586v e.1 )(Acessar) |