Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Dissertação de Mestrado
|
Ranking source code static analysis warnings for continuous monitoring of free/libre/open source software repositoriesRibeiro, Athos CoimbraBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2018-06-22Acesso online. A biblioteca também possui exemplares impressos. |
|
2 |
Material Type: Artigo de Congresso
|
Apiis a method for analysis and prototyping interaction intense softwareLucia Vilela Leite Filgueiras 1961- Selma Shin Shimizu Melnikoff 1948-; Symposium on Analysis, Design, of Man-Machine Syems - IFAC/IFIP/IFORS/IEA (6. 1995 Cambridge)Oxford : Pergamon, 1995 Analysis, Design, and Evaluation of Man-Machine SystemsOxford Pergamon 1995Item não circula. Consulte sua biblioteca.(Acessar) |
|
3 |
Material Type: Artigo de Congresso
|
Distributed sound for volumes data analysis using distributed visualization and sonificationRosane Minghim Veridiana Christie Lucas Salvador; Bruno Sousa Freitas; Maria Cristina Ferreira de Oliveira; Luis Gustavo Nonato; Visualization and Data Analysis 2002 (2002 San Jose)Proceedings of SPIE Washington: SPIE, 2002Washington SPIE 2002Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1269059 ) e outros locais(Acessar) |
|
4 |
Material Type: Artigo
|
Model-based safety analysis of software product linesAndre L. de Oliveira (Andre Luiz de Oliveira) Rosana Teresinha Vaccare Braga; Paulo Cesar Masiero; Yiannis Papadopoulos; Ibrahim Habli; Tim KellyInternational Journal of Embedded Systems (IJES) Olney, Bucks, UK : Inderscience Publishers v. 8, n. 5/6, p. 412-426, 2016Olney, Bucks, UK 2016Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2791333 )(Acessar) |
|
5 |
Material Type: Artigo de Congresso
|
Model-based dependability analysis of unmanned aerial vehicles a case studyMatheus Lopes Franco Kalinka Regina Lucas Jaquie Castelo Branco; Rosana Teresinha Vaccare Braga; Andre L. de Oliveira (Andre Luiz de Oliveira); Catherine Dezan; Jean-Philippe Diguet; Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops - DSN-W (48. 2018 Luxembourg City, Luxembourg)Proceedings Los Alamitos, CA : IEEE, 2018Los Alamitos, CA IEEE 2018Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2905593 )(Acessar) |
|
6 |
Material Type: Artigo de Congresso
|
Java bytecode static analysis deriving structural testing requirementsAuri Marcelo Rizzo Vincenzi Márcio Eduardo Delamaro; José Carlos Maldonado; W Eric Wong; UK Software Testing Research II Workshop (2. 2003 York)SoftTest 20032003Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1345380 ) e outros locais(Acessar) |
|
7 |
Material Type: Artigo de Congresso
|
Jabuti a coverage analysis tool for java programsAuri Marcelo Rizzo Vincenzi W E Wong; Márcio Eduardo Delamaro; José Carlos Maldonado; Simpósio Brasileiro de Engenharia de Software (17. 2003 Manaus); Sessão de Ferramentas (10. 2003 Manaus)Anais Manaus: Editora da UFA,2003Manaus Editora da UFA 2003Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1338903 ) e outros locais(Acessar) |
|
8 |
Material Type: Artigo de Congresso
|
Illustrated analysis of sonification for scientific visualizationRosane Minghim A. Robin Forrest; Visualization 95 (1995 Atlanta)Proceedings Los Alamitos : Ieee, 1995Los Alamitos Ieee 1995Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-897179 ) e outros locais(Acessar) |
|
9 |
Material Type: Artigo de Congresso
|
Mutation analysis testing for finite state machinesS C P F Fabbri José Carlos Maldonado; Márcio Eduardo Delamaro; Paulo Cesar Masiero; International Symposium on Software Reliability Engineering (5. 1994 Monterey)Proceedings Monterey : Ieee, 1994Monterey Ieee 1994Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-874699 ) e outros locais(Acessar) |
|
10 |
Material Type: Artigo de Congresso
|
Coloured petri nets safety analysis using mutation testingAdenilso da Silva Simão José Carlos Maldonado; Workshop em Segurança (Safety Workshop): Sistemas Computacionais em Aplicações Críticas (2003 São Paulo)Trabalhos Apresentados São Paulo: EPUSP, 2003São Paulo EPUSP 2003Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1340877 ) e outros locais(Acessar) |