On What Exactly Is Going On When Software Is Developed Step-by-Step.

T. S. E. Maibaum, Wladyslaw M. Turski

Browse the full ICSE paper archive.