Без заголовка

По факту дисциплины не "расширяются" (это ведь у них от "добавление элементов в kernel как метамодель"), а специализируются (все примеры в Essence именно об этом. Не просто "программная инженерия", а "программная инженерия критически важного софта" (например, с доказательствами правильности программ) -- и все остальные примеры дисциплин именно так). В стандарте явно оговорено, что простейшая практика -- это только элементы kernel и kernel extension. Method пока будет метод. Слово "методология" в русском более занято всякими СМД-методологиями, а в английском во многих местах (например, в ISO 24774) оговаривается, что methodology это синоним method -- поэтому в программистских текстах часто говорят про "методологию разработки" наравне с "методом разработки". Это, понятно, состав всех практик.