Crossing Software Abstraction Boundaries to Facilitate Software Engineering - Reiter, Pemma (ProQuest Dissertations and Theses, 2025)