263
views
0
recommends
+1 Recommend
1 collections
    4
    shares
       
      • 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
            Product
            Product Information: 1477-9358BCS Learning & Development
            Self URI (journal page): https://ewic.bcs.org/
            Categories
            Electronic Workshops in Computing

            Comments

            Comment on this article