skip to main content
Idioma:
Refinado por: assunto: Engenharia De Programas remover assunto: Especificação De Sistemas E Programas remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Revisão de modelos formais de sistemas de estados finitos
Revisão de modelos formais de sistemas de estados finitos
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Revisão de modelos formais de sistemas de estados finitos

Sousa, Thiago Carvalho De

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

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

2
Formal methods for industrial applications specifying and programming the steam boiler control
Formal methods for industrial applications specifying and programming the steam boiler control
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal methods for industrial applications specifying and programming the steam boiler control

Jean-Raymond Abrial; E Borger; Langmaack, H

Berlin Springer 1996

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1165 CD-ROM ) e outros locais(Acessar)

3
Formal systems specification the rpc-memory specification case study
Formal systems specification the rpc-memory specification case study
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal systems specification the rpc-memory specification case study

M Broy; Stephan Merz

Berlin Springer 1996

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1169 ) e outros locais(Acessar)

4
Extensions of the unity methodology compositionality, fairness and probability in parallelism
Extensions of the unity methodology compositionality, fairness and probability in parallelism
Material Type:
Livro 		Adicionar ao Meu Espaço

Extensions of the unity methodology compositionality, fairness and probability in parallelism

Josyula Ramachandra Rao

Berlin Springer 1995

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs v.908 e.1 ) e outros locais(Acessar)

5
Korso methods, languages, and tools for the construction of correct software : final report
Korso methods, languages, and tools for the construction of correct software : final report
Material Type:
Livro 		Adicionar ao Meu Espaço

Korso methods, languages, and tools for the construction of correct software : final report

M Broy; Stefan Jahnichen

Berlin Springer 1995

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs v.1009 e.1 ) e outros locais(Acessar)

6
Desenvolvendo aplicações comerciais em Java com J2EE e UML
Desenvolvendo aplicações comerciais em Java com J2EE e UML
Material Type:
Livro 		Adicionar ao Meu Espaço

Desenvolvendo aplicações comerciais em Java com J2EE e UML

Khawar Zaman Ahmed Cary E Umrysh; Grady Booch; Eveline Vieira Machado; Deborah Rüdiger

Rio de Janeiro Ciência Moderna c2002

Localização: IME - Inst. Matemática e Estatística    (QA752 A286dP )(Acessar)

7
Practical software reuse
Practical software reuse
Material Type:
Livro 		Adicionar ao Meu Espaço

Practical software reuse

Michel Ezran 1967- Maurizio Morisio 1960-; C. J Tully (Colin J.)

London Springer New York c2002

Localização: IME - Inst. Matemática e Estatística    (QA752 E99p )(Acessar)

8
Engenharia de software uma abordagem profissional
Engenharia de software uma abordagem profissional
Material Type:
Livro 		Adicionar ao Meu Espaço

Engenharia de software uma abordagem profissional

Roger S. Pressman Bruce R Maxim; Francisco Araújo da Costa; Reginaldo Arakaki 1960-; Julio Arakaki; Renato Manzan de Andrade

Porto Alegre AMGH 2021

Localização: IME - Inst. Matemática e Estatística    (QA752 P935sP 9.ed. e.1 )(Acessar)

9
A software architecture primer
A software architecture primer
Material Type:
Livro 		Adicionar ao Meu Espaço

A software architecture primer

John Reekie Rohan McAdam

Sydney, Australia Angophora Press c2006

Localização: IME - Inst. Matemática e Estatística    (QA752 R327s )(Acessar)

10
Structured analysis and system specification
Structured analysis and system specification
Material Type:
Livro 		Adicionar ao Meu Espaço

Structured analysis and system specification

Tom DeMarco P. J Plauger 1944-

New York Yourdon c1979

Localização: IME - Inst. Matemática e Estatística    (QA752 D372s )(Acessar)

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (17)
  2. Produções Acadêmicas  (1)
  3. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1996  (3)
  2. 1996Até2001  (3)
  3. 2002Até2005  (7)
  4. 2006Até2009  (3)
  5. Após 2009  (2)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.