Searching for "Re-engineering Loops." – sorted by Relevance.
-
Automatic Derivation of Loop Termination Conditions to Support Verification
- in guiding the re-engineering of such loops. As an example of applying the Progress Conditions Method
- Cited by 2 (0 self) – Add To MetaCart
-
Reengineering Loops
- Abstract Re-engineering Loops Si Pan, R.Geoff Dromey Software Quality Institute, Griffith
- Cited by 1 (1 self) – Add To MetaCart

