Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
Extending HSI test generation method for software product linesVanderson Hafemann Fragal Adenilso da Silva Simão; Mohammad Reza Mousavi; Uraz Cengiz TurkerThe Computer Journal : Section A : Computer Science Theory, Methods and Tools London : British Computer Society v. 62, n. 1, p. 109-129, Jan. 2019London 2019Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2902271 )(Acessar) |
|
2 |
Material Type: Artigo
|
Generalizing the DS-Methods for testing non-deterministic FSMsAlexandre Petrenko Adenilso da Silva SimãoThe Computer Journal: Section A: Computer Science Theory, Methods and Tools London : The British Computer Society v. 58, n. 7, p. 1656-1672, 2015London 2015Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2659212 )(Acessar) |
|
3 |
Material Type: Artigo
|
ArchSORS a software process for designing software architectures of service-oriented robotic systemsLucas Bueno Ruas Oliveira Elena Leroux; Katia Romero Felizardo; Flavio Oquendo; Elisa Yumi NakagawaThe Computer Journal: Section A: Computer Science Theory, Methods and Tools London : The British Computer Society v. 60, n. 9, p. 1363-1381, Set. 2017London 2017Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2833206 )(Acessar) |
|
4 |
Material Type: Artigo
|
Reducing FSM-based test suites with guaranteed fault coverageJorge Francisco Cutigi Adenilso da Silva Simão; Simone do Rocio Senger de SouzaThe Computer Journal: Section A: Computer Science Theory, Methods and Tools London : The British Computer Society v. 59, n. 8, p. 1129-1143, Ago. 2016London 2016Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2755484 )(Acessar) |
|
5 |
Material Type: Livro
|
Fuzzy set similarity using a distance-based kernel on fuzzy setsJorge Guevara Roberto Hirata Júnior; Stephane CanuPapakostas, George A.; Hatzimichailidis, Anestis G.; Kaburlasos, Vassilis G., ed Handbook of fuzzy sets comparison : theory, algorithms and applications Xanthi : Science Gate Publishing, 2019Xanthi Science Gate Publishing 2019Localização: IME - Inst. Matemática e Estatística (PROD-2963678 )(Acessar) |
|
6 |
Material Type: Artigo de Congresso
|
A simulation-oriented formalization for a psychological theoryPaulo Salem da Silva Ana Cristina Vieira de Melo; International Conference on Fundamental Approaches to Software Engineering - FASE (10. 2007 Braga, Portugal)Proceedings Berlin : Springer, 2007Berlin Springer 2007Localização: IME - Inst. Matemática e Estatística (PROD-3010686 )(Acessar) |
|
7 |
Material Type: Tese de Doutorado
|
Explorando conceitos da teoria de espaços métricos em consultas por similaridade sobre dados complexosPola, Ives Renê VenturiniBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2010-08-25Acesso online. A biblioteca também possui exemplares impressos. |
|
8 |
Material Type: Artigo de Congresso
|
A learning management system accessible for visual, hearing and physical impairmentsMarcos Devaner do Nascimento Thiago Oliveira; Nelson Lima; Renato Ramos; Lidiane Silva; Francisco Oliveira; Anarosa Alves Franco Brandão 1967-; Universal Access in Human-Computer Interaction. Theory, Methods and Tools - International Conference (13. 2019 Orlando)Lecture Notes in Computer Science Cham v. 11572, p. 481–493, 2019Cham 2019Item não circula. Consulte sua biblioteca.(Acessar) |
|
9 |
Material Type: Dissertação de Mestrado
|
Simulação acústica no ambiente AcMusTorres, Mário Henrique CruzBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2008-11-07Acesso online. A biblioteca também possui exemplares impressos. |
|
10 |
Material Type: Tese de Doutorado
|
Artefato físico-digital para processos participativos de projetos de Habitações de Interesse SocialCosta, Heliara AparecidaBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Arquitetura e Urbanismo 2023-03-22Acesso online |