Summary Results from 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.

The proceeding theorems and corollaries generate several key results:

• All three categories of software engineering methodologies are complete for static environments. See Theorems 2, 3, and 4.
• Only cyclical and WaterSluice are complete for dynamic environments. See Corollaries 2.4, 3.4, and 4.1.
• Only WaterSluice is complete for non-monotonic environments. See Corollaries 2.5, 3.5, and 4.2.
• The best case performance of sequential software engineering methodology is O(N). See Corollaries 2.1.
• The best case performance of cyclical and WaterSluice software engineering methodologies is O(1). See Corollaries 3.1, and 4.3.
• The worst case performance of all three categories of methodologies are the same. See Corollaries 2.2, 3.2, and 4.4.
• On average, the sequential methodology will find a solution in O(N). See Corollary 2.3. On average, the cyclical methodology will find a solution in O(N). ^5.5 See Corollary 3.3. On average, the WaterSluice will find a solution an order-of-magnitude less than N. See Corollary 4.5.

The observations are summarized in Table 5.1 on page and Table 5.2 on page .