skip to main content
Idioma:
Mostrar Somente
Refinado por: assunto: Computer Software remover assunto: Engenharia De Programas remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Refactoring databases evolutionary database design
Refactoring databases evolutionary database design
Material Type:
Livro 		Adicionar ao Meu Espaço

Refactoring databases evolutionary database design

Scott W. Ambler 1966- Pramod J Sadalage

Upper Saddle River, NJ Addison Wesley Professional 2008, c2006

Localização: EACH - Esc. Artes, Ciências e Humanidades    (005.74 A493r 2008 ) e outros locais(Acessar)

2
Shadows of cavernous shades charting the chiaroscuro of realistic computing
Shadows of cavernous shades charting the chiaroscuro of realistic computing
Material Type:
Livro 		Adicionar ao Meu Espaço

Shadows of cavernous shades charting the chiaroscuro of realistic computing

Erik Persson

2002

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

3
Domain-driven design tackling complexity in the heart of software
Domain-driven design tackling complexity in the heart of software
Material Type:
Livro 		Adicionar ao Meu Espaço

Domain-driven design tackling complexity in the heart of software

Eric Evans 1962

Boston Addison-Wesley c2004

Localização: ICMC - Inst. Ciên. Mat. Computação    (68N30.01 E92dd e.1 ) e outros locais(Acessar)

4
Concurrency, graphs and models essays dedicated to Ugo Montanari on the occasion of his 65th birthday
Concurrency, graphs and models essays dedicated to Ugo Montanari on the occasion of his 65th birthday
Material Type:
Livro 		Adicionar ao Meu Espaço

Concurrency, graphs and models essays dedicated to Ugo Montanari on the occasion of his 65th birthday

Ugo Montanari; Pierpaolo Degano 1950-; Rocco De Nicola; José Meseguer

Berlin Springer New York c2008

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

5
Managing software engineering knowledge
Managing software engineering knowledge
Material Type:
Livro 		Adicionar ao Meu Espaço

Managing software engineering knowledge

Aybüke Aurum 1957-; Ross Jeffery; Claes Wohlin; Meliha Handzic

Berlin Springer New York 2003

Localização: ICMC - Inst. Ciên. Mat. Computação    (68N30.45 M266 e.1 ) e outros locais(Acessar)

6
Growing object-oriented software, guided by tests
Growing object-oriented software, guided by tests
Material Type:
Livro 		Adicionar ao Meu Espaço

Growing object-oriented software, guided by tests

Steve Freeman 1958- Nat Pryce

Upper Saddle River, N.J. Addison-Wesley London c2010

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

7
Rigorous development of complex fault-tolerant systems
Rigorous development of complex fault-tolerant systems
Material Type:
Livro 		Adicionar ao Meu Espaço

Rigorous development of complex fault-tolerant systems

Workshop on Rigorous Engineering of Fault-tolerant Systems (2005 Newcastle upon Tyne, England) Michael Butler 1967; Cliff Jones; Alexander Romanovsky; Elena Troubitsyna; International Symposium of Formal Methods Europe (13th 2005 Newcastle upon Tyne, England)

Berlin Springer New York c2006

Localização: IME - Inst. Matemática e Estatística    (S L471c v.4157 )(Acessar)

8
Formal methods applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : revised selected papers
Formal methods applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : revised selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal methods applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : revised selected papers

International Workshop on Formal Methods for Industrial Critical Systems (11th 2006 Bonn, Germany) Lub eos Brim; Boudewijn R Haverkort; Martin Leucker; Jaco van de Pol; PDMC 2006 (2006 Bonn, Germany)

Berlin Springer New York c2007

Localização: IME - Inst. Matemática e Estatística    (S L471c v.4346 )(Acessar)

9
Formal approaches to software testing third International Workshop on Formal Approaches to Testing of Software : FATES 2003 : Montreal, Quebec, Canada, October 6th, 2003 : revised papers
Formal approaches to software testing third International Workshop on Formal Approaches to Testing of Software : FATES 2003 : Montreal, Quebec, Canada, October 6th, 2003 : revised papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal approaches to software testing third International Workshop on Formal Approaches to Testing of Software : FATES 2003 : Montreal, Quebec, Canada, October 6th, 2003 : revised papers

FATES 2003 (2003 Montr eal, Qu ebec) Alexandre Petrenko; Andreas Ulrich Dr. Ing; IEEE International Automated Software Engineering Conference (18th 2003 Montr eal, Qu ebec)

Berlin Springer New York c2004

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

10
Formal approaches to software testing and runtime verification first combined international workshops, FATES 2006 and RV 2006, Seattle WA, USA, August 15-16, 2006 ; revised selected papers
Formal approaches to software testing and runtime verification first combined international workshops, FATES 2006 and RV 2006, Seattle WA, USA, August 15-16, 2006 ; revised selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal approaches to software testing and runtime verification first combined international workshops, FATES 2006 and RV 2006, Seattle WA, USA, August 15-16, 2006 ; revised selected papers

FATES/RV 2006 (2006 Seattle, Wash.) Klaus Havelund; Manuel Nunez; Grigore Rosu; Burkhart Wolff 1962-

Berlin Springer 2006

Localização: IME - Inst. Matemática e Estatística    (S L471c v.4262 )(Acessar)

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (6)

Data de Publicação 

De até
Refinar
  1. Antes de2003  (1)
  2. 2003Até2003  (1)
  3. 2004Até2004  (3)
  4. 2005Até2006  (8)
  5. Após 2006  (4)
  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.