Rohit Gheyi

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A framework for establishing formal conformance between object models and object-oriented programs Electronic Notes in Theoretical Computer Science	2014-01-24	Paper
A static semantics for Alloy and its impact in refactorings Electronic Notes in Theoretical Computer Science	2014-01-17	Paper
An abstract equivalence notion for object models	2013-09-26	Paper
A theory of software product line refinement Theoretical Computer Science	2012-10-11	Paper
Synchronizing model and program refactoring Lecture Notes in Computer Science	2011-05-12	Paper
A theory of software product line refinement Lecture Notes in Computer Science	2010-08-31	Paper

Research outcomes over time

This page was built for person: Rohit Gheyi