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


    R. Leman


    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.


    PDF filePDF Version of this Paper (47kb)