See Copyright

Publications

Aspect-Oriented Software Development and Software Product Lines

Refactoring and Formal Methods

Empirical Software Engineering

Aspect-Oriented Software Development, Separation of Concerns, Refactoring

Program Transformation, Generative Programming

Software Test and Estimation Models

Pim (Progresive implementation method)

Miscellaneous


Aspect-Oriented Software Development and Software Product Lines

2013

[BoddenEtal13]
Eric Bodden, Társis Tolêdo, Márcio Ribeiro, Claus Brabrand, Paulo Borba, and Mira Mezini. Spllift: statically analyzing software product lines in minutes instead of years. SIGPLAN Not., 48(6):355-364, June 2013. [ DOI | http ]
[BrabrandEtal13]
Claus Brabrand, Márcio Ribeiro, Társis Tolêdo, Johnni Winther, and Paulo Borba. Intraprocedural dataflow analysis for software product lines. 7800:73-108, 2013. [ DOI | http ]
[NetoEtal13]
Alberto Costa Neto, Rodrigo Bonifácio, Márcio Ribeiro, Carlos Eduardo Pontual, Paulo Borba, and Fernando Castor. A design rule language for aspect-oriented programming. Journal of Systems and Software, 86(9):2333 - 2356, 2013. [ DOI | http ]
[BoddenEtal13b]
Eric Bodden, Társis Tolêdo, Márcio Ribeiro, Claus Brabrand, Paulo Borba, and Mira Mezini. Spllift: statically analyzing software product lines in minutes instead of years. In Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation, PLDI '13, pages 355-364, New York, NY, USA, 2013. ACM. [ DOI | http ]
[TeixeiraEtal13]
Leopoldo Teixeira, Paulo Borba, and Rohit Gheyi. Safe composition of configuration knowledge-based software product lines. Journal of Systems and Software, 86(4):1038 - 1053, 2013. Special Issue : Software Engineering in Brazil: Retrospective and Prospective Views. [ DOI | http ]
[AlferezEtal13]
Mauricio Alferez, Rodrigo Bonifacio, Leopoldo Teixeira, Paola Accioly, Uira Kulesza, Paulo Borba, Ana Moreira, and Joao Araujo. Evaluating scenario-based spl requirements approaches - the case for modularity, stability and expressiveness. Requirements Engineering Journal, To appear, 2013.
[PassosEtal13]
Leonardo Passos, Jianmei Guo, Leopoldo Teixeira, Krzysztof Czarnecki, Andrezj Wasowski, and Paulo Borba. Coevolution of variability models and related artifacts: A case study from the linux kernel. In 17th International Software Product Line Conference. ACM, ACM, To appear 2013.
[AndradeEtal13]
Rodrigo Andrade, Henrique Rebelo, Marcio Ribeiro, and Paulo Borba. Aspectj-based idioms for flexible feature binding. In Proceedings of the Brazilian Symposium on Software Components, Architectures and Reuse, 2013. [ .pdf ]
[MeloBorba13]
Jean Melo and Paulo Borba. Improving modular reasoning on preprocessor-based systems. In Proceedings of the Brazilian Symposium on Software Components, Architectures and Reuse, 2013. [ .pdf ]

2012

[RibeiroEtal12]
Márcio Ribeiro, Felipe Queiroz, Paulo Borba, Társis Tolêdo, Claus Brabrand, and Sérgio Soares. On the impact of feature dependencies when maintaining preprocessor-based software product lines. SIGPLAN Not., 47(3):23-32, October 2012. [ DOI | http ]
[BorbaEtal12]
Paulo Borba, Leopoldo Teixeira, and Rohit Gheyi. A theory of software product line refinement. Theoretical Computer Science, 455(0):2 - 30, 2012. Special Issue: International Colloquium on Theoretical Aspects of Computing 2010. [ DOI | http ]
[dAmorimBorba12]
Fernanda d'Amorim and Paulo Borba. Modularity analysis of use case implementations. Journal of Systems and Software, 85(4):1012 - 1027, 2012. [ DOI | http ]
[QueirozEtal12]
Felipe Queiroz, Márcio Ribeiro, Sérgio Soares, and Paulo Borba. Towards a better understanding of feature dependencies in preprocessor-based systems. 6th Latin American Workshop on Aspect-Oriented Software Development (LA-WASP) 2012, 2012.
[BrabrandEtal12]
Claus Brabrand, Márcio Ribeiro, Társis Toledo, and Paulo Borba. Intraprocedural dataflow analysis for software product lines. In Proceedings of the 11th International ACM Conference on Aspect-Oriented Software Development (AOSD 2012), New York, NY, USA, 2012. ACM. [ .pdf ]
[RibeiroEtal12b]
Márcio Ribeiro, Társis Toledo, Johnni Winther, Claus Brabrand, and Paulo Borba. Emergo: A tool for improving maintainabiliy of preprocessor-based product lines. In Proceedings of the 11th International ACM Conference on Aspect-Oriented Software Development (AOSD 2012), Companion, Demo Track, New York, NY, USA, 2012. ACM. [ .pdf ]
[AcciolyEtal12]
Paola Accioly, Paulo Borba, and Rodrigo Bonifacio. Comparing two black-box testing strategies for software product lines. In Proceedings of the 2012 Sixth Brazilian Symposium on Software Components, Architectures and Reuse, Washington, DC, USA, 2012. IEEE Computer Society. [ .pdf ]
[FerreiraEtal12]
Felype Ferreira, Paulo Borba, Gustavo Soares, and Rohit Gheyi. Making software product line evolution safer. In Proceedings of the 2012 Sixth Brazilian Symposium on Software Components, Architectures and Reuse, Washington, DC, USA, 2012. IEEE Computer Society. [ .pdf ]

2011

[TeixeiraEtal11]
Leopoldo Teixeira, Rohit Gheyi, and Paulo Borba. Safe composition of configuration knowledge-based software product lines. In Proceedings of the 25th Brazilian Symposium on Software Engineering (SBES 2011), in conjunction with the 2nd Brazilian Congress on Software (CBSoft 2011), Sao Paulo-SP, Brazil, September 2011. [ .pdf ]
[RibeiroEtal11]
Márcio Ribeiro, Felipe Queiroz, Társis Toledo, Claus Brabrand, Paulo Borba, and Sérgio Soares. On the impact of feature dependencies when maintaining preprocessor-based software product lines. In Proceedings of the 10th International Conference on Generative Programming and Component Engineering (GPCE 2011), New York, NY, USA, 2011. ACM. [ .pdf ]
[NevesEtal11]
Lais Neves, Leopoldo Teixeira, Demóstenes Sena, Vander Alves, Uirá Kulesza, and Paulo Borba. Investigating the safe evolution of software product lines. In Proceedings of the 10th International Conference on Generative Programming and Component Engineering (GPCE 2011), New York, NY, USA, 2011. ACM. [ .pdf ]
[RibeiroEtal11b]
Márcio Ribeiro, Társis Toledo, Paulo Borba, and Claus Brabrand. A tool for improving maintainabiliy of preprocessor-based product lines. In Tools Session of the 2nd Brazilian Congress on Software (CBSoft 2011), 2011. [ .pdf ]
[AndradeEtal11]
Rodrigo Andrade, Marcio Ribeiro, Vaidas Gasiunas, Lucas Satabin, Henrique Rebelo, and Paulo Borba. Assessing idioms for implementing features with flexible binding times. In Proceedings of the 2011 15th European Conference on Software Maintenance and Reengineering, pages 231-240, 2011. [ .pdf ]

2010

[RibeiroEtal10]
Márcio Ribeiro, Humberto Pacheco, Leopoldo Teixeira, and Paulo Borba. Emergent feature modularization. In Proceedings of Onward! ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH 2010), pages 11-18, New York, NY, USA, 2010. ACM. [ .pdf ]
[RibeiroBorba10]
Márcio Ribeiro and Paulo Borba. Towards feature modularization. In Doctoral Symposium of the ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH'10), pages 225-226, New York, NY, USA, 2010. ACM. [ .pdf ]

2009

[RibeiroEtal09]
Márcio Ribeiro, Rodrigo Cardoso, Paulo Borba, Rodrigo Bonifácio, and Henrique Rebêlo. Does aspectj provide modularity when implementing features with flexible binding times? In 3rd Latin American Workshop on Aspect-Oriented Software Development (LA-WASP 2009), in conjunction with XXIII Brazilian Symposium on Software Engineering (SBES 2009), Fortaleza-CE, Brazil, October 2009. To appear. [ .pdf ]
[BonifacioEtal09]
Rodrigo Bonifácio, Leopoldo Teixeira, and Paulo Borba. Hephaestus: A tool for managing spl variabilities. In Tools Session of the III Brazilian Symposium on Software Components, Architectures, and Reuse (SBCARS 2009), Natal-RN, Brazil, September 2009. [ .pdf ]
[NetoEtal09]
Alberto Costa Neto, Arthur Marques, Rohit Gheyi, Paulo Borba, and Fernando Castor Filho. A design rule language for aspect-oriented programming. In XIII Brazilian Symposium on Programming Languages - SBLP'09, Gramado-RS, Brazil, August 2009. To appear. [ .pdf ]
[RibeiroBorba09]
Márcio Ribeiro and Paulo Borba. Improving guidance when restructuring variabilities in software product lines. In 13th European Conference on Software Maintenance and Reengineering (CSMR 2009), pages 79-88, Kaiserslautern, Germany, March 2009. IEEE Computer Society. [ .pdf ]
[BonifacioBorba09]
Rodrigo Bonifácio and Paulo Borba. Modeling scenario variability as crosscutting mechanisms. In 8th Aspect-Oriented Software Development Conference (AOSD.09), Charlottesville, Virginia, USA, Mar 2009. ACM. To appear. [ .pdf ]

2008

[BonifacioEtal08]
Rodrigo Bonifácio, Paulo Borba, and Sergio Soares. On the benefits of variability management as crosscutting. In Workshop on Early Aspect (EA.08). affiliated with AOSD 2008, Brussels, Belgium, April 2008. ACM. [ .pdf ]
[BorbaEtal08]
Paulo Borba, Fernando Calheiros, Vilmar Nepomuceno, Andrea Menezes, Sergio Soares, and Vander Alves. Flip ñ product line derivation tool. In Forum Demonstration at Seventh International Conference on Aspect-Oriented Software Development, AOSD.08, Brussels, Belgium, April 2008. ACM. To appear. [ .pdf ]
[RibeiroEtal08]
Márcio Ribeiro, Pedro Martos Jr., and Paulo Borba. A decision model for implementing product lines variabilities. In 23rd Annual ACM Symposium on Applied Computing (SAC 2008), pages 276-277, Fortaleza, Brazil, March 2008. ACM. [ .pdf ]
[RibeiroBorba08]
Márcio Ribeiro and Paulo Borba. Recommending refactorings when restructuring variabilities in software product lines. In 2nd Workshop on Refactoring Tools (WRT'08), in conjunction with the 23th annual ACM SIGPLAN conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2008), pages 1-4, New York, NY, USA, 2008. ACM. [ .pdf ]

2007

[SoaresEtal07]
Sergio Soares, Paulo Borba, and Ricardo Lima. Concurrency control modularization with aspect-oriented programming. In 31st Annual International Computer Software and Applications Conference COMPSAC'07, Beijin, China, July 2007. IEEE. To appear. [ .pdf ]
[GreenwoodEtal07b]
Philip Greenwood, Thiago Bartolomei, Eduardo Figueiredo, Marcos Dosea, Alessandro Garcia, Nelio Cacho, Claudio Sant'Anna, Sergio Soares, Paulo Borba, Uira Kulesza, and Awais Rashid. On the impact of aspectual decompositions on design stability: An empirical study. In 21st European Conference on Object-Oriented Programming - ECOOP'07, Berlin, Germany, July 2007. Springer-Verlag. To appear. [ .pdf ]
[GreenwoodEtal07c]
Phil Greenwood, Alessandro Garcia, Awais Rashid, Eduardo Figueiredo, Claudio SantíAnna, Nelio Cacho, Americo Sampaio, Sergio Soares, Paulo Borba, Marcos Dosea, Ricardo Ramos, Uira Kulesza, Lyrene Fernandes, Thiago Bartolomei, Monica Pinto, Lidia Fuentes, Nadia Gamez, Ana Moreira, Joao Araujo, Thais Batista, Ana Medeiros, Francisco Dantas, Ana Luisa de Medeiros, Jan Wloka, Christina Chavez, Robert France, and Isabel Brito. On the contributions of an end-to-end aosd testbed. In Early Aspects: Workshop in Aspect-Oriented Requirements Engineering and Architecture Design, affiliated with ICSE 2007, Minneapolis, USA, May 2007. To appear. [ .pdf ]
[NetoEtal07]
Alberto Costa Neto, M·rcio de Medeiros Ribeiro, Marcos DÛsea, Rodrigo Bonif·cio, and Paulo Borba e SÈrgio Soares. Semantic dependencies and modularity of aspect-oriented software. In ICSE Workshop on Assessment of Contemporary Modularization Techniques (ACoM.07), affiliated with ICSE 2007, Minneapolis, USA, May 2007. To appear. [ .pdf ]
[GreenwoodEtal07]
Phil Greenwood, Alessandro Garcia, Thiago Bartolomei, SÈrgio Soares, Paulo Borba, and Awais Rashid. On the design of an end-to-end aosd testbed for software stability. In Workshop on Assessement of Aspect-Oriented Technologies (ASAT.07), affiliated with AOSD 2007, Vancouver, Canada, March 2007. [ .pdf ]
[SoaresBorba07]
Sergio Soares and Paulo Borba. Towards reusable and modular aspect-oriented concurrency control. In 22nd Annual ACM Symposium on Applied Computing, Seoul, Korea, March 2007. ACM press. [ .pdf ]

2006

[SoaresEtal06]
Sérgio Soares, Paulo Borba, and Eduardo Laureano. Distribution and Persistence as Aspects. Software: Practice & Experience, 36(7):711-759, 2006. John Wiley & Sons. [ .pdf ]

2005

[SoaresBorba05]
Sergio Soares and Paulo Borba. Implementing modular and reusable aspect-oriented concurrency control with aspectj. In 2nd Brasilian Workshop on Aspect-Oriented Software Develpment - WASP'05 - SBES'05, Uberl‚ndia-MG, Brazil, October 2005. [ .pdf ]
[ColeBorba05]
Leonardo Cole and Paulo Borba. Deriving refactorings for aspectJ. In 4th International Conference on Aspect-Oriented Software Development - AOSD'05, Chicago, USA, March 2005. [ .pdf ]
[ColeEtal05]
Leonardo Cole, Paulo Borba, and Alexandre Mota. Proving aspect-oriented programming laws. In FOAL 2005 Proceedings: Foundations of Aspect-Oriented Langauges Workshop at AOSD 2005, Technical Report, pages 1-10. Department of Computer Science, Iowa State University, March 2005. [ .pdf ]

2004

[ColeEtal04]
Leonardo Cole, Eduardo Piveta, and Autusto Sampaio. Rup based analysis and design with aspects. In XVIII Brazilian Symposium on Software Engineering - SBES'04, pages 210-224, BrasÃŒlia-DF, Brazil, October 2004. [ .pdf ]
[SoaresBorba04]
SÈrgio Soares and Paulo Borba. Towards progressive and non-progressive implementation approaches evaluation. In 1st Experimental Software Engineering Latin American Workshop - ESELAW'04 - SBES'04, BrasÃŒlia-DF, Brazil, October 2004. [ .pdf ]
[ColeBorba04b]
Leonardo Cole and Paulo Borba. Using programming laws to modularize concurrency in a replicated database application. In 1st Brasilian Workshop on Aspect-Oriented Software Develpment - WASP'04 - SBES'04, BrasÃŒlia-DF, Brazil, October 2004. [ .pdf ]
[SoaresBorba04b]
Sérgio Soares and Paulo Borba. Aspect-oriented software development with <nop>rup and <nop>aspectj</a> (in portuguese). In Tutorial at XVIII Brazilian Symposium on Software Engineering - SBES'04, Brasília-DF, Brazil, October 2004. [ .pdf ]
[DantasEtal04]
Ayla Dantas, Joseph Yoder, Paulo Borba, and Ralph Johnson. Using aspects to make adaptive object-models adaptable. In RAM-SE'04. ECOOP'04 Workshop on Reflection, AOP and Meta-Data for Software Evolution, Oslo, Norway, June 2004. [ .pdf ]
[SousaEtal04]
Geórgia Sousa, Sérgio Soares, Paulo Borba, and Jaelson Castro. Separation of Crosscutting Concerns from Requirements to Design: Adapting the Use Case Driven Approach. In Bedir Tekinerdoan, Ana Moreira, Jo ao Araújo, and Paul Clements, editors, Early Aspects'04: Aspect-Oriented Requirements Engineering and Architecture Design. Workshop at International Conference on Aspect-Oriented Software Development, AOSD 2004, Workshop Report., pages 93-102 (97-106), Lancaster, UK, March 2004. [ .pdf ]
[ColeBorba04]
Leonardo Cole and Paulo Borba. Deriving refactorings for aspectj. In OOPSLA '04: Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, pages 202-203, New York, NY, USA, 2004. ACM Press. [ DOI | .pdf ]

2003

[SoaresBorba03]
SÈrgio Soares and Paulo Borba. Aspect-oriented implementation method: Progressive or non-progressive approach? In OOPSLA'03 Companion, Doctoral Symposium of the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA'03, pages 128-129, Anaheim, CA, USA, October 2003. ACM Press. [ .pdf ]
[DantasEtal03]
Ayla Dantas, Paulo Borba, and Vander Alves. Using aspects to structure small devices applications. In First Workshop on Reuse in Constrained Environments at the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA'03, Anaheim, CA, USA, October 2003. [ .pdf ]
[DantasBorba03]
Ayla Dantas and Paulo Borba. Adaptability aspects: An architectural pattern for structuring adaptive applications with aspects. In Third Latin American Conference on Pattern Languages of Programming, SugarLoafPLoP'03, pages 12-15, Porto de Galinhas, PE, Brazil, August 2003. [ .pdf ]
[DantasBorba03b]
Ayla Dantas and Paulo Borba. Developing adaptive j2me applications using aspectj. In VII Brazilian Symposium on Programming Languages, SBLP'03, pages 226-242, Ouro Preto, MG, Brazil, May 2003. [ .pdf ]

Refactoring and Formal Methods

2012

[BorbaEtal12]
Paulo Borba, Leopoldo Teixeira, and Rohit Gheyi. A Theory of Software Product Line Refinement. Theoretical Computer Science, 2012. to appear. [ DOI | .pdf ]

2010

[BorbaEtal10]
Paulo Borba, Leopoldo Teixeira, and Rohit Gheyi. A theory of software product line refinement. In 7th International Colloquium on Theoretical Aspects of Computing (ICTAC 2010), pages 15-43, Natal, Brazil, September 2010. [ .pdf ]

2009

[CastorFilhoEtal09]
Fernando Castor Filho, Alexander Romanovsky, and Cecilia Mary F. Rubira. Improving the reliability of cooperative concurrent systems with exception flow analysis. Journal of Systems and Software, 82:874-890, 2009.
[GheyiEtal09]
Rohit Gheyi, Tiago Massoni, Paulo Borba, and Augusto Sampaio. A complete set of object modeling laws for alloy. In Brazilian Symposium on Formal Methods (SBMF), pages xx-yy, Gramado, Brazil, aug 2009.
[GheyiEtal09b]
Rohit Gheyi, Tiago Massoni, and Paulo Borba. Refactorings for introducing alloy idioms. Electronic Notes in Theoretical Computer Science, pages xx-yy, 2009.

2008

[GheyiEtal08]
Rohit Gheyi, Tiago Massoni, and Paulo Borba. Algebraic laws for feature models. Journal of Universal Computer Science (JUCS), 14:3573-3591, 2008.
[GheyiEtal08b]
Rohit Gheyi, Tiago Massoni, and Paulo Borba. A complete and minimal set of algebraic laws for feature models. In Brazilian Symposium on Programming Languages (SBLP), pages 129-143, Fortaleza, Brazil, aug 2008.
[MassoniEtal08]
Tiago Massoni, Rohit Gheyi, and Paulo Borba. Formal model-driven program refactoring. In José Luiz Fiadeiro and Paola Inverardi, editors, Fundamental Approaches to Software Engineering, 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings, volume 4961 of Lecture Notes in Computer Science, pages 362-376. Springer, 2008. [ .pdf ]
[MassoniEtal08b]
Tiago Massoni, Rohit Gheyi, and Paulo Borba. A framework for establishing formal conformance between object models and object-oriented programs. Electronic Notes in Theoretical Computer Science, 195:189-209, 2008. [ .pdf ]

2007

[GheyiEtal07]
Rohit Gheyi, Tiago Massoni, and Paulo Borba. Formally introducing alloy idioms. In Brazilian Symposium on Formal Methods (SBMF), pages 22-37, Ouro Preto, Brazil, aug 2007. [ .pdf ]
[GheyiEtal07b]
Rohit Gheyi, Tiago Massoni, and Paulo Borba. A static semantics for alloy and its impact in refactorings. Elsevier's Electronic Notes in Theoretical Computer Science, 184:209-233, jun 2007. [ .pdf ]

2006

[GheyiEtal06]
Rohit Gheyi, Vander Alves, Uira Kulesza Tiago Massoni, Paulo Borba, and Carlos Lucena. Theory and proofs for feature model refactorings. Technical Report TR-UFPE-CIN-200608027, Federal University of Pernambuco, 2006. [ .pdf ]
[GheyiEtal06b]
Rohit Gheyi, Tiago Massoni, and Paulo Borba. A theory for feature models in alloy. In First Alloy Workshop, pages 71-80, Portland, United States, nov 2006. [ .pdf ]
[MassoniEtal06]
Tiago Massoni, Rohit Gheyi, and Paulo Borba. A formal framework for establishing conformance between object models and object-oriented programs. In Brazilian Symposium on Formal Methods (SBMF), pages 201-216, Natal, Brazil, sep 2006. [ .pdf ]
[MassoniEtal06b]
Tiago Massoni, Rohit Gheyi, and Paulo Borba. An approach to invariant-based program refactoring. In Software Evolution through Transformations: Embracing the Change, pages 91-101, Natal, Brazil, sep 2006. [ .pdf ]
[GheyiBorba06]
Rohit Gheyi and Paulo Borba. Sound object model refactorings. In Doctoral Symposium at Formal Methods 2006, Hamilton, Canada, aug 2006. [ .pdf ]

2005

[GheyiEtal05]
Rohit Gheyi, Tiago Massoni, and Paulo Borba. Type-safe refactorings for alloy. In Brazilian Symposium on Formal Methods (SBMF), pages 174-190, Porto Alegre, Brazil, nov 2005. [ .pdf ]
[GheyiEtal05b]
Rohit Gheyi, Tiago Massoni, and Paulo Borba. A rigorous approach for proving model refactorings. In 20th IEEE/ACM International Conference on Automated Software Engineering (ASE), pages 372-375, Long Beach, United States, nov 2005. [ .pdf ]
[GheyiEtal05c]
Rohit Gheyi, Tiago Massoni, and Paulo Borba. Formal refactorings for object models. In OOPSLA'05: Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications (Student Research Competition), pages 208-209, San Diego, United States, oct 2005. Our work was ranked in the top 6 research work. [ .pdf ]
[MassoniEtal05]
Tiago Massoni, Rohit Gheyi, and Paulo Borba. A model-driven approach to formal refactoring. In OOPSLA'05: Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications (Poster Session), pages 124-125, San Diego, United States, oct 2005. ACM Press. [ .pdf ]
[MassoniEtal05b]
Tiago Massoni, Rohit Gheyi, and Paulo Borba. Formal refactoring for uml class diagrams. In 19th Brazilian Symposium on Software Engineering (SBES), pages 152-167, Uberlandia, Brazil, oct 2005. [ .pdf ]
[GheyiEtal05d]
Rohit Gheyi, Tiago Massoni, and Paulo Borba. An abstract equivalence notion for object models. Elsevier's Electronic Notes in Theoretical Computer Science, 130:3-21, may 2005. [ .pdf ]

2004

[GheyiEtal04]
Rohit Gheyi, Tiago Massoni, and Paulo Borba. An abstract equivalence notion for object models. In Brazilian Symposium on Formal Methods (SBMF), pages 1-14, Recife, Brazil, nov 2004. [ .pdf ]
[BorbaEtal04]
Paulo Borba, Augusto Sampaio, Ana Cavalcanti, and Márcio Cornélio. Algebraic reasoning for object-oriented programming. Science of Computer Programming, 52:53-100, oct 2004. [ .pdf ]
[GheyiEtal04b]
Rohit Gheyi, Tiago Massoni, and Paulo Borba. Basic laws of object modeling. In Third Specification and Verification of Component-Based Systems (SAVCBS), affiliated with ACM SIGSOFT 2004/FSE-12, pages 18-25, Newport Beach, United States, oct 2004. [ .pdf ]
[MassoniEtal04]
Tiago Massoni, Rohit Gheyi, and Paulo Borba. A uml class diagram analyzer. In Third Workshop on Critical Systems Development with UML, affiliated with UML Conference, pages 100-114, Lisbon, Portugal, oct 2004. [ .pdf ]
[GheyiBorba04]
Rohit Gheyi and Paulo Borba. Refactoring alloy specifications. Elsevier's Electronic Notes in Theoretical Computer Science, 95:227-243, may 2004. [ .pdf ]
[Gheyi04]
Rohit Gheyi. Basic laws of object modeling. Master's thesis, Federal University of Pernambuco, feb 2004. [ .pdf ]

2003

[GheyiBorba03]
Rohit Gheyi and Paulo Borba. Refactoring alloy specifications. In Sixth Brazilian Workshop on Formal Methods, pages 166-181, Campina Grande, Brazil, oct 2003. [ .pdf ]
[BorbaEtal03]
Paulo Borba, Augusto Sampaio, and Márcio Cornélio. A refinement algebra for object-oriented programming. In 17th European Conference on Object-Oriented Programming, pages 457-482, Darmstadt, Germany, jul 2003. [ .pdf ]

Empirical Software Engineering

2011

[BarreirosEtal11]
Emanoel Barreiros, Adauto Almeida Filho, Juliana Saraiva, and Sérgio Soares. A systematic mapping study on software engineering testbeds. In ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM 2011), Banff, Canada, September 2011. [ www: ]
[SoaresEtal11]
Sérgio Soares, Emanoel Barreiros, Adauto Almeida Filho, Marcelo Moura, Uira Kulesza, Fernando Castor, and Eduardo Aranha. Towards a software product line assessment framework. In 2nd International Workshop on Empirical Evaluation of Software Composition Techniques (ESCOT 2011) at ECOOP'11, Lancaster, UK, July 2011. [ www: ]
[SaraivaEtal11]
Juliana Saraiva, Sérgio Soares, and Fernando Castor. A metrics suite to evaluate the impact of aosd on layered software architectures. In 2nd International Workshop on Empirical Evaluation of Software Composition Techniques (ESCOT 2011) at ECOOP'11, Lancaster, UK, July 2011. [ www: ]
[AlmeidaEtal11]
Adauto Almeida, Emanoel Barreiros, Juliana Saraiva, and Sérgio Soares. Mechanisms to guide empirical studies in software engineering: A mapping study (in portuguese). In VIII Experimental Software Engineering Latin American Workshop (ESELAW 2011), Rio de Janeiro, Brazil, April 2011. [ www: ]
[SilvaEtal11]
Fabio Silva, André Santos, Sérgio Soares, César França, Cleviton Monteiro, and Felipe Maciel. Six years of systematic literature reviews in software engineering: an updated tertiary study. Information and Software Technology, 2011. [ www: ]

2010

[SilvaEtal10]
Fabio Q. B. da Silva, André L. M. Santos, Sérgio Soares, A. César C. França, and Cleviton V. F. Monteiro. A critical appraisal of systematic reviews in software engineering from the perspective of the research questions asked in the reviews. In ACM/IEEE 4th Empirical Software Engineering and Measurement conference (ESEM 2010), Bolzano, Italy, September 2010. [ www: ]
[SaraivaEtal10]
Juliana Saraiva, Sérgio Soares, and Fernando Castor Filho. Assessing the impact of aop on layered software architectures. In 4th European Conference on Software Architecture (ECSA 2010), Copenhagen, August 2010. [ www: ]
[FerrariEtal10]
Fabiano Ferrari, Rachel Burrows, Otávio Lemos, Alessandro Garcia, Nelio Cacho, Eduardo Figueiredo, Frederico Lopes, Nathalia Temudo, Liana Silva, Sérgio Soares, Awais Rashid, Paulo Masiero, Thais Batista, and José Carlos Maldonado. An exploratory study of fault-proneness in evolving aspect-oriented programs. In 32th International Conference on Software Engineering (ICSE'10), Cape Town, May 2010. [ www: ]
[TaveiraEtal10]
Julio Taveira, Hítalo Oliveira, Fernando Castor Filho, and Sérgio Soares. On inter-application reuse of exception handling aspects. In Empirical Evaluation of Software Composition Techniques (ESCOT 2010), Workshop at AOSD 2010, Rennes, France, MArch 2010. [ www: ]

2009

[TaveiraEtal09]
Julio Cesar Taveira, Cristiane Queiroz, Romulo Lima, Juliana Saraiva, Sergio Soares, Hitalo Oliveira, Nathalia Temudo, Amanda Araujo, Jefferson Amorim, Fernando Castor, and Emanoel Barreiros. Assessing intra-application exception handling reuse with aspects. In XXIII Brazilian Symposium on Software Engineering - SBES'09, Fortaleza-CE, Brazil, October 2009. To appear. [ .pdf ]
[PontualEtal09]
Carlos Eduardo Pontual, Rodrigo Bonifácio, Henrique Rebelo, Márcio Ribeiro, and Paulo Borba. Modularizing variabilities with caesarj collaboration interfaces. In 3rd Workshop on Assessment of Contemporary Modularization Techniques (ACoM'09) at ACM SIGPLAN International Conference on Object-Oriented Programming (OOPSLA'09), Orlando, USA, October 2009. [ .pdf ]

2008

[MouraEtal08]
Marcelo Moura, Sergio Soares, Fernando Castor Filho, Mario Monteiro, Alessandro Garcia, Phil Greenwood, Elliackin Figueiredo, and Diego Araujo. Towards a framework for guiding aspect-oriented software maintenance emirical studies. In OOPSLA'2008 Workshop on Assessment of Contemporary Modularization Techniques - ACoM'2008, Nashville, US, October 2008. [ .pdf ]
[MonteiroEtal08]
Mario Monteiro, Marcelo Moura, Sergio Soares, and Fernando Castor Filho. Towards an analysis of layering violations in aspect-oriented software architectures. In 3rd ECOOP Workshop on Aspects, Dependences, and Interactions - ADI'2008, Paphos, Cyprus, July 2008. [ .pdf ]
[FigueiredoEtal08]
Eduardo Figueiredo, Nelio Cacho, Claudio Sant'Anna, Mario Monteiro, Uira Kulesza, Alessandro Garcia, Sergio Soares, Fabiano Ferrari, Safoora Khan, Fernando Filho, and Francisco Dantas. Evolving software product lines with aspects: An empirical study on design stability. In 30th International Conference on Software Engineering ICSE'08, Leipzig, Germany, May 2008. [ .pdf ]

2007

[GreenwoodEtal07]
Philip Greenwood, Thiago Bartolomei, Eduardo Figueiredo, Marcos Dosea, Alessandro Garcia, Nelio Cacho, Claudio Sant'Anna, Sergio Soares, Paulo Borba, Uira Kulesza, and Awais Rashid. On the impact of aspectual decompositions on design stability: An empirical study. In 21st European Conference on Object-Oriented Programming - ECOOP'07, volume Lecture Notes in Computer Science 4609, pages 176-200, Berlin, Germany, July 2007. Springer-Verlag. [ .pdf ]
[GreenwoodEtal07b]
Philip Greenwood, Alessandro Garcia, Awais Rashid, Eduardo Figueiredo, Claudio Sant’Anna, Nelio Cacho, Americo Sampaio, Sergio Soares, Paulo Borba, Marcos Dosea, Ricardo Ramos, Uira Kulesza, Lyrene Fernandes, Thiago Bartolomei, Monica Pinto, Lidia Fuentes, Nadia Gamez, Ana Moreira, Joao Araujo, Thais Batista, Ana Medeiros, Francisco Dantas, Ana Luisa de Medeiros, Jan Wloka, Christina Chavez, Robert France, and Isabel Brito. On the contributions of an end-to-end aosd testbed. In Early Aspects: Workshop in Aspect-Oriented Requirements Engineering and Architecture Design, affiliated with ICSE 2007, Minneapolis, USA, May 2007. [ .pdf ]
[GreenwoodEtal07c]
Philip Greenwood, Alessandro Garcia, Thiago Bartolomei, Sérgio Soares, Paulo Borba, and Awais Rashid. On the design of an end-to-end aosd testbed for software stability. In Workshop on Assessement of Aspect-Oriented Technologies (ASAT.07), affiliated with AOSD 2007, Vancouver, Canada, March 2007. [ .pdf ]

Aspect-Oriented Software Development, Separation of Concerns, Refactoring

2010

[dAmorimBorba10]
Fernanda d'Amorim and Paulo Borba. Modularity analysis of use case implementations. In IV Brazilian Symposium on Software Components, Architectures, and Reuse (SBCAR'S 2010), Salvador-BA, Brasil, September 2010. [ .pdf ]

2009

[PontualEtal09]
Carlos Eduardo Pontual, Rodrigo Bonifácio, Henrique Rebelo, Márcio Ribeiro, and Paulo Borba. Modularizing variabilities with caesarj collaboration interfaces. In 3rd Workshop on Assessment of Contemporary Modularization Techniques (ACoM'09) at ACM SIGPLAN International Conference on Object-Oriented Programming (OOPSLA'09), Orlando, USA, October 2009. [ .pdf ]
[dAmorimBorba09]
Fernanda d'Amorim and Paulo Borba. Modularity analysis of use case implementations. In 3rd Workshop on Assessment of Contemporary Modularization Techniques (ACoM'09) at ACM SIGPLAN International Conference on Object-Oriented Programming (OOPSLA'09), Orlando, USA, October 2009. [ .pdf ]
[CachoEtal09]
Nelio Cacho, Francisco Danta, Alessandro Garcia, and Fernando Castor. Exception flows made explicit: An exploratory study. In XXIII Brazilian Symposium on Software Engineering - SBES'09, Fortaleza-CE, Brazil, October 2009. To appear. [ .pdf ]
[TaveiraEtal09]
Julio Cesar Taveira, Cristiane Queiroz, Romulo Lima, Juliana Saraiva, Sergio Soares, Hitalo Oliveira, Nathalia Temudo, Amanda Araujo, Jefferson Amorim, Fernando Castor, and Emanoel Barreiros. Assessing intra-application exception handling reuse with aspects. In XXIII Brazilian Symposium on Software Engineering - SBES'09, Fortaleza-CE, Brazil, October 2009. To appear. [ .pdf ]
[NetoEtal09]
Alberto Costa Neto, Arthur Marques, Rohit Gheyi, Paulo Borba, and Fernando Castor Filho. A design rule language for aspect-oriented programming. In XIII Brazilian Symposium on Programming Languages - SBLP'09, Gramado-RS, Brazil, August 2009. To appear. [ .pdf ]

2008

[RebeloEtal08]
Henrique Rebelo, Sergio Soares, Ricardo Lima, Paulo Borba, and Marcio Cornelio. Jml and aspects: The benefits of instrumenting jml features with aspectj. In SAVCBS'08, pages 11-18, Atlanta, USA, November 2008. [ .pdf ]
[MouraEtal08]
Marcelo Moura, Sergio Soares, Fernando Castor Filho, Mario Monteiro, Alessandro Garcia, Phil Greenwood, Elliackin Figueiredo, and Diego Araujo. Towards a framework for guiding aspect-oriented software maintenance emirical studies. In OOPSLA'2008 Workshop on Assessment of Contemporary Modularization Techniques - ACoM'2008, Nashville, US, October 2008. [ .pdf ]
[MonteiroEtal08]
Mario Monteiro, Marcelo Moura, Sergio Soares, and Fernando Castor Filho. Towards an analysis of layering violations in aspect-oriented software architectures. In 3rd ECOOP Workshop on Aspects, Dependences, and Interactions - ADI'2008, Paphos, Cyprus, July 2008. [ .pdf ]
[FigueiredoEtal08]
Eduardo Figueiredo, Nelio Cacho, Claudio Sant'Anna, Mario Monteiro, Uira Kulesza, Alessandro Garcia, Sergio Soares, Fabiano Ferrari, Safoora Khan, Fernando Filho, and Francisco Dantas. Evolving software product lines with aspects: An empirical study on design stability. In 30th International Conference on Software Engineering ICSE'08, Leipzig, Germany, May 2008. [ .pdf ]
[CachoEtal08]
Nelio Cacho, Fernando Castor Filho, Alessandro Garcia, and Eduardo Figueiredo. Ejflow: taming exceptional control flows in aspect-oriented programming. In 7th ACM Conference on Aspect-Oriented Software Development - AOSD'08, pages 72-83, Brussels, Belgium, March 2008. [ .pdf ]

2007

[RibeiroEtal07]
Márcio Ribeiro, Pedro Matos Jr., Paulo Borba, and Ivan Cardim. On the modularity of aspect-oriented and other techniques for implementing product lines variabilities. In I Latin American Workshop on Aspect-Oriented Software Development - LA-WASP'2007, affiliated with SBES'07, pages 119-130, October 2007. [ .pdf ]
[SpecifyingDesignRulesinAspect-OrientedSystems07]
Specifying design rules in aspect-oriented systems. In I Latin American Workshop on Aspect-Oriented Software Development - LA-WASP'2007, affiliated with SBES'07, pages 67-78, October 2007. [ .pdf ]
[RibeiroEtal07b]
Márcio Ribeiro, Marcos Dósea, Rodrigo Bonifácio, Alberto Costa Neto, Paulo Borba, and Sérgio Soares. Analyzing class and crosscutting modularity with design structure matrixes. In XXI Brazilian Symposium on Software Engineering - SBES'07, pages 167-181, October 2007. [ .pdf ]
[AJaTS-nopAspectJTransformationSystemToolSupportAspect-OrientedDevelopmentandRefactoring07]
AJaTS - <nop>AspectJ Transformation System: Tool Support for Aspect-Oriented Development and Refactoring. In Tools Session of the XXI Brazilian Symposium on Software Engineering (SBES'07), October 2007. To appear. [ .pdf ]
[SoaresEtal07]
Sergio Soares, Paulo Borba, and Ricardo Lima. Concurrency control modularization with aspect-oriented programming. In 31st Annual International Computer Software and Applications Conference COMPSAC'07, Beijin, China, July 2007. IEEE. [ .pdf ]
[AJaTSnopAspectJTransformationSystem07]
AJaTS: <nop>AspectJ Transformation System. In 1st Workshop on Refactoring Tools (WRT'07), in conjunction with the 21st European Conference on Object-Oriented Programming (ECOOP'07), ISSN 1436-9915, pages 35-36, Berlin, July 2007. Danny Dig, Michael Cebulla (Eds.). [ .pdf ]
[GreenwoodEtal07]
Philip Greenwood, Thiago Bartolomei, Eduardo Figueiredo, Marcos Dosea, Alessandro Garcia, Nelio Cacho, Claudio Sant'Anna, Sergio Soares, Paulo Borba, Uira Kulesza, and Awais Rashid. On the impact of aspectual decompositions on design stability: An empirical study. In 21st European Conference on Object-Oriented Programming - ECOOP'07, volume Lecture Notes in Computer Science 4609, pages 176-200, Berlin, Germany, July 2007. Springer-Verlag. [ .pdf ]
[OnContributionsEnd-to-EndAOSDTestbed07]
On the contributions of an end-to-end aosd testbed. In Early Aspects: Workshop in Aspect-Oriented Requirements Engineering and Architecture Design, affiliated with ICSE 2007, Minneapolis, USA, May 2007. [ .pdf ]
[NetoEtal07]
Alberto Costa Neto, Márcio Ribeiro, Marcos Dósea, Rodrigo Bonifácio, and Paulo Borba. Semantic dependencies and modularity of aspect-oriented software. In ICSE Workshop on Assessment of Contemporary Modularization Techniques (ACoM.07), affiliated with ICSE 2007, Minneapolis, USA, May 2007. [ .pdf ]
[OnDesignEnd-to-EndAOSDTestbedSoftwareStability07]
On the design of an end-to-end aosd testbed for software stability. In Workshop on Assessement of Aspect-Oriented Technologies (ASAT.07), affiliated with AOSD 2007, Vancouver, Canada, March 2007. [ .pdf ]
[SoaresBorba07]
Sergio Soares and Paulo Borba. Towards reusable and modular aspect-oriented concurrency control. In 22nd Annual ACM Symposium on Applied Computing, Seoul, Korea, March 2007. ACM press. [ .pdf ]

2006

[SoaresEtal06]
Sérgio Soares, Paulo Borba, and Eduardo Laureano. Distribution and Persistence as Aspects. Software: Practice & Experience, 36(7):711-759, 2006. John Wiley & Sons. [ .pdf ]

2005

[SoaresBorba05]
Sergio Soares and Paulo Borba. Implementing modular and reusable aspect-oriented concurrency control with aspectj. In 2nd Brazilian Workshop on Aspect-Oriented Software Develpment - WASP'05 - SBES'05, October 2005. [ .pdf ]
[ColeBorba05]
Leonardo Cole and Paulo Borba. Deriving refactorings for aspectJ. In 4th International Conference on Aspect-Oriented Software Development - AOSD'05, Chicago, USA, March 2005. [ .pdf ]
[ColeEtal05]
Leonardo Cole, Paulo Borba, and Alexandre Mota. Proving aspect-oriented programming laws. In FOAL 2005 Proceedings: Foundations of Aspect-Oriented Langauges Workshop at AOSD 2005, Technical Report, pages 1-10. Department of Computer Science, Iowa State University, March 2005. [ .pdf ]

2004

[ColeEtal04]
Leonardo Cole, Eduardo Piveta, and Autusto Sampaio. Rup based analysis and design with aspects. In XVIII Brazilian Symposium on Software Engineering - SBES'04, pages 210-224, October 2004. [ .pdf ]
[TowardsProgressiveandNon-progressiveImplementationApproachesEvaluation04]
Towards progressive and non-progressive implementation approaches evaluation. In 1st Experimental Software Engineering Latin American Workshop - ESELAW'04 - SBES'04, October 2004. [ .pdf ]
[ColeBorba04b]
Leonardo Cole and Paulo Borba. Using programming laws to modularize concurrency in a replicated database application. In 1st Brazilian Workshop on Aspect-Oriented Software Develpment - WASP'04 - SBES'04, October 2004. [ .pdf ]
[SoaresBorba04]
Sérgio Soares and Paulo Borba. Aspect-oriented software development with <nop>rup and <nop>aspectj (in portuguese). In Tutorial at XVIII Brazilian Symposium on Software Engineering - SBES'04, Brasília-DF, Brazil, October 2004. [ .pdf ]
[DantasEtal04]
Ayla Dantas, Joseph Yoder, Paulo Borba, and Ralph Johnson. Using aspects to make adaptive object-models adaptable. In RAM-SE'04. ECOOP'04 Workshop on Reflection, AOP and Meta-Data for Software Evolution, Oslo, Norway, June 2004. [ .pdf ]
[SousaEtal04]
Geórgia Sousa, Sérgio Soares, Paulo Borba, and Jaelson Castro. Separation of Crosscutting Concerns from Requirements to Design: Adapting the Use Case Driven Approach. In Early Aspects'04: Aspect-Oriented Requirements Engineering and Architecture Design. Workshop at International Conference on Aspect-Oriented Software Development, AOSD 2004, Workshop Report., pages 93-102 (97-106), Lancaster, UK, March 2004. [ .pdf ]
[ColeBorba04]
Leonardo Cole and Paulo Borba. Deriving refactorings for aspectj. In OOPSLA '04: Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, pages 202-203, New York, NY, USA, 2004. ACM Press. [ DOI | .pdf ]

2003

[Aspect-OrientedImplementationMethodProgressiveorNon-progressiveApproach03]
Aspect-oriented implementation method: Progressive or non-progressive approach? In OOPSLA'03 Companion, Doctoral Symposium of the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA'03, pages 128-129, Anaheim, CA, USA, October 2003. ACM Press. [ .pdf ]
[DantasEtal03]
Ayla Dantas, Paulo Borba, and Vander Alves. Using aspects to structure small devices applications. In First Workshop on Reuse in Constrained Environments at the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA'03, Anaheim, CA, USA, October 2003. [ .pdf ]
[DantasBorba03]
Ayla Dantas and Paulo Borba. Adaptability aspects: An architectural pattern for structuring adaptive applications with aspects. In Third Latin American Conference on Pattern Languages of Programming, SugarLoafPLoP'03, pages 12-15, Porto de Galinhas, PE, Brazil, August 2003. [ .pdf ]
[DantasBorba03b]
Ayla Dantas and Paulo Borba. Developing adaptive j2me applications using aspectj. In VII Brazilian Symposium on Programming Languages, SBLP'03, pages 226-242, Ouro Preto, MG, Brazil, May 2003. [ .pdf ]

2002

[SoaresBorba02]
Sérgio Soares and Paulo Borba. PIP: Progressive Implementation Pattern. In 1st Workshop on Software Development Patterns (SDPP'02), OOPSLA'02, Seattle, WA, USA, November 2002. [ .pdf ]
[SoaresEtal02]
Sérgio Soares, Eduardo Laureano, and Paulo Borba. Implementing Distribution and Persistence Aspects with AspectJ. In Proceedings of the 17th ACM conference on Object-oriented programming, systems, languages, and applications, OOPSLA'02, pages 174-190, Seattle, WA, USA, November 2002. ACM Press. Also appeared in ACM SIGPLAN Notices 37(11). [ .pdf ]
[SoaresBorba02b]
Sérgio Soares and Paulo Borba. PaDA: A Pattern for Distribution Aspects. In Second Latin American Conference on Pattern Languages of Programming - SugarLoafPLoP'02, pages 87-99, Itaipava, RJ, Brazil, August 2002. Published in University of São Paulo Magazine - ICMC. [ .pdf ]
[DiasBorba02]
Klissiomara Dias and Paulo Borba. In Second Latin American Conference on Pattern Languages of Programming - SugarLoafPLoP'02, pages 55-86, Itaipava, RJ, Brazil, August 2002. Published in University of São Paulo Magazine - ICMC. [ .pdf ]
[SoaresBorba02c]
Sérgio Soares and Paulo Borba. Aspectj - aspect-oriented programming in java. (in portuguese). In Tutorial in Proceedins of VI Brazilian Symposium on Programming Languages, SBLP'02, pages 39-55, Rio de Janeiro, RJ, Brazil, June 2002. [ .pdf ]

2001

[MassoniEtal01]
Tiago Massoni, Augusto Sampaio, and Paulo Borba. Progressive implementation of aspects. In Workshop on Advanced Separation of Concerns in Object-Oriented Systems, OOPSLA'01, Tampa Bay, FL, USA, October 2001. [ .pdf ]
[AlvesBorba01]
Vander Alves and Paulo Borba. An implementation method for distributed object-oriented applications. In XV Brazilian Symposium on Software Engineering, SBES'01, pages 161-176, Rio de Janeiro, RJ, Brazil, October 2001. [ .pdf ]
[SoaresBorba01]
Sérgio Soares and Paulo Borba. Concurrency Manager. In First Latin American Conference on Pattern Languages of Programming - SugarLoafPLoP'01, pages 221-231, Rio de Janeiro, Brazil, October 2001. Published in UERJ Magazine: Special Issue on Software Patterns. [ .pdf ]
[MassoniEtal01b]
Tiago Massoni, Vander Alves, Sérgio Soares, and Paulo Borba. PDC: Persistent Data Collections pattern. In First Latin American Conference on Pattern Languages of Programming - SugarLoafPLoP'01., pages 311-326, Rio de Janeiro, Brazil, October 2001. Published in University of São Paulo Magazine - ICMC, 2002. [ .pdf ]
[AlvesBorba01b]
Vander Alves and Paulo Borba. Distributed adapters pattern: A design pattern for object-oriented distributed applications. In First Latin American Conference on Pattern Languages of Programming - SugarLoafPLoP'01., pages 132-142, Rio de Janeiro, Brazil, October 2001. Published in University of São Paulo Magazine - ICMC, 2002. [ .pdf ]

2000

[AlvesBorba00]
Vander Alves and Paulo Borba. A design pattern for distributed applications. In XIV Brazilian Symposium on Software Engineering, SBES'00 - Minicourses and Tutorials, pages 191-219, October 2000. [ .pdf ]

Program Transformation and Generative Programming

2006

[SantosBorba06]
Gustavo Santos and Paulo Borba. Suporte a refatorações em um sistema de transformação de propósito geral. In Proceedings of the X Brazilian Symposium on Programing Languages, SBLP 2006, pages 63-76, Itatiaia, Brazil, May 2006. [ .pdf ]
[SantosBorba06b]
Gustavo Santos and Paulo Borba. Contextos de primeira classe em transformações de programas. In Proceedings of the X Brazilian Symposium on Programing Languages, SBLP 2006, pages 77-90, Itatiaia, Brazil, May 2006. [ .pdf ]
[GheyiEtal06]
Rohit Gheyi, Vander Alves, Uira Kulesza Tiago Massoni, Paulo Borba, and Carlos Lucena. Theory and proofs for feature model refactorings. Technical Report TR-UFPE-CIN-200608027, Federal University of Pernambuco, 2006. [ .pdf ]
[GheyiEtal06b]
Rohit Gheyi, Tiago Massoni, and Paulo Borba. A theory for feature models in alloy. In First Alloy Workshop, pages 71-80, Portland, United States, nov 2006. [ .pdf ]
[MassoniEtal06]
Tiago Massoni, Rohit Gheyi, and Paulo Borba. A formal framework for establishing conformance between object models and object-oriented programs. In Brazilian Symposium on Formal Methods (SBMF), pages 201-216, Natal, Brazil, sep 2006. [ .pdf ]
[MassoniEtal06b]
Tiago Massoni, Rohit Gheyi, and Paulo Borba. An approach to invariant-based program refactoring. In Software Evolution through Transformations: Embracing the Change, pages 91-101, Natal, Brazil, sep 2006. [ .pdf ]
[GheyiBorba06]
Rohit Gheyi and Paulo Borba. Sound object model refactorings. In Doctoral Symposium at Formal Methods 2006, Hamilton, Canada, aug 2006. [ .pdf ]

2005

[BarrosBorba05]
Alexandra Barros and Paulo Borba. Um sistema de tipos para uma linguagem de transformação. In Proceedings of the IX Brazilian Symposium on Programing Languages, SBLP 2005, pages 21-35, Recife, Brazil, May 2005. [ .pdf ]
[SousaBorba05]
Adeline de Sousa and Paulo Borba. Geração de sistemas de transformação. In Proceedings of the IX Brazilian Symposium on Programing Languages, SBLP 2005, pages 50-62, Recife, Brazil, May 2005. [ .pdf ]
[GheyiEtal05]
Rohit Gheyi, Tiago Massoni, and Paulo Borba. Type-safe refactorings for alloy. In Brazilian Symposium on Formal Methods (SBMF), pages 174-190, Porto Alegre, Brazil, nov 2005. [ .pdf ]
[GheyiEtal05b]
Rohit Gheyi, Tiago Massoni, and Paulo Borba. A rigorous approach for proving model refactorings. In 20th IEEE/ACM International Conference on Automated Software Engineering (ASE), pages 372-375, Long Beach, United States, nov 2005. [ .pdf ]
[GheyiEtal05c]
Rohit Gheyi, Tiago Massoni, and Paulo Borba. Formal refactorings for object models. In OOPSLA'05: Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications (Student Research Competition), pages 208-209, San Diego, United States, oct 2005. Our work was ranked in the top 6 research work. [ .pdf ]
[MassoniEtal05]
Tiago Massoni, Rohit Gheyi, and Paulo Borba. A model-driven approach to formal refactoring. In OOPSLA'05: Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications (Poster Session), pages 124-125, San Diego, United States, oct 2005. ACM Press. [ .pdf ]
[MassoniEtal05b]
Tiago Massoni, Rohit Gheyi, and Paulo Borba. Formal refactoring for uml class diagrams. In 19th Brazilian Symposium on Software Engineering (SBES), pages 152-167, Uberlandia, Brazil, oct 2005. [ .pdf ]
[GheyiEtal05d]
Rohit Gheyi, Tiago Massoni, and Paulo Borba. An abstract equivalence notion for object models. Elsevier's Electronic Notes in Theoretical Computer Science, 130:3-21, may 2005. [ .pdf ]

2004

[SantosEtal04]
Gustavo Santos, Paulo Borba, and Adeline Sousa. A general-purpose transformation system for java. In STS'04, Software Transformation Systems Workshop at GPCE'04 - ACM SIGPLAN 3rd International Conference on Generative Programming and Component Engineering, Vancouver, Canada, October 2004. [ .pdf ]
[GheyiEtal04]
Rohit Gheyi, Tiago Massoni, and Paulo Borba. An abstract equivalence notion for object models. In Brazilian Symposium on Formal Methods (SBMF), pages 1-14, Recife, Brazil, nov 2004. [ .pdf ]
[BorbaEtal04]
Paulo Borba, Augusto Sampaio, Ana Cavalcanti, and Márcio Cornélio. Algebraic reasoning for object-oriented programming. Science of Computer Programming, 52:53-100, oct 2004. [ .pdf ]
[GheyiEtal04b]
Rohit Gheyi, Tiago Massoni, and Paulo Borba. Basic laws of object modeling. In Third Specification and Verification of Component-Based Systems (SAVCBS), affiliated with ACM SIGSOFT 2004/FSE-12, pages 18-25, Newport Beach, United States, oct 2004. [ .pdf ]
[MassoniEtal04]
Tiago Massoni, Rohit Gheyi, and Paulo Borba. A uml class diagram analyzer. In Third Workshop on Critical Systems Development with UML, affiliated with UML Conference, pages 100-114, Lisbon, Portugal, oct 2004. [ .pdf ]
[GheyiBorba04]
Rohit Gheyi and Paulo Borba. Refactoring alloy specifications. Elsevier's Electronic Notes in Theoretical Computer Science, 95:227-243, may 2004. [ .pdf ]
[Gheyi04]
Rohit Gheyi. Basic laws of object modeling. Master's thesis, Federal University of Pernambuco, feb 2004. [ .pdf ]

2001

[CastorEtal01]
Fernando Castor, Kellen Oliveira, Adeline Souza, Gustavo Santos, and Paulo Borba. Jats: A java transformation system. In Proceedinds of XV Brazilian Symposium on Software Engineering, SBES 2001, pages 374-379, Rio de Janeiro, Brazil, October 2001. [ .pdf ]
[CastorBorba01]
Fernando Castor and Paulo Borba. A language for specifying java transformations. In Proceedins of V Brazilian Symposium on Programming Languages, SBLP 2001, pages 236-251, Curitiba, Brazil, May 2001. [ .pdf ]

Software Test and Estimation Models

2010

[FerreiraEtal10]
Felype Ferreira, Lais Neves, Michelle Silva, and Paulo Borba. Target: a model based product line testing tool. In I Congresso Brasileiro de Software (CBSoft 2010), Tools Session, pages 1-4, Salvador, Brazil, Setembro 2010. [ .pdf ]

2009

[AranhaBorba09]
Eduardo Aranha and Paulo Borba. Estimating manual test execution effort and capacity based on execution points. International Journal of Computers and Applications: Special Issue on the International Summer School on Software Engineering, 31(3), 2009. [ .pdf ]

2008

[AranhaBorba08]
Eduardo Aranha and Paulo Borba. Manualtest: Improving collection of manual test execution data in empirical studies. In 5th Experimental Software Engineering Latin America Workshop (ESELAW 2008), Salvador, Brazil, November 2008. [ .pdf ]
[AranhaEtal08]
Eduardo Aranha, Filipe Almeida, Thiago Diniz, Vitor Fontes, and Paulo Borba. Automated test execution effort estimation based on functional test specifications. In Tools Session of the XXII Brazilian Symposium on Software Engineering (SBES 2008), Campinas, Brazil, October 2008. [ .pdf ]
[AranhaBorba08b]
Eduardo Aranha and Paulo Borba. Using process simulation to assess the test design effort reduction of a model-based testing approach. In International Conference on Software Process 2008, Leipzig, Germany, May 2008. [ .pdf ]

2007

[AranhaBorba07]
Eduardo Aranha and Paulo Borba. Sizing system tests for estimating test execution effort. In 22st International Annual Forum on COCOMO and Systems/Software Cost Modeling, Los Angeles, USA, November 2007. [ .pdf ]
[NogueiraEtal07]
Sidney Nogueira, Emanuela Cartaxo, Dante Torres, Eduardo Aranha, and Rafael Marques. Model based test generation: A case study. In 1st Brazilian Workshop on Systematic and Automated Software Testing (SAST 2007), Recife, PE, Brazil, October 2007. [ .pdf ]
[TorresEtal07]
Dante Torres, Sidney Nogueira, Emanuela Cartaxo, Eduardo Aranha, Paulo Borba, Flavia Barros, Patricia Machado, Augusto Sampaio, and Alexandre Mota. Brazil test center research group. In 1st Brazilian Workshop on Systematic and Automated Software Testing (SAST 2007), Recife, PE, Brazil, October 2007. [ .pdf ]
[AranhaBorba07b]
Eduardo Aranha and Paulo Borba. Empirical studies of test execution effort estimation based on test characteristics and risk factors. In 2nd International Doctoral Symposium on Empirical Software Engineering (IDoESE 2007), Madrid, Spain, September 2007. [ .pdf ]
[AranhaBorba07c]
Eduardo Aranha and Paulo Borba. An estimation model for test execution effort. In 1st International Symposium on Empirical Software Engineering and Measurement (ESEM 2007), Madrid, Spain, September 2007. [ .pdf ]
[AranhaBorba07d]
Eduardo Aranha and Paulo Borba. Test effort estimation models based on test specifications. In Testing: Academic & Industrial Conference - Practice And Research Techniques (TAIC PART 2007), Windsor, UK, September 2007. [ .pdf ]

2006

[AranhaEtal06]
Eduardo Aranha, Paulo Borba, and Jose Lima. Model simulation for test execution capacity estimation. In 17th IEEE International Symposium on Software Reliability Engineering (ISSRE 2006), North Carolina, USA, November 2006. [ .pdf ]
[AranhaBorba06b]
Eduardo Aranha and Paulo Borba. Test execution effort and capacity estimation. In 17th IEEE International Symposium on Software Reliability Engineering (ISSRE 2006), North Carolina, USA, November 2006.
[AranhaBorba06]
Eduardo Aranha and Paulo Borba. Measuring test execution complexity. In 2nd Intl. Workshop on Predictor Models in SE (PROMISE 2006), co-located with the 22nd IEEE Conference on Software Maintenance (ICSM'06), Pennsylvania, USA, September 2006. [ .pdf ]

2002

[AranhaBorba02]
Eduardo Aranha and Paulo Borba. Web systems acceptance tests and code generation. In Workshop on Testing in XP, in conjunction with the 3rd International Conference on eXtreme Programming and Agile Processes in Software Engineering (XP'2002), pages 39-42, Sardinia, Italy, May 2002.
[AranhaBorba02b]
Eduardo Aranha and Paulo Borba. Uma linguagem para testes de aceitacao de sistemas web. In VI Simposio Brasileiro de Linguagens de Programacao, Rio de Janeiro, Brasil, Maio 2002. (in portuguese).
[AranhaBorba02c]
Eduardo Aranha and Paulo Borba. Testes e geracao de codigo de sistemas web. In XVI Simposio Brasileiro de Engenharia de Software, pages 114-128, Gramado, Brasil, Outubro 2002. (in portuguese).

Pim (Progressive implementation method)

2002

[SoaresBorba02]
Sérgio Soares and Paulo Borba. PIP: Progressive Implementation Pattern. In 1st Workshop on Software Development Patterns (SDPP'02), OOPSLA'02, Seattle, WA, USA, November 2002. [ .pdf ]
[SoaresBorba02b]
Sérgio Soares and Paulo Borba. Concurrency Control with Java and Relational Databases. August 2002. [ .pdf ]
[MassoniEtal02]
Tiago Massoni, Augusto Sampaio, and Paulo Borba. A rup-based software process supporting progressive implementation. In 2002 Information Resources Management Association International Conference, IRMA 2002, Seattle, WA, USA, May 2002. [ .ps ]

2001

[SoaresBorba01]
Sérgio Soares and Paulo Borba. Concurrency control with java and relational databases (in portuguese). In V Brazilian Symposium on Programming Languages, SBLP 2001, Curitiba, Brazil, May 2001. [ .pdf ]

1999

[BorbaEtal99]
Paulo Borba, Saulo Araújo, Hednilson Bezerra, Marconi Lima, and Sérgio Soares. Progressive implementation of distributed java applications. In Engineering Distributed Objects, ICSE 1999, Los Angeles, CA, USA, May 1999. [ .ps ]
[VianaBorba99]
Euricelia Viana and Paulo Borba. Integrating java with relational databases (in portuguese). In Proceedins of III Brazilian Symposium on Programmig Languages SBLP 1999, Porto Alegre, RS, Brazil, May 1999. [ .ps ]

Miscellaneous

  • Gibeon Aquino and Paulo Borba. Web Handlers. First Latin American Conference on Pattern Languages Programming, SugarLoafPLoP 2001. October 3-5, 2001. Rio de Janeiro, Brazil. Published in UERJ Magazine: Special Issue on Software Patterns, June 2002, pages 42-56.

Copyright notice

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author s copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

-- LeopoldoTeixeira - 2013-08-05 -- LaisNeves - 10 Jul 2011 -- SergioSoares - 07 Jun 2011 -- FelypeFerreira - 10 Feb 2011 -- EduardoAranha - 24 Apr 2009 -- TiagoMassoni - 08 Feb 2008 -- SergioSoares - 03 Jan 2008 -- SergioSoares - 17 Sep 2007 -- EduardoAranha - 25 Aug 2007 -- PedroMatos - 9 Apr 2007 -- EduardoAranha - 24 Mar 2007 -- GustavoSantos - 05 Jun 2006 -- AdelineSousa - 14 Nov 2005 -- RohitGheyi - 07 Nov 2005 -- TiagoMassoni - 28 Jul 2005 -- VanderAlves - 13 Jul 2005

Topic attachments
I Attachment Action Size Date Who Comment
PDFpdf 05741265.pdf manage 366.9 K 2011-06-03 - 18:05 RodrigoAndrade  
PDFpdf 06394971.pdf manage 796.8 K 2013-07-23 - 16:00 PaolaAccioly SCBARS12_ferreira
PDFpdf 104151.pdf manage 241.8 K 2013-07-23 - 15:52 PaolaAccioly SBCARS12_accioly
PDFpdf LAWASP07_ribeiro.pdf manage 150.6 K 2007-10-03 - 19:51 MarcioRibeiro  
PDFpdf acom09-damorim.pdf manage 45.2 K 2010-02-02 - 16:16 FernandaDamorim  
PDFpdf sbcars2013_andrade.pdf manage 258.0 K 2013-09-16 - 18:01 RodrigoAndrade  
PDFpdf sbcars2013_melo.pdf manage 418.3 K 2013-08-15 - 16:01 JeanMelo  
Topic revision: r180 - 2013-09-16 - RodrigoAndrade
 
This site is powered by the TWiki collaboration platformCopyright © 2008-2017 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