The following pages link to Rohit Gheyi (Q714874):
Displayed 6 items.
- A theory of software product line refinement (Q714875) (← links)
- (Q2848432) (← links)
- A Static Semantics for Alloy and its Impact in Refactorings (Q2870336) (← links)
- A Framework for Establishing Formal Conformance between Object Models and Object-Oriented Programs (Q2873618) (← links)
- Synchronizing Model and Program Refactoring (Q2999312) (← links)
- A Theory of Software Product Line Refinement (Q3585040) (← links)