Text this: Mathematical Approaches to Software Quality