Talks and Posters

Domain Specific Languages

Empirical Software Engineering

Refactoring and Formal Methods

Aspect-Oriented Software Development, Separation of Concerns, Refactoring

Aspect-Oriented Software Development and Software Product Lines

Testing and Estimation Models

Miscellaneous


Aspect-Oriented Software Development and Software Product Lines

  • V. Alves, R. Gheyi, T. Massoni, U. Kulesza, Paulo Borba, C. Lucena. Refactoring Product Lines. 5th ACM International Conference on Generative Programming and Component Engineering (GPCE'06)

[Domain Specific Languages]

  • Paulo Borba, Leopoldo Teixeira, Márcio Ribeiro. Definição e Implementação de Linguagens Específicas de Domínio (Defining and Implementing Domain-Specific Languages, in portuguese). Short Course of the Brazilian Conference on Software: Theory and Practice, September 27 - October 01, 2010 - Salvador, BA - Brasil (pdf)

[Empirical Software Engineering]

  • Eduardo Aranha, Cristiano Ferraz, Paulo Borba. Projeto de Experimentos em Engenharia de Software (Design of Experiments in Software Engineering, in portuguese). Tutorial of the XXIII Brazilian Symposium on Software Engineering, October 05-09, 2009 - Fortaleza, CE - Brasil (pdf)

Refactoring and Formal Methods

[Gheyi07]
Rohit Gheyi. A refinement theory for alloy. PhD thesis defense, August 2007. [ .pdf ]
[Gheyi07b]
Rohit Gheyi. Fornally introducing alloy idioms. Brazilian Symposium on Formal Methods (SBMF), August 2007. [ .pdf ]
[Gheyi07c]
Rohit Gheyi. A refinement theory for alloy. PhD thesis, August 2007. [ .pdf ]
[Gheyi06]
Rohit Gheyi. A formal framework for establishing conformance between object models and object-oriented programs. Brazilian Symposium on Formal Methods (SBMF), September 2006. [ .pdf ]
[Gheyi06b]
Rohit Gheyi. An approach to invariant-based program refactoring. Software Evolution through Transformations: Embracing the Change, September 2006. [ .pdf ]
[Gheyi06c]
Rohit Gheyi. Sound object model refactorings. Doctoral Symposium at Formal Methods 2006, August 2006. [ .PDF ]
[Gheyi05]
Rohit Gheyi. Type-safe refactorings for alloy. Brazilian Symposium on Formal Methods (SBMF), November 2005. [ .pdf ]
[Gheyi05b]
Rohit Gheyi. Formal refactorings for object models. OOPSLA 2005 (Student Research Competition), October 2005. [ .pdf ]
[Massoni05]
Tiago Massoni. A model-driven approach to program refactoring. OOPSLA 2005 (Poster Session), October 2005. [ .pdf ]
[Massoni05b]
Tiago Massoni. Formal refactoring for uml class diagrams. 19th Brazilian Symposium on Software Engineering (SBES), October 2005. [ .pdf ]
[Borba04]
Paulo Borba. An abstract equivalence notion for object models. Brazilian Symposium on Formal Methods (SBMF), November 2004. [ .pdf ]
[Gheyi04]
Rohit Gheyi. Basic laws of object modeling. Third Specification and Verification of Component-Based Systems (SAVCBS), affiliated with ACM SIGSOFT 2004/FSE-12, October 2004. [ .pdf ]
[Massoni04]
Tiago Massoni. A uml class diagram analyzer. Third Workshop on Critical Systems Development with UML, affiliated with UML Conference, October 2004. [ .pdf ]
[Gheyi04b]
Rohit Gheyi. Basic laws of object modeling. Master's thesis, February 2004. [ .pdf ]
[Gheyi03]
Rohit Gheyi. Refactoring alloy specifications. Sixth Brazilian Workshop on Formal Methods (WMF), October 2003. [ .pdf ]
[Borba03]
Paulo Borba. A refinement algebra for object-oriented programming. 17th European Conference on Object-Oriented Programming (ECOOP), July 2003. [ .pdf ]

Aspect-Oriented Software Development, Separation of Concerns, Refactoring

  • Alberto Costa Neto. Specifying Design Rules in Aspect-Oriented Systems. 1st Latin American Workshop on Aspect-Oriented Software Development LA-WASP´2007, October 15-16, 2007 - João Pessoa, Paraíba - Brasil (pdf)

  • Sérgio Soares. Desenvolvimento de Software Orientado a Aspectos: Será que vai pegar?. C.E.S.A.R's Seminars. 05/09/2007. C.E.S.A.R, Recife-PE, Brazil. (pdf)

  • Alberto Costa Neto, Márcio de Medeiros Ribeiro, Marcos Dósea, Rodrigo Bonifácio, Paulo Borba, and Sérgio Soares. Semantic Dependencies and Modularity of Aspect-Oriented Software. In 1st Workshop on Assessment of Contemporary Modularization Techniques (ACoM'07), in conjunction with the 29th International Conference on Software Engineering (ICSE'07), Minneapolis, USA, May 2007

  • Alberto Costa Neto. Declaring Static Crosscutting Dependencies in AspectJ. 3rd Brasilian Workshop on Aspect-Oriented Software Development (WASP'06) at SBES'06 (pdf). Florianópolis-SC, Brazil, 17/10/2006.

  • Sérgio Soares. Aspect-Oriented Programming. Sun Tech Days 2006. April 11, 2006. ITEP, Recife-PE, Brazil. (pdf)

  • Leonardo Cole and Paulo Borba. Deriving Refactorings for AspectJ. In 4th International Conference on Aspect-Oriented Software Development - AOSD'05. Chicago, USA, March 2005 (ppt).

  • Leonardo Cole and Paulo Borba. Deriving Refactorings for AspectJ. OOPSLA �04: Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications. Poster Session. October 2004, pp. 202�203, ACM Press (extended abstract).

  • Leonardo Cole. RUP Based Analysis and Design with Aspects at XVIII Brazilian Symposium on Software Engineering (SBES'04) (pdf). Brasília-DF, Brazil, 22/10/2004.

  • Leonardo Cole. Using Programming Laws to Modularize Concurrency in a Replicated Database Application. 1st Brasilian Workshop on Aspect-Oriented Software Develpment (WASP'04) at SBES'04 (pdf). Brasília-DF, Brazil, 18/10/2004.

  • Sérgio Soares. Desenvolvimento de Software Orientado a Aspectos utilizando RUP e AspectJ (pdf). Tutorial do SBES 2004, Brasília-DF, 20/10/2004.

  • Sérgio Soares. SPG - Software Productivity Group (ppt). Semana de Iniciação Científica (SIC), Recife-PE, 16/06/2004.

  • Ayla Souza. Developing Adaptive J2ME Applications Using AspectJ (ppt). 7th Brazilian Symposium on Programming Languages, SBLP'2003, Ouro Preto, Brazil, 28th May 2003.

Testing and Estimation Models

  • Eduardo Aranha and Paulo Borba. Test Execution Effort and Capacity Estimation. The 21st International Forum on COCOMO and Software Cost Modeling. November 7-9, Herndon, Virginia, USA, 2006.

Miscellaneous

  • Paulo Borba. Construção de software e suas linguagens. August 10, 2006. FBV, Recife-PE, Brazil. (ppt)

-- PauloBorba - 14 Feb 2012 --Main.AlbertoNeto 16 Oct 2007 -- SergioSoares - 05 Sep 2007 -- AlbertoNeto - 24 Apr 2007 -- EduardoAranha - 24 Mar 2007 -- AlbertoNeto - 29 Aug 2006 -- SergioSoares - 10 Apr 2006 -- RohitGheyi - 03 Nov 2005 -- SergioSoares - 16 Jun 2004

Topic revision: r46 - 2012-02-14 - PauloBorba
 
This site is powered by the TWiki collaboration platformCopyright © 2008-2025 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback

mersin escort bayan adana escort bayan izmit escort ankara escort bursa escort