skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: assunto: Engenharia De Programas remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Service-Oriented Computing ICSOC 2010 international workshops, PAASC, WESOA, SEE, and SOC-LOG : revised selected papers
Service-Oriented Computing ICSOC 2010 international workshops, PAASC, WESOA, SEE, and SOC-LOG : revised selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Service-Oriented Computing ICSOC 2010 international workshops, PAASC, WESOA, SEE, and SOC-LOG : revised selected papers

ICSOC (8. 2010 San Francisco, CA) E. Michael Maximilien; Gustavo Rossi; Soe-Tsyr Yuan; Heiko Ludwig; Marcelo Fantinato

Berlin Springer 2011

Localização: EACH - Esc. Artes, Ciências e Humanidades    (004.678 I17s 2010 pp )(Acessar)

2
Service-Oriented Computing 8th International Conference, ICSOC 2010 : proceedings
Service-Oriented Computing 8th International Conference, ICSOC 2010 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Service-Oriented Computing 8th International Conference, ICSOC 2010 : proceedings

ICSOC (8. 2010 San Francisco, CA) E. Michael Maximilien; Gustavo Rossi; Soe-Tsyr Yuan; Heiko Ludwig; Marcelo Fantinato

Berlin Springer 2010

Localização: EACH - Esc. Artes, Ciências e Humanidades    (004.678 I17s 2010 proc )(Acessar)

3
Verification, model checking, and abstract interpretation 11th international conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 : proceedings
Verification, model checking, and abstract interpretation 11th international conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Verification, model checking, and abstract interpretation 11th international conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 : proceedings

VMCAI 2010 (2010 : Madrid, Spain) Gilles Barthe 1967-; Manuel Hermenegildo

Berlin Springer New York c2010

Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval    (004.24 V849v 11. )(Acessar)

4
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)

5
Exploring XML perturbation techniques for web services testing
Exploring XML perturbation techniques for web services testing
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Exploring XML perturbation techniques for web services testing

Paulo Silveira Ana Cristina Vieira de Melo; International Conference on Web Engineering - ICWE (9. 2009 San Sebastián, Spain)

Proceedings Berlin : Springer, 2009

Berlin Springer 2009

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

6
OConGraX automatically generating data-flow test cases for fault-tolerant systems
OConGraX automatically generating data-flow test cases for fault-tolerant systems
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

OConGraX automatically generating data-flow test cases for fault-tolerant systems

Paulo Roberto de Araújo França Nunes Simone Hanazumi; Ana Cristina Vieira de Melo; International Workshop on Formal Approaches to Software Testing - FATES (9. 2009 Eindhoven, The Netherlands); International Conference on Testing of Software and Communicating Systems - TestCom: IFIP (21. 2009 Eindhoven, The Netherlands)

Proceedings Berlin : Springer, 2009

Berlin Springer 2009

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

7
Semiotic engineering methods for scientific research in HCI
Semiotic engineering methods for scientific research in HCI
Material Type:
Livro 		Adicionar ao Meu Espaço

Semiotic engineering methods for scientific research in HCI

Clarisse Sieckenius De Souza Carla Faria Leit ao

San Rafael Morgan & Claypool c2009

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

8
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)

9
Web services and formal methods 4th international workshop, WS-FM 2007, Brisbane Australia, September 28-29, 2007 : proceedings
Web services and formal methods 4th international workshop, WS-FM 2007, Brisbane Australia, September 28-29, 2007 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Web services and formal methods 4th international workshop, WS-FM 2007, Brisbane Australia, September 28-29, 2007 : proceedings

WS-FM 2007 (2007 Brisbane, Qld.) Marlon Dumas; Reiko Heckel

Berlin Springer New York c2008

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

10
Formal methods for industrial critical systems 12th international workshop, FMICS 2007, Berlin Germany, July 1-2, 2007
Formal methods for industrial critical systems 12th international workshop, FMICS 2007, Berlin Germany, July 1-2, 2007
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal methods for industrial critical systems 12th international workshop, FMICS 2007, Berlin Germany, July 1-2, 2007

International Workshop on Formal Methods for Industrial Critical Systems (12th 2007 Berlin, Germany) Stefan Leue; Pedro Merino

Berlin Springer London 2008

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

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (73)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (251)
  2. Artigos  (2)
  3. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1994  (6)
  2. 1994Até1997  (34)
  3. 1998Até2003  (17)
  4. 2004Até2008  (190)
  5. Após 2008  (7)
  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.