Sciweavers

ENTCS
2002
90views more  ENTCS 2002»
13 years 10 months ago
Refactoring in maintenance and development of Z specifications
Once you have proved your refinement correct, that is not the end. Real products, and their accompanying specifications, develop over time, with new improved versions having added...
Susan Stepney, Fiona Polack, Ian Toyn