next up previous
Next: Definitions Up: Formal Foundations Previous: Formal Foundations

A Preview of the Main Theorem

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