Refinar Meus Resultados

Assunto 

1. Computer Software–Development  (41)
2. Software Engineering  (13)
3. Metodologia E Técnicas De Computação  (11)
4. Computer Software–Verification  (10)
5. Engenharia De Software–Congressos  (9)
6. Engenharia De Programas  (9)
7. Computer Software–Congresses  (9)
8. Linguagem De Programação  (7)
9. Uml (Computer Science)  (6)
10. Object-Oriented Programming (Computer Science)  (6)
11. Computer Software–Reliability  (6)
12. Computer Software–Testing  (6)
13. Computer Software–Reusability  (5)
14. Object-Oriented Methods (Computer Science)  (4)
15. System Design  (4)
16. Sistemas De Informação (Gerenciamento)  (4)
17. Teste E Avaliação De Software  (4)
18. Uml  (4)
19. Mais opções 

Autor/Criador 

1. Ada-Europe International Conference on Reliable Software Technologies  (4)
2. Linden, F  (3)
3. CAV (Conference)  (3)
4. Booch, G  (2)
5. Rumbaugh, J  (2)
6. Meyer, B  (2)
7. Ince, D  (2)
8. International SPIN Workshop  (2)
9. Jacobson, I  (2)
10. International Conference on Software Reuse  (2)
11. Myers, G  (2)
12. International Symposium of Formal Methods Europe  (2)
13. Jones, C  (2)
14. Gacek, C  (1)
15. Brinksma, E  (1)
16. Liblit, B  (1)
17. Larsen, K  (1)
18. International Conference on Computer-Aided Verification, C  (1)
19. Larsen, P  (1)
20. Havelund, K  (1)
21. Mais opções 

Data de Publicação 

1. Antes de1986  (6)
2. 1986Até1990  (11)
3. 1991Até1995  (9)
4. 1996Até2001  (32)
5. Após 2001  (25)
6. Mais opções 

Biblioteca 

1. ICMC - Inst. Ciên. Mat. Computação  (69)
2. IME - Inst. Matemática e Estatística  (49)
3. IFSC - Inst. Física de São Carlos  (19)
4. EPBC - Esc. Politécnica-Bib Central  (6)
5. EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval  (4)
6. EACH - Esc. Artes, Ciências e Humanidades  (2)
7. IO - Instituto Oceanográfico  (1)
8. FEARP - Fac. Econ. Adm. Cont. de R. Preto  (1)
9. Mais opções