DEF/reverse engineering

Similar terms and concepts {{{similar}}}

Definition

DEF/reverse engineering

The construction of a →blueprint for a given artefact

Explanation

• →decomposition
• Non-Monotonic Refinement
• Workflow

Relations with other concepts

{{{relations}}}

Pragmatics

It seems that the major contribution to system analysis (validation) comes from the modelling part itself. By abstracting and formalising more bugs are found than by verification lateron. This makes a transparent and systematic way of system modelling already a useful task in itself.

Examples

{{{examples}}}

Open questions

{{{open}}}

---

This is a definition from Taxonomy of Computer Science (Hanno Wupper et al. 2008).