Здравствуйте, es3000, Вы писали:
E>ISpellChecker — это же и есть инверсия зависимости?

Да, как технический прием.
В более общем смысле — это абстракция, которую проектировщик выделил и наделил определенным смыслом в рамках решения задачи создания текстового редактора.