Powered by TWiki You are here: TWiki > SPG Web > SoftwareProductivityGroup? > GenteAreaPublications
r158 - 02 Feb 2010 - 17:36:57 - LeopoldoTeixeira
See Copyright

Publications

Refactoring and Formal Methods

Aspect-Oriented Software Development, Separation of Concerns, Refactoring

Aspect-Oriented Software Development and Software Product Lines

Program Transformation, Generative Programming

Software Test and Estimation Models

Pim (Progresive implementation method)

Miscellaneous

Refactoring and Formal Methods

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 ]

Aspect-Oriented Software Development, Separation of Concerns, Refactoring

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 Sao 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 Sao 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 Sao 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 Sao 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 ]

Aspect-Oriented Software Development and Software Product Lines

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

[CalheirosEtal07]
Fernando Calheiros, Paulo Borba, Sérgio Soares, Vilmar Nepomuceno, and Vander Alves. Product line variability refactoring tool. 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 33-34, Berlin, July 2007. Danny Dig, Michael Cebulla (Eds.). [ .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. 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 ]
[MatosEtal07]
Pedro Matos Jr, Rafael Duarte, Ivan Cardim, and Paulo Borba. Using design structure matrices to assess modularity in aspect-oriented software product lines. 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. 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 ]
[KuleszaEtal07]
Uirá Kulesza, Vander Alves, Alessandro Garcia, Alberto Costa Neto, Elder Cirilo, Carlos Lucena, and Paulo Borba. Mapping features to aspects: A model-based generative approach. In 10th Internacional Workshop On Early Aspects co-located with Sixth International Conference on Aspect-Oriented Software Development (AOSD'07), March 2007. [ .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 ]
[AlvesEtal07]
Vander Alves, Pedro Matos Jr, Leonardo Cole, Alexandre Vasconcelos, Paulo Borba, and Geber Ramalho. Extracting and evolving code in product lines with aspect-oriented programming. Transactions on Aspect-Oriented Software Development (TAOSD): Special Issue on Software Evolution, 2007. to appear. [ .pdf ]

2006

[NetoEtal06]
Alberto Costa Neto, Vander Alves, and Paulo Borba. Declaring static crosscutting dependencies in aspectj. In 3rd Brazilian Workshop on Aspect-Oriented Software Development (WASP´06), in conjunction with the 20th Brazilian Symposium on Software Engineering (SBES'06), Florianopolis, Brazil, Oct 2006. [ .pdf ]
[AlvesEtal06]
Vander Alves, Alberto Costa Neto, Sergio Soares, Gustavo Santos, Fernando Calheiros, Vilmar Nepomuceno, Davi Pires, Jorge Leal, and Paulo Borba. From conditional compilation to aspects: A case study in software product lines migration. In 1st Workshop on Aspect-Oriented Product Line Engineering, in conjunction with 5th ACM International Conference on Generative Programming and Component Engineering (GPCE'06), Portland, USA, Oct 2006. [ .pdf ]
[KuleszaEtal06]
Uirá Kulesza, Roberta Coelho, Vander Alves, Alberto Costa Neto, Alessandro Garcia, Ardnt von Staa, Carlos Lucena, and Paulo Borba. Implementing framework crosscutting extensions with ejps and aspectj. In Proceedings of the 20th Brazilian Symposium on Software Engineering (SBES 2006), Oct 2006. [ .pdf ]
[KuleszaEtal06b]
Uirá Kulesza, Vander Alves, Alessandro Garcia, Carlos J. P. de Lucena, and Paulo Borba. Improving extensibility of object-oriented frameworks with aspect-oriented programming. In Proceedings of the 9th International Conference on Software Reuse (ICSR-9), Lecture Notes in Computer Science, pages 231-245. Springer-Verlag, Jun 2006. [ .pdf ]
[AlvesEtal06b]
Vander Alves, Rohit Gheyi, Tiago Massoni, Uirá Kulesza, Paulo Borba, and Carlos Lucena. Refactoring product lines. In Proceedings of the 5th ACM International Conference on Generative Programming and Component Engineering (GPCE'06). ACM Press, Oct 2006. [ .pdf ]
[AlvesEtal06c]
Vander Alves, Gustavo Santos, Fernando Calheiros, Vilmar Nepomuceno, Davi Pires, Alberto Costa Neto, and Paulo Borba. Beyond code: Handling variability in art artifacts in mobile game product lines. In Managing Variability for Software Product Lines: Working With Variability Mechanisms Workshop, in conjunction with the 10th International Software Product Line Conference, SPLC 2006, Baltimore, USA, Aug 2006. [ .pdf ]
[CoelhoEtal06]
Roberta Coelho, Vander Alves, Uirá Kulesza, Alberto Costa Neto, Alessandro Garcia, Ardnt von Staa, Carlos Lucena, and Paulo Borba. A verification approach for crosscutting features based on extension join points. In 3rd International Workshop on Software Product Line Testing (SPLiT 2006), in conjunction with the 10th International Software Product Line Conference, SPLC 2006, Baltimore, USA, Aug 2006. [ .pdf ]
[CamaraEtal06]
Tarcisio Camara, Rodrigo Lima, Rangner Guimaraes, Alexandre Damasceno, Vander Alves, Pedro Macedo, and Geber Ramalho. Massive mobile games porting: Meantime study case. In Brazilian Symposium on Computer Games and Digital Entertainment - Computing track, Recife, Brazil, 2006. To appear.
[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 ]
[AlvesEtal05]
Vander Alves, Ivan Cardim, Heitor Vital, Pedro Sampaio, Alexandre Damasceno, Paulo Borba, and Geber Ramalho. Comparative analysis of porting strategies in j2me games. In Proceedings of the 21st IEEE International Conference on Software Maintenance (ICSM'05), pages 123-132, Budapest, Hungary, September 2005. IEEE Computer Society. [ .pdf ]
[Alves05]
Vander Alves. Identifying variations in mobile devices. Journal of Object Technology, 4(3):47-52, April 2005. [ http ]
[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 ]
[SampaioEtal05]
Pedro Sampaio, Alexandre Damasceno, Igor Sampaio, Vander Alves, Geber Ramalho, and Paulo Borba. Porting games in j2me: Challenges, case study, and guidelines (in portuguese). Scientia, 16(1):66-72, January/June 2005. [ .pdf ]
[AlvesEtal05b]
Vander Alves, Pedro Matos Jr, Leonardo Cole, Paulo Borba, and Geber Ramalho. Extracting and evolving mobile games product lines. In Proceedings of the 9th International Software Product Line Conference (SPLC'05), volume 3714 of Lecture Notes in Computer Science, pages 70-81. Springer-Verlag, Sep 2005. [ .pdf ]

2004

[AlvesEtal04]
Vander Alves, Pedro Matos Jr., and Paulo Borba. An incremental aspect-oriented product line method for J2ME game development. In Workshop on Managing Variability Consistently in Design and Code at OOPSLA'04, Vancouver, Canada, October 2004. [ .pdf ]
[Alves04]
Vander Alves. Identifying variations in mobile devices. In Young Researchers Workshop at the GPCE'04, Vancouver, Canada, October 2004. [ .pdf ]
[SampaioEtal04]
Pedro Sampaio, Alexandre Damasceno, Igor Sampaio, Vander Alves, Geber Ramalho, and Paulo Borba. Porting games in j2me: Challenges, case study, and guidelines. In Proceedings of the III Brazilian Workshop on Games and Digital Entertainment, October 2004. [ .pdf ]
[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 ]
[AlvesBorba04]
Vander Alves and Paulo Borba. Aspects and software product lines. In Brazilian Workshop on Component-Based Development - Tutorial (in Portuguese), Joao Pessoa, Brazil, September 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, Joao 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

[DantasEtal03]
Ayla Dantas, Paulo Borba, and Vander Alves. Using aspects to structure small devices applications. In First Workshop on Reuse in Constrained Environments at OOPSLA'03, Anaheim, CA, USA, October 2003. [ .pdf ]
[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 ]
[DantasEtal03b]
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 ]
[AlvesEtal03]
Vander Alves, Ayla Dantas, and Paulo Borba. Aop-driven variability in product lines of pervasive computing applications. In GPCE'03 - Poster Session, Erfurt, Germany, September 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 ]

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

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 ]
[TorresEtal07]
Dante Torres, Sidney Nogueira, Emanuela Cartaxo, Eduardo Aranha, Paulo Borba, Flávia Barros, Patrícia 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 ]
[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 ]
[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

[AranhaBorba02b]
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.
[AranhaBorba02]
Eduardo Aranha and Paulo Borba. Uma linguagem para testes de aceitação de sistemas web. In VI Simpósio Brasileiro de Linguagens de Programação, Rio de Janeiro, Brasil, Maio 2002. (in portuguese).
[AranhaBorba02c]
Eduardo Aranha and Paulo Borba. Testes e geração de código de sistemas web. In XVI Simpósio 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

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.

-- 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


toggleopenShow attachmentstogglecloseHide attachments

Topic attachments
I Attachment Action Size Date Who Comment

pdfpdf LAWASP07_ribeiro.pdf manage 150.6 K 03 Oct 2007 - 19:51 MarcioRibeiro  

pdfpdf acom09-damorim.pdf manage 45.2 K 02 Feb 2010 - 16:16 FernandaDamorim  

Edit | Attach | Backlinks: Web, All Webs | Printable | History: r158 < r157 < r156 < r155 < r154 | More topic actions
Parents: SoftwareProductivityGroup?

This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback