Structure-oriented merging of revisions of software documents
SCM '91 Proceedings of the 3rd international workshop on Software configuration management
Building integrated software development environments. Part I: tool specification
ACM Transactions on Software Engineering and Methodology (TOSEM)
Version management for tightly integrated software engineering environments
SEE '95 Proceedings of the 1995 Software Engineering Environment Conferences
MolhadoRef: a refactoring-aware infrastructure for OO programs
eclipse '06 Proceedings of the 2006 OOPSLA workshop on eclipse technology eXchange
Models and tools for managing development processes
Models and tools for managing development processes
Hi-index | 0.00 |
We present a graph-based formal approach to revision control that takes consistency relations between revisions of different documents into account. We use a new powerful graph grammar specification language, called PROGRESS, for the rule-based specification of consistency preserving changes to revision graphs. In addition to coarse-grained relations between revisions, we also deal with fine-grained relations between increments which belong to revisions of different documents. Our work provides the formal basis for the construction of a syntax-directed hypertext editor which supports control of revisions and their interrelations.