922
views
0
recommends
+1 Recommend
1 collections
    4
    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

      Invited Capstone Talk Some Industrial Experience with Teaching Formal Methods

      proceedings-article
      Teaching Formal Methods: Practice and Experience (TFM)
      Teaching Formal Methods: Practice and Experience
      15 December 2006
      Bookmark

            Abstract

            This presentation will reflect on the experience of teaching formal methods in an industrial context. Our experience includes teaching formal specification using Z and program verification using the SPARK language and tools. Our results are surprisingly positive - industrial engineers (from a wide range of academic backgrounds) seem capable of taking on and applying these notations and techniques. The presentation will also offer some reflection on tools and how they present formal techniques to their users.

            Content

            Author and article information

            Contributors
            Conference
            December 2006
            December 2006
            : 1
            Affiliations
            [0001]Praxis High Integrity Systems

            20 Manvers Street, Bath BA1 1PX, UK
            Article
            10.14236/ewic/TFM2006.15
            75eb3cb1-47bf-47ea-9254-6f2edbe021be
            © Rod Chapman. 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.15
            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

            Comments

            Comment on this article