Abstract
The paper describes the AFORT system intended to be an integrated environment for support of analysis, transformation and instrumentation of the FORTRAN 77 programs with taking into account information that is known about the program being processed and conveyed in formalized comments (annotations). The AFORT system is based upon two approaches suggested by the author: so-called annotated program concretization whereby a given general-purpose program can be correctly transformed into a number of special-purpose programs of higher quality, and so-called implausibility properties (anomalies) which permit us to detect dynamic errors statically and informal errors formally.