Stav dette: Crossing Software Abstraction Boundaries to Facilitate Software Engineering