Software Engineering Research Software Engineering Research on Formalization Modern CASE tools and formal methods systems are more than just repositories of specification and design information. They can also be used for refinement and code generation. Refinement is the process of transforming one specification into a more detailed specification. Specifications and their refinements typically do not use the same specification language.
Code generation is also a transformation, where the target language is a programming language.
A more specific objective is to apply these techniques to the problem of translating a CASE repository into logical theories of a formal methods system.