Rohit Gheyi | Paulo Borba

Latest

Safe Evolution of Product Lines Using Configuration Knowledge Laws
Detecting Overly Strong Preconditions in Refactoring Engines
An idiom to represent data types in Alloy
Assessing fine-grained feature dependencies
A Product Line of Theories for Reasoning about Safe Evolution of Product Lines
Safe Evolution of Product Populations and Multi Product Lines
A Toolset for Checking SPL Refinements
Making refactoring safer through impact analysis
Safe composition of configuration knowledge-based software product lines
A Theory of Software Product Line Refinement
Making Software Product Line Evolution Safer
Automatically Checking Feature Model Refactorings
Integrating Product Line Refactoring and Derivation Tools: Challenges and Potential Solutions
Safe composition of configuration knowledge-based software product lines
Synchronizing Model and Program Refactoring
A Theory of Software Product Line Refinement
Synchronizing Model and Program Refactoring
A complete set of object modeling laws for Alloy
A design rule language for aspect-oriented programming
A complete and minimal set of algebraic laws for feature models
A Framework for Establishing Formal Conformance between Object Models and Object-Oriented Programs
Algebraic Laws for Feature Models
Formal Model-Driven Program Refactoring
A Static Semantics for Alloy and its Impact in Refactorings
Formally Introducing Alloy Idioms
A Formal Framework for Establishing Conformance between Object Models and Object-Oriented Programs
A Theory for Feature Models in Alloy
An Approach to Invariant-based Program Refactoring
An Approach to Invariant-based Program Refactoring
Refactoring product lines
Sound Object Model Refactorings
A Model-driven Approach to Formal Refactoring
A Rigorous Approach for Proving Model Refactorings
An Abstract Equivalence Notion for Object Models
Formal Refactoring for UML Class Diagrams
Formal Refactorings for Object Models
Type-safe refactorings for Alloy
A UML Class Diagram Analyzer
An Abstract Equivalence Notion for Object Models
Basic Laws of Object Modeling
Refactoring Alloy Specifications
Refactoring Alloy specifications