|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 11 occurrences of 7 keywords
|
|
|
|
|
Results
Found 16 publication records. Showing 16 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Rohit Gheyi, Tiago Massoni, Paulo Borba |
Automatically Checking Feature Model Refactorings.  |
J. UCS  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Gustavo Soares, Bruno Catao, Catuxe Varjao, Solon Aguiar, Rohit Gheyi, Tiago Massoni |
Analyzing Refactorings on Software Repositories. |
SBES |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gustavo Soares, Rohit Gheyi, D. Serey, Tiago Massoni |
Making Program Refactoring Safer. |
IEEE Software |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tiago Massoni, Rohit Gheyi, Paulo Borba |
Synchronizing Model and Program Refactoring. |
SBMF |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Falconieri Freitas, Márcio Cornélio, Tiago Massoni, Rohit Gheyi |
Object-oriented Programming Laws for Annotated Java Programs |
RULE |
2009 |
DBLP DOI BibTeX RDF |
|
| 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 | 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 | Tiago Massoni, Rohit Gheyi, Paulo Borba |
Formal Model-Driven Program Refactoring. |
FASE |
2008 |
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 | Tiago Massoni, Rohit Gheyi, Paulo Borba |
An Approach to Invariant-based Program Refactoring. |
ECEASST |
2006 |
DBLP 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 | Rohit Gheyi, Tiago Massoni, Paulo Borba |
An Abstract Equivalence Notion for Object Models. |
Electr. Notes Theor. Comput. Sci. |
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 | 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 | Rohit Gheyi, Tiago Massoni |
Formal refactorings for object models. |
OOPSLA Companion |
2005 |
DBLP DOI BibTeX RDF |
theorem proving, object models, model refactoring |
Displaying result #1 - #16 of 16 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")