@conference {Riche:2012,
	title = {Pushouts in Software Architecture Design},
	booktitle = {GPCE {\textquoteright}12: Proceedings of the 11th International Conference on Generative Programming and Component Engineering},
	year = {2012},
	month = {September},
	pages = {84{\textendash}92},
	address = {Dresden, Germany},
	abstract = {<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{\textemdash}in addition to refinements and extensions{\textemdash}are essential for practical stepwise development of complex software architectures.</p>
},
	attachments = {https://haslab.uminho.pt/sites/default/files/rcgoncalves/files/riche-2012.pdf},
	author = {Rich{\'e}, Taylor L. and Rui C. Gon{\c c}alves and Marker, Bryan and Batory, Don}
}