Статические модели объектно-ориентированных программных систем ...