Trends in programming methodologies: a transformational approach (extended abstract)

• Autores: Manfred Broy
• Localización: Revista de informática y automática, ISSN 0210-8712, Año 18, Nº. 66, 1985 (Ejemplar dedicado a: VI Congreso de Informática y Automática), págs. 33-38
• Idioma: inglés
• Texto completo no disponible (Saber más ...)
• Resumen

  • The basic idea of program design by stepwise transformations is to start with a (rather abstract) specification of an intended observable behavior and then to change this description step by step without changing the observable behavior, but going from a specification to a program (an algorithm) or from a program to more efficient versions.

    The design of programs by transformation rules does not only contributr to our understanding of the programming process, but also is the necessary requisit for building interactive programming systems that support program developtment.