Pushouts in software architecture design

Conference object English OPEN
Riché, T. L.; Gonçalves, Rui; Marker, B.; Batory, D.;
(2012)
  • Publisher: Association for Computing Machinery (ACM)
  • Related identifiers: doi: 10.1145/2371401.2371415
  • Subject: Science & Technology | Software architectures | Design | Pushouts | Program derivation | Theory | MDE

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 st... View more
  • References (62)
    62 references, page 1 of 7

    [1] M. Abi-Antoun and N. Medvidovic. Enabling the Refinement of a Software Arch. into a Design. In UML, 1999.

    [2] M. Aldinucci, M. Coppola, and M. Danalutto. Rewriting skeleton programs: how to evaluate the data-parallel stream-parallel tradeoff. In CMPP, 1998.

    [3] S. Apel, C. Kästner, and C. Lengauer. Featurehouse: Language-independent, automated software composition. In ICSE, 2009.

    [4] R. Banach, M. Poppleton, C. Jeske, and S. Stepney. Engineering and theoretical underpinnings of retrenchment. Sci. Comput. Program., 67(2-3):301-329, 2007.

    [5] D. Batory, J. Sarvela, and A. Rauschmayer. Scaling Step-Wise Refinement. IEEE TSE, June 2004.

    [6] I. D. Baxter. Design Maintenance Systems. CACM, April 1992.

    [7] J. P. Bernhard and B. Rumpe. Stepwise Refinement of Data Flow Architectures. Technical Report TUM-19746, TU München, 1997.

    [8] R. V. Book. Confluent and other types of thue systems. J. ACM, 29:171-182, January 1982.

    [9] M. Broy. Compositional Refinement of Interactive Systems. JACM, 44(6), 1992.

    [10] E. Bruneton, T. Coupaye, and J. Stefani. The Fractal Component Model. http://fractal.ow2.org, 2004.

  • Related Organizations (5)
  • Metrics
Share - Bookmark