The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Paulo Borba: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Leonardo Cole, Paulo Borba
    Deriving refactorings for AspectJ. [Citation Graph (0, 0)][DBLP]
    AOSD, 2005, pp:123-134 [Conf]
  2. Sérgio Soares, Paulo Borba
    Concurrency Control with Java and Relational Databases. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2002, pp:843-849 [Conf]
  3. Ayla Dantas, Joseph W. Yoder, Paulo Borba, Ralph Johnson
    Using Aspects to Make Adaptive Object-Models Adaptable. [Citation Graph (0, 0)][DBLP]
    RAM-SE, 2004, pp:9-19 [Conf]
  4. Paulo Borba, Augusto Sampaio, Márcio Cornélio
    A Refinement Algebra for Object-Oriented Programming. [Citation Graph (0, 0)][DBLP]
    ECOOP, 2003, pp:457-482 [Conf]
  5. Alexandre Mota, Paulo Borba, Augusto Sampaio
    Mechanical Abstraction of CSPZ Processes. [Citation Graph (0, 0)][DBLP]
    FME, 2002, pp:163-183 [Conf]
  6. Vander Alves, Rohit Gheyi, Tiago Massoni, Uirá Kulesza, Paulo Borba, Carlos José Pereira de Lucena
    Refactoring product lines. [Citation Graph (0, 0)][DBLP]
    GPCE, 2006, pp:201-210 [Conf]
  7. 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. [Citation Graph (0, 0)][DBLP]
    ICSM, 2005, pp:123-132 [Conf]
  8. Uirá Kulesza, Vander Alves, Alessandro F. Garcia, Carlos José Pereira de Lucena, Paulo Borba
    Improving Extensibility of Object-Oriented Frameworks with Aspect-Oriented Programming. [Citation Graph (0, 0)][DBLP]
    ICSR, 2006, pp:231-245 [Conf]
  9. Márcio Cornélio, Paulo Borba
    Structuring Meachanisms for an Object-Oriented Formal Specification Language. [Citation Graph (0, 0)][DBLP]
    ICSR, 2000, pp:402-419 [Conf]
  10. Eduardo Aranha, Paulo Borba, José Lima
    Model Simulation for Test Execution Capacity Estimation. [Citation Graph (0, 0)][DBLP]
    ISSRE, 2006, pp:231-236 [Conf]
  11. Rohit Gheyi, Tiago Massoni, Paulo Borba
    A rigorous approach for proving model refactorings. [Citation Graph (0, 0)][DBLP]
    ASE, 2005, pp:372-375 [Conf]
  12. Leonardo Cole, Paulo Borba
    Deriving refactorings for aspectJ. [Citation Graph (0, 0)][DBLP]
    OOPSLA Companion, 2004, pp:202-203 [Conf]
  13. Tiago Massoni, Rohit Gheyi, Paulo Borba
    A model-driven approach to formal refactoring. [Citation Graph (0, 0)][DBLP]
    OOPSLA Companion, 2005, pp:124-125 [Conf]
  14. Sérgio Soares, Paulo Borba
    Aspect-oriented implementation method: progressive or non-progressive approach? [Citation Graph (0, 0)][DBLP]
    OOPSLA Companion, 2003, pp:128-129 [Conf]
  15. Sérgio Soares, Eduardo Laureano, Paulo Borba
    Implementing distribution and persistence aspects with aspectJ. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 2002, pp:174-190 [Conf]
  16. Sérgio Soares, Paulo Borba
    Towards reusable and modular aspect-oriented concurrency control. [Citation Graph (0, 0)][DBLP]
    SAC, 2007, pp:1293-1294 [Conf]
  17. Vander Alves, Pedro Matos Jr., Leonardo Cole, Paulo Borba, Geber Ramalho
    Extracting and Evolving Mobile Games Product Lines. [Citation Graph (0, 0)][DBLP]
    SPLC, 2005, pp:70-81 [Conf]
  18. Paulo Borba
    Systematic Development of Concurrent Object-Oriented Programs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:14, n:, pp:- [Journal]
  19. Rohit Gheyi, Paulo Borba
    Refactoring Alloy Specifications. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:95, n:, pp:227-243 [Journal]
  20. Rohit Gheyi, Tiago Massoni, Paulo Borba
    An Abstract Equivalence Notion for Object Models. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:130, n:, pp:3-21 [Journal]
  21. Paulo Borba, Silvio Romero de Lemos Meira
    From VDM specifications to functional prototypes. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1993, v:21, n:3, pp:267-278 [Journal]
  22. Ayla Dantas, Paulo Borba
    Developing Adaptive J2ME Applications Using AspectJ. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2003, v:9, n:8, pp:935-955 [Journal]
  23. Paulo Borba, Augusto Sampaio
    Basic Laws of ROOL: an object-oriented language. [Citation Graph (0, 0)][DBLP]
    RITA, 2000, v:7, n:1, pp:49-68 [Journal]
  24. Carlos Andrade, André Santos, Paulo Borba
    AspectH: Uma Extensão Orientada a Aspectos de Haskel. [Citation Graph (0, 0)][DBLP]
    RITA, 2004, v:11, n:2, pp:21-32 [Journal]
  25. Paulo Borba, Augusto Sampaio, Ana Cavalcanti, Márcio Cornélio
    Algebraic reasoning for object-oriented programming. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2004, v:52, n:, pp:53-100 [Journal]
  26. Paulo Borba, Silvio Romero de Lemos Meira
    A System for Translating Executable VDM Specifiactions into Lazy ML. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1997, v:27, n:3, pp:271-289 [Journal]
  27. Sérgio Soares, Paulo Borba, Eduardo Laureano
    Distribution and persistence as aspects. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 2006, v:36, n:7, pp:711-759 [Journal]
  28. Sérgio Soares, Paulo Borba, Ricardo Lima
    Concurrency Control Modularization with Aspect-Oriented Programming. [Citation Graph (0, 0)][DBLP]
    COMPSAC (1), 2007, pp:295-300 [Conf]
  29. 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. [Citation Graph (0, 0)][DBLP]
    ECOOP, 2007, pp:176-200 [Conf]
  30. Augusto Sampaio, Paulo Borba
    Transformation Laws for Sequential Object-Oriented Programming. [Citation Graph (0, 0)][DBLP]
    PSSE, 2004, pp:18-63 [Conf]
  31. Rohit Gheyi, Tiago Massoni, Paulo Borba
    A Static Semantics for Alloy and its Impact in Refactorings. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:184, n:, pp:209-233 [Journal]

  32. Modeling scenario variability as crosscutting mechanisms. [Citation Graph (, )][DBLP]


  33. Improving Guidance when Restructuring Variabilities in Software Product Lines. [Citation Graph (, )][DBLP]


  34. AJaTS: AspectJ Transformation System. [Citation Graph (, )][DBLP]


  35. Product Line Variability Refactoring Tool. [Citation Graph (, )][DBLP]


  36. Formal Model-Driven Program Refactoring. [Citation Graph (, )][DBLP]


  37. A Theory of Software Product Line Refinement. [Citation Graph (, )][DBLP]


  38. Using Process Simulation to Assess the Test Design Effort Reduction of a Model-Based Testing Approach. [Citation Graph (, )][DBLP]


  39. Supporting software product lines development: FLiP - product line derivation tool. [Citation Graph (, )][DBLP]


  40. A decision model for implementing product lines variabilities. [Citation Graph (, )][DBLP]


  41. FLiP: Managing Software Product Line Extraction and Reaction with Aspects. [Citation Graph (, )][DBLP]


  42. Towards a Crosscutting Approach for Variability Management. [Citation Graph (, )][DBLP]


  43. An Estimation Model for Test Execution Effort. [Citation Graph (, )][DBLP]


  44. A Complete Set of Object Modeling Laws for Alloy. [Citation Graph (, )][DBLP]


  45. A Framework for Establishing Formal Conformance between Object Models and Object-Oriented Programs. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.007secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002