Configuration Management: Theory and Practice