Key points are not available for this paper at this time.
Les systèmes de modification puissants pour développer des documents logiciels complexes sont difficiles à concevoir. En plus d'exiger des algorithmes incrémentaux efficaces et des structures de données complexes, de tels éditeurs doivent prendre en charge des styles de modification flexibles, fournir une interface utilisateur cohérente, cohérente et puissante, prendre en charge des variations individuelles et des configurations à l'échelle du projet, maintenir une base de données d'informations partageables concernant les documents en cours de modification, et s'intégrer harmonieusement avec les autres outils de l'environnement. Pan est un système de modification et de navigation basé sur la langue qui présente ces caractéristiques. Cet article examine la conception et l'ingénierie de Pan, en prêtant une attention particulière à un certain nombre de problèmes qui imprègnent le système : vérification et analyse incrémentales, rétention d'informations en présence de changements, tolérance aux erreurs et aux anomalies, et facilités d'extension.
Ballance et al. (Thu,) ont étudié cette question.