Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
11 |
Material Type: Artigo de Congresso
|
![]() |
Avaliação terminal de projetos de softwareRenato de Oliveira Moraes 1963- Fernando José Barbin Laurindo 1960-; Simpósio de Gestão da Inovação Tecnológica (22. 2002 Salvador)Anais São Paulo: PGT/USP, 2002São Paulo PGT/USP 2002Item não circula. Consulte sua biblioteca.(Acessar) |
12 |
Material Type: Artigo de Congresso
|
![]() |
Otimização das formas de cascos de deslocamento em relação a sua resistência ao avançoRodrigo Loureiro Prado Alvarez Marcelo Ramos Martins 1971-; Congresso Pan-Americano de Engenharia Naval, Transporte Marítimo e Engenharia Portuária (20. 2007 São Paulo); Congresso Ibero-Americano de Engenharia Naval (4. 2007 São Paulo)COPINAVAL'2007. São Paulo : IPIN, 2007São Paulo IPIN 2007Item não circula. Consulte sua biblioteca.(Acessar) |
13 |
Material Type: Dissertação de Mestrado
|
![]() |
A aplicação de especificações formais no projeto lógico de softwareIsmar Neumann Kaufman Silvio Romero de Lemos Meira1992Localização: ICMC - Inst. Ciên. Mat. Computação (T K21a e.1 )(Acessar) |
14 |
Material Type: Livro
|
![]() |
Anais VI Workshop de Métodos Formais, 12-14 de outubro de 2003, Campina Grande - PBWorkshop Brasileiro de Métodos Formais (6. 2003 Campina Grande, BR) Ana Cavalcanti; Patrícia Machado; Sociedade Brasileira de ComputaçãoCampina Grande Universidade Federal de Campina Grande University of Kent 2003Localização: ICMC - Inst. Ciên. Mat. Computação (68-06 W926a 2003 e.1 )(Acessar) |
15 |
Material Type: Livro
|
![]() |
Proceedings = Anais 5th Workshop on Formal Methods, october 15-16, 2002, Gramado - Rio Grande do Sul, Brazil = 5th Workshop de Métodos Formais, 15 e 16 de outubro, 2002, Gramado - Rio Grande do Sul - BrasilWorkshop on Formal Methods (5. 2002 Gramado, RS, BRASIL) Alfio Martini; David Déharbe; SBC - Brazilian Computing Society; SBC - Sociedade Brasileira de Computação; Workshop de Métodos Formais (5. 2002 Gramado - Rio Grande do Sul - Brasil)Porto Alegre UFRGS 2002Localização: ICMC - Inst. Ciên. Mat. Computação (68-06 W926p 2002 e.1 )(Acessar) |
16 |
Material Type: Livro
|
![]() |
Gerência de projetos de software técnicas e ferramentasMoacir Leonardo Leite QuadrosFlorianópolis Visual Books c2002Localização: EPECP - Esc. Politécnica-Bib Eng Civil e Prod (004.415.2 Q22g )(Acessar) |
17 |
Material Type: Livro
|
![]() |
Projeto de software da programação à arquitetura : uma abordagem baseada em JavaEric BraudePorto Alegre Bookman 2005Localização: EPBC - Esc. Politécnica-Bib Central (004.415.2 B737sP )(Acessar) |
18 |
Material Type: Monografia
|
![]() |
Conhecimentos específicos para gerenciamento de projetos de software baseado no rup, comparados com as práticas do guia do PMBoKClayton Soares da Mota Sérgio Martins FernandesSão Paulo EPUSP 2008Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (MBA/ES 2008 M856c )(Acessar) |
19 |
Material Type: Livro
|
![]() |
Gestão de projectos de softwareAntonio MiguelLisboa FCA - Ed. de Informática c2010Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (004.415.2 M588g4 )(Acessar) |
20 |
Material Type: Dissertação de Mestrado
|
![]() |
UMA FERRAMENTA DE APOIO A UTILIZAÇÃO DE STATECHARTS PARA ESPECIFICAÇÃO DO COMPORTAMENTO DE SISTEMAS DE TEMPO-REAL COMPLEXOSFortes, Renata Pontin De MattosBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 1991-04-18Acesso online. A biblioteca também possui exemplares impressos. |