Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Formal Foundations for Software Engineering MethodsHeinrich HussmannSpringer Berlin Heidelberg 1997Acesso online. A biblioteca também possui exemplares impressos. |
2 |
Material Type: Livro
|
![]() |
Fundamental approaches to software engineeringInternational Conference on Fundamental Approaches to Software Engineering, FASE'99, 2 1999 Amsterdam Jean-Pierre Finance; European Joint Conferences on Theory and Practiceof Software, ETAPS'99Goos, G., ed; Hartmanis, J., ed; Leeuwen, J. Van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, c1985-Berlin Springer-Verlag c1999Localização: IFSC - Inst. Física de São Carlos (P621.38195 L471 v.1577 )(Acessar) |
3 |
Material Type: Artigo de Congresso
|
![]() |
Adapting a software product line engineering process for certifying safety critical embedded systemsRosana Teresinha Vaccare Braga Onofre Trindade Junior; Kalinka Regina Lucas Jaquie Castelo Branco; Luciano de Oliveira Neris; Jaejoon Lee; International Conference on Computer Safety, Reliability and Security (31. 2012 Magdeburg, Germany)Lecture Notes in Computer Science Berlin : Springer-Verlag v. 7612, p. 352-363, 2012Berlin, Heidelberg Springer-Verlag 2012Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2311301 ) e outros locais(Acessar) |
4 |
Material Type: Livro
|
![]() |
Software engineering ESEC'95European Software Engineering Conference, 5 1995 Sitges Wielhelm Schafer; Pere BotellaGoos, G., ed; Hartmanis, J., ed; Leeuwen, J. van, ed Lecture notes in computer science Berlin, Springer-Verlag, c1985-Berlin Springer-Verlag c1995Localização: IFSC - Inst. Física de São Carlos (P621.38195 L471 v.989 )(Acessar) |
5 |
Material Type: Livro
|
![]() |
Software engineering-ESEC/FSE'97European Software Engineering Conference, ESEC'97, 6 1997 Zurich Mehdi Jazayeri; Helmut Schauer; ACM SIGSOFT Symposium on the Foundations of Software Engineering, FSE'97, 5Goos, G., ed; Hartmanis, J., ed; Leeuwen, J. Van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, c1985-Berlin Springer-Verlag c1997Localização: IFSC - Inst. Física de São Carlos (P621.38195 L471 v.1301 )(Acessar) |
6 |
Material Type: Artigo de Congresso
|
![]() |
Enabling continuous software engineering for embedded systems architectures with virtual prototypesPablo Oliveira Antonino Matthias Jung; Andreas Morgenstern; Florian Faßnacht; Thomas Bauer; Adam Bachorek; Thomas Kuhn; Elisa Yumi Nakagawa; European Conference on Software Architecture - ECSA 2018 (12. 2018 Madri, Espanha)Lecture Notes in Computer Science Cham : Springer v. 11048, p. 115-130, 2018Cham Springer Nature Switzerland AG 2018Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2917108 )(Acessar) |
7 |
Material Type: Artigo de Congresso
|
![]() |
Variability management in safety-critical software product line engineeringAndré Luiz Oliveira Rosana Teresinha Vaccare Braga; Paulo Cesar Masiero; Yiannis Papadopoulos; Ibrahim Habli; Tim Kelly; International Conference on Software Reuse - ICSR (17. 2018 Madrid)Lecture Notes in Computer Science Cham : Springer v. 10826, p. 3-22Cham Springer 2018Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2937467 )(Acessar) |
8 |
Material Type: Livro
|
![]() |
Requirements targeting software and systems engineeringInternational Workshop on Requirements Targeting Software and Systems Engineering, RTSE'98 1997 Bernried Manfred Broy; Bernhard RumpeGoos, G., ed; Hartmanis, J., ed; Leeuwen, J. Van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, c1985-Berlin Springer-Verlag c1998Localização: IFSC - Inst. Física de São Carlos (P621.38195 L471 v.1526 )(Acessar) |
9 |
Material Type: Livro
|
![]() |
Fundamental approaches to software engineeringInternational Conference on Fundamental Approaches to Software Engineering,3, FASE 2000 2000 Berlin Tom Maibaum; European Joint Conferences on Theory and Practiceof software, ETAPS 2000Goos, G., ed; Hartmanis, J., ed; Leeuwen, J. van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, c1985-Berlin Springer-Verlag c2000Localização: IFSC - Inst. Física de São Carlos (P621.38195 L471 v.1783 )(Acessar) |
10 |
Material Type: Artigo de Congresso
|
![]() |
From specification to experimentation a software component search engine architectureVinicius Cardoso Garcia Daniel Lucrédio; Frederico Araujo Durão; Eduardo Cruz Reis Santos; Eduardo Santana de Almeida; Renata Pontin de Mattos Fortes; Silvio Romero de Lemos Meira; International Symposium on Component-Based Software Engineering - CBSE (9. 2006 Västeras, Sweden)Lecture Notes in Computer Science Berlin : Springer-Verlag v. 4063, p. 82-97, 2006Berlin Springer-Verlag 2006Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2900920 )(Acessar) |