skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: assunto: Computer Software remover assunto: Software Engineering remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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)

2
Writing scientific software a guide for good style
Writing scientific software a guide for good style
Material Type:
Livro 		Adicionar ao Meu Espaço

Writing scientific software a guide for good style

Suely Oliveira David E Stewart (David Edward) 1961-

Cambridge Cambridge University Press c2006

Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval    (004.413 OL4w ) e outros locais(Acessar)

3
Advances in software engineering and knowledge engineering
Advances in software engineering and knowledge engineering
Material Type:
Livro 		Adicionar ao Meu Espaço

Advances in software engineering and knowledge engineering

Vincenzo Ambriola; Genoveffa Tortora; International Conference on Software Engineering and Knowledge Engineering (4th 1992 Capri, Italy)

Singapore World Scientific River Edge, NJ c1993

Localização: IF - Instituto de Física    (005.1 A495a )(Acessar)

4
Object-oriented software engineering a use case driven approach
Object-oriented software engineering a use case driven approach
Material Type:
Livro 		Adicionar ao Meu Espaço

Object-oriented software engineering a use case driven approach

Ivar Jacobson

Wokingham, Eng. Reading, Mass. Addison-Wesley Pub. c1992

Localização: EPBC - Esc. Politécnica-Bib Central    (004.045 J158o ) e outros locais(Acessar)

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

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

7
Models in software engineering workshops and symposia at MoDELS 2006, Genoa, Italy October 1-6, 2006 : reports and revised selected papers
Models in software engineering workshops and symposia at MoDELS 2006, Genoa, Italy October 1-6, 2006 : reports and revised selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Models in software engineering workshops and symposia at MoDELS 2006, Genoa, Italy October 1-6, 2006 : reports and revised selected papers

MoDELS 2006 (2006 Genoa, Italy) Thomas Kühne

Berlin Springer New York c2007

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

8
QED at Large: A Survey of Engineering of Formally Verified Software
QED at Large: A Survey of Engineering of Formally Verified Software
Material Type:
Livro 		Adicionar ao Meu Espaço

QED at Large: A Survey of Engineering of Formally Verified Software

Ringer, Talia ; Palmskog, Karl ; Sergey, Ilya ; Gligoric, Milos ; Tatlock, Zachary

Foundations and trends in programming languages, 2019, Vol.5 (2-3), p.102-281 [Periódico revisado por pares]

Boston - Delft: Now Publishers

Texto completo disponível

Citações Citado por
9
Process Mining: Discovery, Conformance and Enhancement of Business Processes
Process Mining: Discovery, Conformance and Enhancement of Business Processes
Material Type:
Livro 		Adicionar ao Meu Espaço

Process Mining: Discovery, Conformance and Enhancement of Business Processes

Aalst, Wil M. P. van der

Berlin, Heidelberg: Springer-Verlag 2011

Texto completo disponível

Citações Citado por
10
Serverless Applications: Why, When, and How?
Serverless Applications: Why, When, and How?
Material Type:
Artigo 		Adicionar ao Meu Espaço

Serverless Applications: Why, When, and How?

Eismann, Simon ; Scheuner, Joel ; van Eyk, Erwin ; Schwinger, Maximilian ; Grohmann, Johannes ; Herbst, Nikolas ; Abad, Cristina L. ; Iosup, Alexandru

IEEE software, 2021-01, Vol.38 (1), p.32-39 [Periódico revisado por pares]

Los Alamitos: IEEE

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (1.652)
  2. Artigos  (622)
  3. Conjunto de Dados  (115)
  4. Videos  (110)
  5. Anais de Congresso  (107)
  6. Imagens  (32)
  7. Book Chapters  (26)
  8. magazinearticle  (15)
  9. Resenhas  (1)
  10. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1984  (24)
  2. 1984Até1993  (163)
  3. 1994Até2003  (626)
  4. 2004Até2014  (1.612)
  5. Após 2014  (801)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (2.677)
  2. Japonês  (38)
  3. Alemão  (14)
  4. Norueguês  (3)
  5. Português  (2)
  6. Italiano  (1)
  7. Espanhol  (1)
  8. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.