Formal approaches to sqa in software engineering