Formalisierung visueller Modellierungssprachen objektorientierter MethodenRoger SüttenbachVyprodánoPohlídat