A classical approach to program derivation is to progressively extend a simple specification and then incrementally refine it to an implementation. We claim this approach is hard or impractical when reverse engineering legacy software architectures. We present a case study that shows optimizations and pushouts - in addition to refinements and extensions - are essential for practical stepwise development of complex software architectures.

Revision: r1.1 - 07 Aug 2012 - 20:08 - WalterBinder
GPCE13 > P84Riche
Copyright © 1999-2020 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback