Jean-Michel Hufflen

Learn More
This article reports our experience in the reimplementing of the bibliography program BIBT E X, associated with the L A T E X word processor. First, we present the new features of our new version—called MlBIBT E X—in comparison with " old " BIBT E X and justify them. By the way, we show that tools for reeingineering data—that is, bibliography files—are(More)
Within a component-based approach allowing dynamic reconfigurations, sequences of successive reconfiguration operations are expressed by means of reconfiguration paths, possibly infinite. We show that a subclass of such paths can be modelled by finite state automata. This feature allows us to use techniques related to model-checking to prove some(More)
  • 1