68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)