Paulo Borba

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Tiago Massoni

> Home > Persons > Paulo Borba

Publications

2011
[j11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jucs/GheyiMB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jucs/GheyiMB11
Rohit Gheyi, Tiago Massoni, Paulo Borba:
Automatically Checking Feature Model Refactorings. J. Univers. Comput. Sci. 17(5): 684-711 (2011)
2010
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/MassoniGB10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/MassoniGB10
Tiago Massoni, Rohit Gheyi, Paulo Borba:
Synchronizing Model and Program Refactoring. SBMF 2010: 96-111
2009
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/GheyiMBS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/GheyiMBS09
Rohit Gheyi, Tiago Massoni, Paulo Borba, Augusto Sampaio:
A Complete Set of Object Modeling Laws for Alloy. SBMF 2009: 204-219
2008
[j10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jucs/GheyiMB08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jucs/GheyiMB08
Rohit Gheyi, Tiago Massoni, Paulo Borba:
Algebraic Laws for Feature Models. J. Univers. Comput. Sci. 14(21): 3573-3591 (2008)
[c46]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fase/MassoniGB08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/MassoniGB08
Tiago Massoni, Rohit Gheyi, Paulo Borba:
Formal Model-Driven Program Refactoring. FASE 2008: 362-376
2006
[j8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/MassoniGB06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/MassoniGB06
Tiago Massoni, Rohit Gheyi, Paulo Borba:
An Approach to Invariant-based Program Refactoring. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 3 (2006)
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/gpce/AlvesGMKBL06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gpce/AlvesGMKBL06
Vander Alves, Rohit Gheyi, Tiago Massoni, Uirá Kulesza, Paulo Borba, Carlos José Pereira de Lucena:
Refactoring product lines. GPCE 2006: 201-210
[c26]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/MassoniGB08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/MassoniGB08
Tiago Massoni, Rohit Gheyi, Paulo Borba:
A Framework for Establishing Formal Conformance between Object Models and Object-Oriented Programs. SBMF 2006: 189-209
2005
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/GheyiMB05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/GheyiMB05
Rohit Gheyi, Tiago Massoni, Paulo Borba:
A rigorous approach for proving model refactorings. ASE 2005: 372-375
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/MassoniGB05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/MassoniGB05
Tiago Massoni, Rohit Gheyi, Paulo Borba:
A model-driven approach to formal refactoring. OOPSLA Companion 2005: 124-125
[c21]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/sbes/MassoniGB05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbes/MassoniGB05
Tiago Massoni, Rohit Gheyi, Paulo Borba:
Formal Refactoring for UML Class Diagrams. SBES 2005: 152-167
[c19]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/GheyiMB07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GheyiMB07
Rohit Gheyi, Tiago Massoni, Paulo Borba:
A Static Semantics for Alloy and its Impact in Refactorings. SBMF 2005: 209-233
2004
[c15]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/GheyiMB05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GheyiMB05
Rohit Gheyi, Tiago Massoni, Paulo Borba:
An Abstract Equivalence Notion for Object Models. SBMF 2004: 3-21

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.