Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo de Congresso
|
Structural testing for semaphore-based multithread programsFelipe S. Sarmanho Paulo Sérgio Lopes de Souza; Simone do Rocio Senger de Souza; Adenilso da Silva Simão; International Conference in Computer Science (8. 2008 Krakow)Lecture Notes in Computer Science v. 5101, p. 337-346, 2008Heidelberger Springer 2008Acesso online. A biblioteca também possui exemplares impressos. |
|
2 |
Material Type: Tese de Doutorado
|
Inglês Instrumental em cursos de graduação na área de ciência da computação: a formação profissional críticaNascimento, Laudo Natel DoBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Faculdade de Filosofia, Letras e Ciências Humanas 2022-12-19Acesso online |
|
3 |
Material Type: Artigo
|
Assessing the research and education quality of the top brazilian computer science graduate programsAlberto H. F. Laender 1951- Carlos José Pereira de Lucena; José Carlos Maldonado; Edmundo de Souza e Silva; Nivio ZivianiACM Sigcse Bulletin v. 40, n. 2, p. 135-145, 20082008Acesso online. A biblioteca também possui exemplares impressos. |
|
4 |
Material Type: Artigo
|
Assessing the research and education quality of the top brazilian computer science graduate programsAlberto H. F. Laender 1951- Carlos José Pereira de Lucena; José Carlos Maldonado; Edmundo de Souza e Silva; Nivio ZivianiACM Sigcse Bulletin v. 40, n. 2, p. 135-145, 20082008Acesso online. A biblioteca também possui exemplares impressos. |
|
5 |
Material Type: Artigo de Congresso
|
Checking sequence generation using state distinguishing subsequencesAdenilso da Silva Simão A Petrenko; IEEE International Conference on Software Testing, Verification, and Validation Workshops (2. (2009 Denver, Colorado - USA)Proceedings Washington : IEEE Computer Society, 2009Washington, DC IEEE Computer Science 2009Acesso online. A biblioteca também possui exemplares impressos. |
|
6 |
Material Type: Artigo de Congresso
|
Adapting a software product line engineering process for certifying safety critical embedded systemsRosana Teresinha Vaccare Braga Onofre Trindade Junior; Kalinka Regina Lucas Jaquie Castelo Branco; Luciano de Oliveira Neris; Jaejoon Lee; International Conference on Computer Safety, Reliability and Security (31. 2012 Magdeburg, Germany)Lecture Notes in Computer Science Berlin : Springer-Verlag v. 7612, p. 352-363, 2012Berlin, Heidelberg Springer-Verlag 2012Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2311301 ) e outros locais(Acessar) |
|
7 |
Material Type: Artigo de Congresso
|
The link-offset-scale mechanism for improving the usability of touch screen displays on the webWillian Massami Watanabe Renata Pontin de Mattos Fortes; Maria da Graça Campos Pimentel; IFIP TC International Conference on Human-Computer Interaction - INTERACT (13. 2011 Lisbon)Lecture Notes in Computer Science Heidelberg : Springer v. 6948, p. 356-372, 2011Heidelberg Springer 2011Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2211004 ) e outros locais(Acessar) |
|
8 |
Material Type: Artigo de Congresso
|
Generating checking sequences for partial finite state machinesAdenilso da Silva Simão Alexandre Petrenko; International Conference, TestCom 2008 - IFIP TC6/WG 6.1 (20 2008 Tokyo)Lecture Notes in Computer Science Berlin v. 5047, p. 153-168, 2008Berlin Springer 2008Acesso online. A biblioteca também possui exemplares impressos. |
|
9 |
Material Type: Artigo de Congresso
|
System description an orienteering strategy to browse semantically-enhanced educational wiki pagesLuciano Tadeu Esteves Pansanato Renata Pontin de Mattos Fortes; European Semantic Web Conference - ESWC (4 2007 Innsbruck)Lecture Notes in Computer Science Berlin v.4519, p. 809-818, 2007Berlin 2007Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1636772 ) e outros locais(Acessar) |
|
10 |
Material Type: Livro
|
Formal methods foundations and applicationsJim Davies Leila Silva; Adenilso da Silva Simão; Brazilian Symposium on Formal Methods - SBMF (13. 2010 Natal)Proceedings Heidelberg : SpringerHeidelberg Springer 2011Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2213638 ) e outros locais(Acessar) |