Towards a Generic Management of Change

@inproceedings{Hutter2004TowardsAG,
  title={Towards a Generic Management of Change},
  author={Dieter Hutter},
  year={2004}
}
In this paper we sketch the outline and the underlying theoretical framework for a general repository to maintain mathematical or logic-based documents while keeping track of the various semantical dependencies between different parts of various types of documents (documentations, specifications, proofs, etc). The sketched approach is a generalization of the notion of development graphs (as implemented in the MAYA-system) used to maintain formal software developments. We isolate maintenance… CONTINUE READING