Text size
  • Small
  • Medium
  • Large
Contrast
  • 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

    AUTHORS

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

    ABSTRACT

    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.

    PAPER FORMATS

    PDF filePDF Version of this Paper (191kb)