Formal specifications and rapid prototyping

• Autores: Ivo Van Horebeek, Eric Van Gestel, Johan Lewi
• Localización: Mini and Microcomputers and their applications / Emilio Luque Fadón (ed. lit.), 1988, págs. 211-214
• Idioma: inglés
• Texto completo no disponible (Saber más ...)
• Resumen

  • In this paper, a formal specification language based on many-sorted initial algebras is presented. In contrast to most other algebraic spefification languages, strong constructivity is explicity required. Building constructive specifications seems to be a natural way of making specifications. One of the main advantages of constructivity is the possibility of rapid prototyping. To that end, several software tools have been developed incluiding a reductor. The price that has to be paid for constructivity is a possible loss of abstraction.