Ресурсы для методов разработки на основе фактических данных

Я интересуюсь исследованиями и бумагами, подробно излагающими пробные версии, которые исследуют доказательство для различных методов разработки на объектно-ориентированных языках. Я особенно стремлюсь исследованиями, чтобы производительность меры или рассмотрела влияние современных IDE. Можете Вы указывать рекомендовать какие-либо хорошие ресурсы для этого? Много работы было сделано в этой области в последнее время?