Refinement techniques in software engineering First Pernambuco Summer School on Software Engineering, PSSE 2004 Recife, Brazil, November 23-December 5, 2004 : revised lectures
Pernambuco Summer School on Software Engineering (1st 2004 Recife, Brazil) Ana Cavalcanti; Augusto Sampaio; Jim Woodcock
Berlin Springer New York c2006
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.3167 ) e outros locais(Acessar)
Automotive software connected services in mobile networks : First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004 : revised selected papers
Automotive Software Workshop (1st 2004 San Diego, Calif.) M Broy 1949; Ingolf H Kr uger; Michael Meisinger
Berlin Springer New York c2006
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.4147 ) e outros locais(Acessar)
Fundamental approaches to software engineering First International Conference, FASE '98 held as part of the joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings
FASE'98( 1998 Lisbon, Portugal) E Astesiano 1939- (Egidio); European Conference on Theory and Practice of Software (1998 Lisbon, Portugal)
Berlin New York Springer c1998
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1382 ) e outros locais(Acessar)
Software engineering ESEC/FSE '97 : 6th European Software Engineering Conference held jointly with the 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Zurich, Switzerland, September 22-25, 1997 : proceedings
ESEC/FSE'97 (1997 Zurich Switzerland) Mehdi Jazayeri; Helmut Schauer 1943-; European Software Engineering Conference (6. 1997 Zurich, SZ); Acm Sigsoft Symposium on the Foundations of Software Engineering (5. 1997 Zurich, SZ)
Berlin Springer New York c1997
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1301 ) e outros locais(Acessar)
Component-based software engineering 9th international symposium, CBSE 2006, V aster as, Sweden, June 29 - July 1, 2006 : proceedings
CBSE 2006 (2006 V aster as, Sweden) Ian Gorton; George T Heineman; Ivica Crnkovic; Heinz Wilhelm Schmidt; Judith A Stafford; Clemens A Szyperski; Kurt Wallnau
Berlin Springer-Verlag c2006
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.4063 ) e outros locais(Acessar)