The use of a semi-formal specification language to bridge the gap between informal and formal specifications of software systems: a proposal

• Autores: Stanley Loh, José Mauro Castilho (1946-1998)
• Localización: Panel '92: actas, XVIII Conferencia Latinoamericana de Informática, 1992, págs. 661-668
• Idioma: inglés
• Texto completo no disponible (Saber más ...)
• Resumen

  • The use of a semi-formal specification language in the process of constructing a formal specification for a software system is discussed. The process is executed in two separate steps, and the whole formalization activity could be performed with less effort, thus achieving better final results.

    A set of heuristic rules is proposed, to guide the two translation steps (from informal to semi-formal specification, and from semi-formal to formal specifitation).

    A dictionary of terms that appear in the specification plays an important role in the process, helping in the identification of "synonymous" parts of the specification