Text size
  • Small
  • Medium
  • Large
  • Standard
  • Blue text on blue
  • High contrast (Yellow text on black)
  • Blue text on beige

    Formal Development of Correct Classes in Computational Logic

    1st BCS-FACS Northern Formal Methods Workshop

    Ilkley, UK. 23rd - 24th September 1996


    K.K. Lau, C. Moss & M. Ornaghi


    Quality software must be reusable, extensible and reliable. In computational logic , we have developed an approach to constructing programs that are formally correct.

    Our approach can provide a basis for constructing software that is (formally) reusable and extensible, and not just reliable but formally correct.

    In this paper, we explain our notion of correct classes, and how to develop them.


    PDF filePDF Version of this Paper (191kb)