** Next:** Definitions
** Up:** Formal Foundations
** Previous:** Formal Foundations

**Theorem 1**
Different software engineering methodologies have significant performance variations depending on the
given environment.
A software engineering methodology that is goal focused, manages conflicts,
and differentiates between different priorities is best suited for dynamic
non-monotonic environments.

To prove this theorem, formal definitions of software engineering methodologies, performance, and environment are now presented. The variations in performance of
different software engineering methodologies are sufficiently great as to make the choice of which
software engineering methodology to use
dependent on the
surrounding environment.

*Ronald LeRoi Burback*

*1998-12-14*