Princípy duality medzi konštruovaním a správaním programov