1,053
views
0
recommends
+1 Recommend
1 collections
    0
    shares

      Celebrating 65 years of The Computer Journal - free-to-read perspectives - bcs.org/tcj65

      scite_
       
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      Logic, damned logic, and statistics

      proceedings-article
      Teaching Formal Methods: Practice and Experience (TFM)
      Teaching Formal Methods: Practice and Experience
      15 December 2006
      software engineering, education, formal methods
      Bookmark

            Abstract

            In this paper we present the results of a statistical analysis undertaken upon the performance of students within the Software Engineering Programme at Oxford. The Software Engineering Programme is aimed at part-time students, most of whom are professional software engineers. The Programme offers a total of 26 courses within the broad spectrum of software engineering, with six being in the formal methods area. The focus of the research undertaken for this paper was the Software Engineering Mathematics course, which provides an introduction to (Z-style) predicate logic, set theory, and proof. In particular, we concern ourselves with the issues of whether performance within the Software Engineering Mathematics course is a good predictor of performance overall.

            Content

            Author and article information

            Contributors
            Conference
            December 2006
            December 2006
            : 1-6
            Affiliations
            [0001]Software Engineering Programme

            Oxford University Computing Laboratory

            Wolfson Building, Parks Road, Oxford OX1 3QD

            United Kingdom
            Article
            10.14236/ewic/TFM2006.9
            9d8f4ad1-1232-4259-86da-8235067546b6
            © Andrew Simpson. Published by BCS Learning and Development Ltd. Teaching Formal Methods: Practice and Experience, BCS London Office, UK

            This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

            Teaching Formal Methods: Practice and Experience
            TFM
            BCS London Office, UK
            15 December 2006
            Electronic Workshops in Computing (eWiC)
            Teaching Formal Methods: Practice and Experience
            History
            Product

            1477-9358 BCS Learning & Development

            Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/TFM2006.9
            Self URI (journal page): https://ewic.bcs.org/
            Categories
            Electronic Workshops in Computing

            Applied computer science,Computer science,Security & Cryptology,Graphics & Multimedia design,General computer science,Human-computer-interaction
            education,software engineering,formal methods

            Comments

            Comment on this article