%0 Conference Paper
%B GPCE '12: Proceedings of the 11th International Conference on Generative Programming and Component Engineering
%D 2012
%T Pushouts in Software Architecture Design
%A Riché, Taylor L.
%A Rui C. Gonçalves
%A Marker, Bryan
%A Batory, Don
%C Dresden, Germany
%P 84–92
%X <p>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.</p>
%8 September
%> https://haslab.uminho.pt/sites/default/files/rcgoncalves/files/riche-2012.pdf