Please use this identifier to cite or link to this item:
|Title:||Pushouts in Software Architecture Design|
Rui Carlos Gonçalves
|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.|
|Appears in Collections:||Non INESC TEC publications - Articles in International Journals|
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.