|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 42 occurrences of 24 keywords
|
|
|
|
|
Results
Found 66 publication records. Showing 66 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Fernanda d'Amorim, Paulo Borba |
Modularity analysis of use case implementations.  |
Journal of Systems and Software  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo Borba |
Special issue with selected papers from the 23rd Brazilian Symposium on Software Engineering. |
Journal of Systems and Software |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Claus Brabrand, Márcio Ribeiro, Társis Tolêdo, Paulo Borba |
Intraprocedural dataflow analysis for software product lines. |
AOSD |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Márcio Ribeiro, Társis Tolêdo, Johnni Winther, Claus Brabrand, Paulo Borba |
Emergo: a tool for improving maintainability of preprocessor-based product lines. |
AOSD (Companion) |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Rohit Gheyi, Tiago Massoni, Paulo Borba |
Automatically Checking Feature Model Refactorings. |
J. UCS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Paulo Borba, Shigeru Chiba (eds.) |
Companion Volume of the 10th International Conference on Aspect-Oriented Software Development, AOSD 2011, Porto de Galinhas, Brazil, March 21-25, 2011 |
AOSD (Companion) |
2011 |
DBLP BibTeX RDF |
|
| 1 | Paulo Borba, Shigeru Chiba (eds.) |
Proceedings of the 10th International Conference on Aspect-Oriented Software Development, AOSD 2011, Porto de Galinhas, Brazil, March 21-25, 2011 |
AOSD |
2011 |
DBLP BibTeX RDF |
|
| 1 | Laís Neves, Leopoldo Teixeira, Demóstenes Sena, Vander Alves, Uirá Kulesza, Paulo Borba |
Investigating the safe evolution of software product lines. |
GPCE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Márcio Ribeiro, Felipe Queiroz, Paulo Borba, Társis Tolêdo, Claus Brabrand, Sérgio Soares |
On the impact of feature dependencies when maintaining preprocessor-based software product lines. |
GPCE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christina Chavez, Uirá Kulesza, Sérgio Soares, Paulo Borba, Carlos José Pereira de Lucena, Paulo Cesar Masiero, Cláudio Sant'Anna, Eduardo Piveta, Fabiano Cutigi Ferrari, Fernando Castor, Roberta Coelho, Lyrene Fernandes da Silva, Vander Alves, Nabor C. Mendonça, Eduardo Figueiredo, Valter Vieira de Camargo, Carla T. L. L. Silva, Paulo F. Pires, Thaís Vasconcelos Batista, Nélio Cacho, Arndt von Staa, Julio Cesar Sampaio do Prado Leite, Fabio Silveira, Otávio Augusto Lazzarini Lemos, Rosangela Penteado, Flávia Coimbra Delicato, Rosana T. V. Braga, Marco Tulio Valente, Ricardo Argenton Ramos, Rodrigo Bonifácio, Fernanda M. R. Alencar, Jaelson Castro |
The AOSD Research Community in Brazil and Its Crosscutting Impact. |
SBES |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Leopoldo Teixeira, Paulo Borba, Rohit Gheyi |
Safe Composition of Configuration Knowledge-Based Software Product Lines. |
SBES |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodrigo Andrade, Márcio Ribeiro, Vaidas Gasiunas, Lucas Satabin, Henrique Rebêlo, Paulo Borba |
Assessing Idioms for Implementing Features with Flexible Binding Times. |
CSMR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo Borba, Leopoldo Teixeira, Rohit Gheyi |
A Theory of Software Product Line Refinement. |
ICTAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mário Henrique C. Torres, Uirá Kulesza, Matheus Sousa, Thaís Vasconcelos Batista, Leopoldo Teixeira, Paulo Borba, Elder Cirilo, Carlos José Pereira de Lucena, Rosana T. V. Braga, Paulo Cesar Masiero |
Assessment of product derivation tools in the evolution of software product lines: an empirical study. |
FOSD |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tiago Massoni, Rohit Gheyi, Paulo Borba |
Synchronizing Model and Program Refactoring. |
SBMF |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Márcio Ribeiro, Paulo Borba |
Towards feature modularization. |
SPLASH/OOPSLA Companion |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Márcio Ribeiro, Humberto Pacheco, Leopoldo Teixeira, Paulo Borba |
Emergent feature modularization. |
SPLASH/OOPSLA Companion |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo Borba, Ana Cavalcanti, Augusto Sampaio, Jim Woodcock (eds.) |
Testing Techniques in Software Engineering, Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures |
PSSE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodrigo Bonifácio, Paulo Borba |
Modeling scenario variability as crosscutting mechanisms. |
AOSD |
2009 |
DBLP DOI BibTeX RDF |
software product line, requirements models, variability management |
| 1 | Rohit Gheyi, Tiago Massoni, Paulo Borba, Augusto Sampaio |
A Complete Set of Object Modeling Laws for Alloy. |
SBMF |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo Borba |
An Introduction to Software Product Line Refactoring. |
GTTSE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Márcio de Medeiros Ribeiro, Paulo Borba |
Improving Guidance when Restructuring Variabilities in Software Product Lines. |
CSMR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rohit Gheyi, Tiago Massoni, Paulo Borba |
Algebraic Laws for Feature Models. |
J. UCS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Tiago Massoni, Rohit Gheyi, Paulo Borba |
A Framework for Establishing Formal Conformance between Object Models and Object-Oriented Programs. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodrigo Bonifácio, Paulo Borba |
Towards a Crosscutting Approach for Variability Management. |
SPLC |
2008 |
DBLP BibTeX RDF |
|
| 1 | Vander Alves, Fernando Calheiros, Vilmar Nepomuceno, Andrea Menezes, Sérgio Soares, Paulo Borba |
FLiP: Managing Software Product Line Extraction and Reaction with Aspects. |
SPLC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Márcio de Medeiros Ribeiro, Pedro Matos Jr., Paulo Borba |
A decision model for implementing product lines variabilities. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
software metrics, modularity, software product lines |
| 1 | Tiago Massoni, Rohit Gheyi, Paulo Borba |
Formal Model-Driven Program Refactoring. |
FASE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sérgio Soares, Fernando Calheiros, Vilmar Nepomuceno, Andrea Menezes, Paulo Borba, Vander Alves |
Supporting software product lines development: FLiP - product line derivation tool. |
OOPSLA Companion |
2008 |
DBLP DOI BibTeX RDF |
refactoring, software product lines, tool support |
| 1 | Eduardo Aranha, Paulo Borba |
Using Process Simulation to Assess the Test Design Effort Reduction of a Model-Based Testing Approach. |
ICSP |
2008 |
DBLP DOI BibTeX RDF |
test design effort, process improvement assessment, model-based testing, technology adoption, process simulation |
| 1 | Vander Alves, Pedro Matos, Leonardo Cole, Alexandre Vasconcelos, Paulo Borba, Geber Ramalho |
Extracting and Evolving Code in Product Lines with Aspect-Oriented Programming. |
T. Aspect-Oriented Software Development |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Rohit Gheyi, Tiago Massoni, Paulo Borba |
A Static Semantics for Alloy and its Impact in Refactorings. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sérgio Soares, Paulo Borba |
Towards reusable and modular aspect-oriented concurrency control. |
SAC |
2007 |
DBLP DOI BibTeX RDF |
implementation approaches and techniques, framework, aspect-oriented programming, concurrency control, AspectJ, web information systems |
| 1 | Sérgio Soares, Paulo Borba, Ricardo Massa Ferreira Lima |
Concurrency Control Modularization with Aspect-Oriented Programming. |
COMPSAC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Eduardo Aranha, Paulo Borba |
An Estimation Model for Test Execution Effort. |
ESEM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Fernando Calheiros, Vilmar Nepomuceno, Paulo Borba, Sérgio Soares, Vander Alves |
Product Line Variability Refactoring Tool. |
WRT |
2007 |
DBLP BibTeX RDF |
|
| 1 | Roberta Arcoverde, Sérgio Soares, Patrícia Lustosa, Paulo Borba |
AJaTS: AspectJ Transformation System. |
WRT |
2007 |
DBLP BibTeX RDF |
|
| 1 | Phil Greenwood, Thiago T. Bartolomei, Eduardo Figueiredo, Marcos Dósea, Alessandro F. Garcia, Nélio Cacho, Cláudio Sant'Anna, Sérgio Soares, Paulo Borba, Uirá Kulesza, Awais Rashid |
On the Impact of Aspectual Decompositions on Design Stability: An Empirical Study. |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Tiago Massoni, Rohit Gheyi, Paulo Borba |
An Approach to Invariant-based Program Refactoring. |
ECEASST |
2006 |
DBLP BibTeX RDF |
|
| 1 | Sérgio Soares, Paulo Borba, Eduardo Laureano |
Distribution and persistence as aspects. |
Softw., Pract. Exper. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Vander Alves, Rohit Gheyi, Tiago Massoni, Uirá Kulesza, Paulo Borba, Carlos José Pereira de Lucena |
Refactoring product lines. |
GPCE |
2006 |
DBLP DOI BibTeX RDF |
refactoring, software product lines, feature model |
| 1 | Eduardo Aranha, Paulo Borba, José Lima |
Model Simulation for Test Execution Capacity Estimation. |
ISSRE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Uirá Kulesza, Vander Alves, Alessandro F. Garcia, Carlos José Pereira de Lucena, Paulo Borba |
Improving Extensibility of Object-Oriented Frameworks with Aspect-Oriented Programming. |
ICSR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Rohit Gheyi, Tiago Massoni, Paulo Borba |
An Abstract Equivalence Notion for Object Models. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Vander Alves, Pedro Matos Jr., Leonardo Cole, Paulo Borba, Geber Ramalho |
Extracting and Evolving Mobile Games Product Lines. |
SPLC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Rohit Gheyi, Tiago Massoni, Paulo Borba |
A rigorous approach for proving model refactorings. |
ASE |
2005 |
DBLP DOI BibTeX RDF |
theorem proving, model refactoring |
| 1 | Leonardo Cole, Paulo Borba |
Deriving refactorings for AspectJ. |
AOSD |
2005 |
DBLP DOI BibTeX RDF |
aspect-oriented programming, refactoring, separation of concerns, AspectJ |
| 1 | Vander Alves, Ivan Cardim, Heitor Vital, Pedro H. M. Sampaio, Alexandre L. G. Damasceno, Paulo Borba, Geber Ramalho |
Comparative Analysis of Porting Strategies in J2ME Games. |
ICSM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Tiago Massoni, Rohit Gheyi, Paulo Borba |
A model-driven approach to formal refactoring. |
OOPSLA Companion |
2005 |
DBLP DOI BibTeX RDF |
program transformation, refactoring, object models |
| 1 | Paulo Borba, Augusto Sampaio, Ana Cavalcanti, Márcio Cornélio |
Algebraic reasoning for object-oriented programming. |
Sci. Comput. Program. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Andrade, André Santos, Paulo Borba |
AspectH: Uma Extensão Orientada a Aspectos de Haskel. |
RITA |
2004 |
DBLP BibTeX RDF |
|
| 1 | Rohit Gheyi, Paulo Borba |
Refactoring Alloy Specifications. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Leonardo Cole, Paulo Borba |
Deriving refactorings for aspectJ. |
OOPSLA Companion |
2004 |
DBLP DOI BibTeX RDF |
aspect-oriented programming, refactoring, separation of concerns, aspectJ |
| 1 | Augusto Sampaio, Paulo Borba |
Transformation Laws for Sequential Object-Oriented Programming. |
PSSE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ayla Dantas, Joseph W. Yoder, Paulo Borba, Ralph E. Johnson |
Using Aspects to Make Adaptive Object-Models Adaptable. |
RAM-SE |
2004 |
DBLP BibTeX RDF |
|
| 1 | Ayla Dantas, Paulo Borba |
Developing Adaptive J2ME Applications Using AspectJ. |
J. UCS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Sérgio Soares, Paulo Borba |
Aspect-oriented implementation method: progressive or non-progressive approach? |
OOPSLA Companion |
2003 |
DBLP DOI BibTeX RDF |
implementation method, progressive implementation, Java, aspect-oriented programming, separation of concerns, AspectJ |
| 1 | Paulo Borba, Augusto Sampaio, Márcio Cornélio |
A Refinement Algebra for Object-Oriented Programming. |
ECOOP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Sérgio Soares, Paulo Borba |
Concurrency Control with Java and Relational Databases. |
COMPSAC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre Mota, Paulo Borba, Augusto Sampaio |
Mechanical Abstraction of CSPZ Processes. |
FME |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Sérgio Soares, Eduardo Laureano, Paulo Borba |
Implementing distribution and persistence aspects with aspectJ. |
OOPSLA |
2002 |
DBLP DOI BibTeX RDF |
aspect-oriented programming, distributed programming, separation of concerns, aspectJ, object persistence |
| 1 | Paulo Borba, Augusto Sampaio |
Basic Laws of ROOL: an object-oriented language. |
RITA |
2000 |
DBLP BibTeX RDF |
|
| 1 | Márcio Cornélio, Paulo Borba |
Structuring Meachanisms for an Object-Oriented Formal Specification Language. |
ICSR |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo Borba |
Systematic Development of Concurrent Object-Oriented Programs. |
Electr. Notes Theor. Comput. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo Borba, Silvio Romero de Lemos Meira |
A System for Translating Executable VDM Specifiactions into Lazy ML. |
Softw., Pract. Exper. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo Borba, Silvio Romero de Lemos Meira |
From VDM specifications to functional prototypes. |
Journal of Systems and Software |
1993 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #66 of 66 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")