Return to Article Details Towards a Formalization of a Framework to Express and Reason about Software Engineering Methods Download Download PDF