Please use this identifier to cite or link to this item: http://repositorio.inesctec.pt/handle/123456789/7514
Title: Pushouts in Software Architecture Design
Authors: Riche,TL
Rui Carlos Gonçalves
Marker,B
Batory,D
Issue Date: 2013
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.
URI: http://repositorio.inesctec.pt/handle/123456789/7514
http://dx.doi.org/10.1145/2480361.2371415
metadata.dc.type: article
Publication
Appears in Collections:Non INESC TEC publications - Articles in International Journals

Files in This Item:
File Description SizeFormat 
P-005-2KQ.pdf1.14 MBAdobe PDFThumbnail
View/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.