skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Um processo para extração de requisitos baseado nos conceitos e casos de uso e de entidade e relacionamento.
Um processo para extração de requisitos baseado nos conceitos e casos de uso e de entidade e relacionamento.
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Um processo para extração de requisitos baseado nos conceitos e casos de uso e de entidade e relacionamento.

Matos, Jussara Pimenta

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 1999-10-07

Acesso online. A biblioteca também possui exemplares impressos.

2
Estudo sobre critérios para a especificação de transformadores elevadores de estações geradoras (\"generator step-up transformers\").
Estudo sobre critérios para a especificação de transformadores elevadores de estações geradoras (\"generator step-up transformers\").
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Estudo sobre critérios para a especificação de transformadores elevadores de estações geradoras (\"generator step-up transformers\").

Amaral, Nádia Bentz De Souza

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2007-04-13

Acesso online

3
Principles of specification writing
Material Type:
Livro 		Adicionar ao Meu Espaço

Principles of specification writing

Harold J. Rosen

New York Reinhold 1967

Localização: EPBC - Esc. Politécnica-Bib Central    (69 R722p )(Acessar)

4
Checagem de arquiteturas de controle de veículos submarinos: uma abordagem baseada em especificações formais.
Checagem de arquiteturas de controle de veículos submarinos: uma abordagem baseada em especificações formais.
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Checagem de arquiteturas de controle de veículos submarinos: uma abordagem baseada em especificações formais.

Assis, Fábio Henrique De

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2009-07-08

Acesso online. A biblioteca também possui exemplares impressos.

5
Sintonia ótima de controladores.
Sintonia ótima de controladores.
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Sintonia ótima de controladores.

Godoy, Rodrigo Juliani Correa De

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2012-08-14

Acesso online. A biblioteca também possui exemplares impressos.

6
Uso do padrão AMQP para transporte de mensagens entre atores remotos
Uso do padrão AMQP para transporte de mensagens entre atores remotos
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Uso do padrão AMQP para transporte de mensagens entre atores remotos

Carmo, Thadeu De Russo E

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2012-05-08

Acesso online. A biblioteca também possui exemplares impressos.

7
Uma Abordagem, baseada em framework e na técnica de descrição formal Estelle, para o desenvolvimento de sistemas de arquivos paralelos distribuídos.
Uma Abordagem, baseada em framework e na técnica de descrição formal Estelle, para o desenvolvimento de sistemas de arquivos paralelos distribuídos.
Material Type:
Tese de Doutorado 		Adicionar ao Meu Espaço

Uma Abordagem, baseada em framework e na técnica de descrição formal Estelle, para o desenvolvimento de sistemas de arquivos paralelos distribuídos.

Mantovan, Ulisses

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2006-07-07

Acesso online. A biblioteca também possui exemplares impressos.

8
Formal mutation testing in Circus process algebra
Formal mutation testing in Circus process algebra
Material Type:
Tese de Doutorado 		Adicionar ao Meu Espaço

Formal mutation testing in Circus process algebra

Alberto, Alex Donizeti Betez

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2018-09-21

Acesso online. A biblioteca também possui exemplares impressos.

9
Validação de especificações de sistemas reativos: Definição e análise de critérios de teste.
Validação de especificações de sistemas reativos: Definição e análise de critérios de teste.
Material Type:
Tese de Doutorado 		Adicionar ao Meu Espaço

Validação de especificações de sistemas reativos: Definição e análise de critérios de teste.

Souza, Simone Do Rocio Senger De

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Física de São Carlos 2000-12-14

Acesso online. A biblioteca também possui exemplares impressos.

10
HMBS:Um modelo baseado em Statecharts para a especificação formal de hiperdocumentos
HMBS:Um modelo baseado em Statecharts para a especificação formal de hiperdocumentos
Material Type:
Tese de Doutorado 		Adicionar ao Meu Espaço

HMBS:Um modelo baseado em Statecharts para a especificação formal de hiperdocumentos

Turine, Marcelo Augusto Santos

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Física de São Carlos 1998-06-01

Acesso online. A biblioteca também possui exemplares impressos.

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (76.614)
  2. Revistas revisadas por pares (37.665)
  3. Disponível na Biblioteca (29)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (55.129)
  2. Reports  (19.240)
  3. Anais de Congresso  (16.577)
  4. magazinearticle  (13.826)
  5. Book Chapters  (4.301)
  6. Newsletter Articles  (1.612)
  7. Livros  (1.435)
  8. Resenhas  (911)
  9. Dissertações  (696)
  10. Patentes  (590)
  11. Recursos Textuais  (533)
  12. Conjunto de Dados  (296)
  13. Web Resources  (210)
  14. Standards  (186)
  15. Artigos de Jornal  (101)
  16. Documentos Governamentais  (45)
  17. Verbetes  (26)
  18. Produções Acadêmicas  (23)
  19. Outros  (13)
  20. Archival Material / Manuscripts  (13)
  21. Computer Files  (6)
  22. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1958  (593)
  2. 1958Até1973  (5.761)
  3. 1974Até1989  (18.221)
  4. 1990Até2006  (30.362)
  5. Após 2006  (60.582)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (111.554)
  2. Japonês  (3.460)
  3. Francês  (1.697)
  4. Chinês  (1.297)
  5. Alemão  (487)
  6. Espanhol  (157)
  7. Português  (155)
  8. Russo  (141)
  9. Tcheco  (52)
  10. Italiano  (51)
  11. Coreano  (46)
  12. Árabe  (21)
  13. Croatian  (16)
  14. Persa  (14)
  15. Eslovaco  (13)
  16. Norueguês  (12)
  17. Catalão  (12)
  18. Húngaro  (11)
  19. Turco  (11)
  20. Polonês  (10)
  21. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Melo, A
  2. Hanazumi, S
  3. Simão, A
  4. Silva, B
  5. Xavier Neto, J

Neste Assunto:

  1. Specifications
  2. Science & Technology
  3. Technology
  4. Engineering
  5. Design Specifications

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.