Search
Search Constraints
You searched for: Author/Creator Jilani, Lamia Labed- Jilani, Lamia Labed [remove] 2
- 004 2
- Computer architecture -- Periodicals 2
- Computer systems -- Periodicals 2
- absolute correctness -- relative correctness -- software processes -- corrective maintenance -- adaptive maintenance -- program repair -- program derivation -- whitebox reuse -- program upgrade -- program merger -- test driven design -- extreme programming 1
- while loops -- invariant assertions -- invariant relations -- invariant functions -- sufficient conditions of correctness -- necessary conditions of correctness -- sufficient condition of termination -- necessary condition of termination 1