Pushouts in Software Architecture Design

Thumbnail Image
Date
2013
Authors
Riche,TL
Rui Carlos Gonçalves
Marker,B
Batory,D
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
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.
Description
Keywords
Citation