Abstraction: Imposing Order on Complexity in Software Design