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

    The Role of Modelling in Learning Formal Specification

    1st BCS-FACS Northern Formal Methods Workshop

    Ilkley, UK. 23rd - 24th September 1996

    AUTHORS

    R. Leman

    ABSTRACT

    The paper describes the results of a qualitative study into the ways in which students learning formal specification understand the concepts of propositional and predicate logic.

    The rationale for choice of certain tasks is given, and the learning demands made by these are analysed in terms of the understanding of logic and of the process of modelling itself.

    The results reveal that many students were found to have as much difficulty with aspects of modelling as with logic, and the paper concludes by suggesting that these may have a central role to play in the development of students' understanding of logic.

    PAPER FORMATS

    PDF filePDF Version of this Paper (47kb)