Text this: Designing, engineering, and analyzing reliable and efficient software