Mathematical Approaches to Software Quality