Stav dette: Mathematical frameworks for component software