- analýza umístění anotací
- umístění mimo kód do souboru u package
- analýza použitelnosti formulí
- "porovnání rychlostí v posledních 50ti revizích s grafem"
- naměřit všechna měření dopředu
-
gramatika - ne Xtext, doplnit závorky do logiky, doplnit lambda funkce (násobení konstantou)
-
instrumentace
- v důsledku dynamické změny chování na základě formulí
- měření nelze provádět na každém volání (úbytek výkonu)
-
externí editor
- zobrazení formulí, které se týkají konkrétní metody
- přechod na dotčené metody
-
analýza časové náročnosti a časová osa - viz. česká specifikace
-
anotace u generátoru popisující návratové typy hodnot => omezení výběru v intelisence při zápisu formule