Intelligent programming constraint maintenance in software reengineering

An ongoing research and development effort focused on environments to support the maintenance and reengineering of large software systems is discussed. An approach that provides more freedom during program editing is described. This approach does not ignore programming constraints entirely. It recognizes constraint violations and records them and allows the user to resolve them later. The following topics are discussed: classification of programming constraints; the use of daemons; interleaved constraint violation recognition/resolution and incremental information update: relaxed constraint maintenance; integrated environment; and language independence.<
>