Evaluation criteria
8) What aspects of the method are formalized?
- Formalization is highly useful - although it is impossible to accomplish fully - because it reduces inconsistent uses of methods.
- Formalization improves consistency checking and use of more analytical methods to analyze descriptions.
- Code generation necessitates that methods are syntax and semantics are formal (at least those parts of the method that are used for retrieving and building code).
- Formalization makes it possible, for example, to suggest more rigid versions of methods for novices, and thereby to guide them to derive system descriptions "correctly".