Annotationen zur Anwendung beim Refactoring 

Die Restrukturierung von Programmcode, das Refactoring, verfolgt das Ziel, die Wartbarkeit eines Softwaresystems zu  verbessern.
Dabei werden häufig Entwurfsmuster eingesetzt. Um das ursprüngliche Verhalten des Programms bei Umstrukturierung zu erhalten, muss
sowohl das Programm als auch die Wirkung der Refactoring-Operation sehr gut verstanden sein. Refactoring-Operationen setzen
bestimmte Bedingungen im Programmcode voraus. Eine Möglichkeit, syntaktische und semantische Details für ein spezifisches
Codefragment zu bewahren, bieten dokumentierende Annotationen, die einerseits maschinenverarbeitbar und andererseits für den
Entwickler lesbar sind. In dieser Arbeit werden Annotationen vorgestellt, die explizite Semantikinformationen enthalten und
durch codeevaluierende Werkzeuge oder manuell in den Quelltext eingefügt werden. Mit geeigneten Annotationen ist es möglich,
automatisiert Vorbedingungen für eine Refactoring-Operation, speziell auch für die Anwendung von Entwurfsmustern zu prüfen.

Klaus Meffert (www.klaus-meffert.de) und Ilka Philippow