Tato práce se zabývá přidáním podpory aspektově orientovaného programování pro systém algebraických specifikací Maude. Byl vytvořen jazyk pro definování aspektů. Dále byl naimplementovaný aspect weaver podporující daný ...