Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Concurrency, graphs and models essays dedicated to Ugo Montanari on the occasion of his 65th birthdayUgo Montanari; Pierpaolo Degano 1950-; Rocco De Nicola; José MeseguerBerlin Springer New York c2008Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v5065 ) e outros locais(Acessar) |
2 |
Material Type: Livro
|
![]() |
Writing scientific software a guide for good styleSuely Oliveira David E Stewart (David Edward) 1961-Cambridge Cambridge University Press c2006Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (004.413 OL4w ) e outros locais(Acessar) |
3 |
Material Type: Livro
|
![]() |
Advances in software engineering and knowledge engineeringVincenzo Ambriola; Genoveffa Tortora; International Conference on Software Engineering and Knowledge Engineering (4th 1992 Capri, Italy)Singapore World Scientific River Edge, NJ c1993Localização: IF - Instituto de Física (005.1 A495a )(Acessar) |
4 |
Material Type: Livro
|
![]() |
Object-oriented software engineering a use case driven approachIvar JacobsonWokingham, Eng. Reading, Mass. Addison-Wesley Pub. c1992Localização: EPBC - Esc. Politécnica-Bib Central (004.045 J158o ) e outros locais(Acessar) |
5 |
Material Type: Livro
|
![]() |
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 papersInternational 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 c2007Localização: IME - Inst. Matemática e Estatística (S L471c v.4346 )(Acessar) |
6 |
Material Type: Livro
|
![]() |
Managing software engineering knowledgeAybüke Aurum 1957-; Ross Jeffery; Claes Wohlin; Meliha HandzicBerlin Springer New York 2003Localização: ICMC - Inst. Ciên. Mat. Computação (68N30.45 M266 e.1 ) e outros locais(Acessar) |
7 |
Material Type: Livro
|
![]() |
Models in software engineering workshops and symposia at MoDELS 2006, Genoa, Italy October 1-6, 2006 : reports and revised selected papersMoDELS 2006 (2006 Genoa, Italy) Thomas KühneBerlin Springer New York c2007Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4364 ) e outros locais(Acessar) |
8 |
Material Type: Livro
|
![]() |
QED at Large: A Survey of Engineering of Formally Verified SoftwareRinger, Talia ; Palmskog, Karl ; Sergey, Ilya ; Gligoric, Milos ; Tatlock, ZacharyFoundations and trends in programming languages, 2019, Vol.5 (2-3), p.102-281 [Periódico revisado por pares]Boston - Delft: Now PublishersTexto completo disponível |
9 |
Material Type: Livro
|
![]() |
Process Mining: Discovery, Conformance and Enhancement of Business ProcessesAalst, Wil M. P. van derBerlin, Heidelberg: Springer-Verlag 2011Texto completo disponível |
10 |
Material Type: Artigo
|
![]() |
Serverless Applications: Why, When, and How?Eismann, Simon ; Scheuner, Joel ; van Eyk, Erwin ; Schwinger, Maximilian ; Grohmann, Johannes ; Herbst, Nikolas ; Abad, Cristina L. ; Iosup, AlexandruIEEE software, 2021-01, Vol.38 (1), p.32-39 [Periódico revisado por pares]Los Alamitos: IEEETexto completo disponível |