Sérgio Soares D.Sc. in Computer Science, Informatics Center, CIn - UFPE, October, 2004. M.Sc. in Computer Science, Informatics Center, CIn - UFPE, February, 2001. B.Sc. in Computer Science, Informatics Department, DI - UFPE, July, 1999.

Current Positions

• Associate Professor, Department of Computing and Systems, University of Pernambuco (DSC-UPE).

Courses

At DSC-UPE

• Empirical Software Engineering (in portuguese) - Graduate in Computer Engineering (since 2007.1)
• Software Engineering (in portuguese) - Graduate in Computer Engineering (since 2006.2)
• Object-Oriented Programming (in portuguese) - Undergraduate in Computer Engineering (since 2006.1)
• Concurrency (in portuguese) - Undergraduate in Computer Engineering (2004.2 to 2005.2)
• Software Engineering (in portuguese) - Undergraduate in Computer Engineering (2004.2 to 2006.1)
• Funcional Programming (in portuguese) - Undergraduate in Computer Engineering (2004.2 to 2006.1)

At other institutions

• Aspect-Oriented Programming with AspectJ (in english) - TALP1 - Graduate in Computer Science - CIn-UFPE
• Object-Oriented Programming and Java (in portuguese) - LP3 - Undergraduate in Computer Science - CIn-UFPE
• Functional Programming (in portuguese) - LP2 - Undergraduate in Computer Science - CIn-UFPE
• Algorithms, Data Structures and Imperative Programming (C) (in portuguese) - LP2 - Undergraduate in Statistics - CIn-UFPE
• Object-Oriented Programming and Java (in portuguese) - POO - Undergraduate in Computer Science - DEI-UNICAP
• Aspect-Oriented Software Devlopment (in portuguese) - TAC - Undergraduate in Computer Science - DEI-UNICAP
• Software Engineering (in portuguese) - ES - Undergraduate in Computer Science - DEI-UNICAP

Seminars

• Aspect-Oriented Programming (in portuguese)
• Pipocas-talk
• GENTe - Group of Studies on New Technologies
  • Servlets (in portuguese) - Example (01/10/1999)
  • Jass, Java with Assertions (in portuguese) - Example (19/10/1999)
  • Concurrent systems with CSP and Java (in portuguese) - Example (31/03/2000)
  • Verifying Properties of Concurrent Java Programs (in portuguese) (07/07/2000)
  • Removing synchronization of programs in Java (in portuguese) (19/10/2000)
  • Hyper/J: multi-dimensional separation of concerns will be Java (in portuguese) (14/12/2000)
  • Integrating Java with the 02 (in portuguese) (26/04/2001)

Areas of interest

• Aspect-oriented software development.
• Analysis, Project, and Object-oriented Programming.
• Software Engineering.
• Separation of concerns.
• Programming languages.
• Design Patterns.
• Concurrent and Distributed systems.
• Internet and WWW.

Projects

• Progressive development of object-oriented concurrent programs (in portuguese)
• Progressive implementation based in new programming paradigms (Aspect-Oriented Programming)
• Toll support for Mobile Application Product Lines
• MPhyScaS – Multi-Physics and Multi-Scale Solver Environment

2008 Publications

1. Henrique Rebêlo, Sérgio Soares, Ricardo Lima, Paulo Borba, Márcio Cornélio. JML and Aspects: The Benefits of Instrumenting JML Features with AspectJ. Specification and Verification of Component-Based Systems (SAVCBS'08), Workshop at the 16th International Symposium on the Foundations of Software Engineering (FSE 16). Atlanta, USA, November 2008.
2. Marcelo Moura, Sergio Soares, Fernando Castor Filho, Mario Monteiro, Philip Greenwood, Alessandro Garcia, Elliackin Figueiredo, Diego Araujo. Towards a Framework for Guiding Aspect-Oriented Software Maintenance Empirical Studies. 2nd Workshop on Assessment of Contemporary Modularization Techniques (ACoM.08) at the 23th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, OOPSLA'08. Nashville, USA, October 2008. To appear.
3. Sergio Soares, Fernando Calheiros, Vilmar Nepomuceno, Andrea Menezes, Paulo Borba, Vander Alves. Supporting Software Product Lines Development: FLiP - Product Line Derivation Tool. OOPSLA 2008 Demonstration Track. Companion of 23th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, OOPSLA'08. Nashville, USA, October 2008. To appear.
4. Thais Batista, Maria Cecilia Bastarrica, Sergio Soares, Lyrene Fernandes. A Marriage of MDD and Early Aspects in Software Product Line Development. Early Aspects Workshop at 12th International Software Product Line Conference, SPLC 2008. Limerick, Ireland, v.2. pp. 97 - 104, September 2008.
5. Vander Alves, Fernando Calheiros, Vilmar Nepomuceno, Andrea Menezes, Sérgio Soares, Paulo Borba. FLiP: Managing Software Product Line Extraction and Reaction with Aspects. Demo section at 12th International Software Product Line Conference, SPLC 2008. Limerick, Ireland, p.354 - 354, September 2008.
6. Mário Monteiro, Marcelo Moura, Sérgio Soares, Fernando Castor Filho. Towards an Analysis of Layering Violations in Aspect-Oriented Software Architectures. ADI 2008 - Workshop on Aspects, Dependencies, and Interactions at 22nd European Conference on Object-Oriented Programming, ECOOP 2008. Paphos, Cyprus, July 2008.
7. Liana Silva, Célio Santana, Fernando Rocha, Maíra Paschoalino, Gabriel Falconieri, Lúcio Ribeiro, Renata Medeiros, Sérgio Soares, Cristine Gusmão. Applying XP to an Agile Inexperienced Software Development Team. 9th International Conference on Agile Processes and eXtreme Programming in Software Engineering (XP2008). Limerick, Ireland, June 2008. Spring-Verlag LNBIP v.9, 2008. p.114 - 126.
8. Eduardo Figueiredo, Nelio Cacho, Claudio Sant'Anna, Mario Monteiro, Uira Kulesza, Alessandro Garcia, Sergio Soares, Fabiano Ferrari, Safoora Khan, Fernando Filho, Francisco Dantas. Evolving Software Product Lines with Aspects: An Empirical Study on Design Stability. In: 30th International Conference on Software Engineering ICSE'08, p. 261-270, 2008, Leipzig.
9. César Oliveira, Fernando Rocha, Renata Medeiros, Ricardo Lima, Sérgio Soares, Félix Santos, Ismael H. S. Santos . Dynamic Interface for Muilti-physics Simulators. International Journal of Modelling and Simulation for the Petroleum Industry, v. 2, n. 1, p. 35-42, 2008. ISSN 1982-6036.
10. Henrique Rebêlo, Ricardo Lima, Márcio Cornélio, Sérgio Soares. A JML compiler based on AspectJ. First International Conference on Software Testing, Verification and Validation - ICST 2008, p. 541-544. Lillehammer, Norway, p. .541 - 544, April 2008.
11. Rodrigo Bonifacio, Paulo Borba, Sérgio Soares. On the Benefits of Scenario Variability as Crosscutting. Early Aspects Workshop at Seventh International Conference on Aspect-Oriented Software Development, AOSD.08. Brussels, Belgium, March/April 2008.
12. Paulo Borba, Fernando Calheiros, Vilmar Nepomuceno, Andrea Menezes, Sérgio Soares, Vander Alves. FLiP – Product Line Derivation Tool. Forum Demonstration at Seventh International Conference on Aspect-Oriented Software Development, AOSD.08. Brussels, Belgium, March/April 2008.
13. Henrique Rebêlo, Ricardo Lima, Márcio Cornélio, Sérgio Soares, Leopoldo Ferreira. Implementing Java Modeling Language Contracts with AspectJ. 23rd Annual ACM Symposium on Applied Computing, SAC'08, p. 228-233. Fortaleza, Brazil, March 2008.

Previous Publications (1999-2007)

DBLP

Curriculum Vitae

• Lates CNPq (in portuguese)

Address

E-mail: sergio