Dimensions of Formality: A Case Study for MKM in Software Engineering