296
views
0
recommends
+1 Recommend
1 collections
    0
    shares
       
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      Teaching and Learning Formal Methods, Improving Productivity

      proceedings-article
      3rd Irish Workshop on Formal Methods (IWFM)
      Formal Methods
      1st - 2nd July 1999
      Bookmark

            Abstract

            This paper discusses requirements for the teaching of formal methods and introduces the notion of productivity in learning. The three attribute model of learning is used to support the use of drag and drop as a universal educational paradigm. An example of this technique is given and a call is made for the establishment of a teaching DIY superstore containing reusable components from which experimental teaching tools for formal methods can be rapidly constructed.

            Content

            Author and article information

            Conference
            July 1999
            July 1999
            : 1-7
            Affiliations
            [0001]Department of Computer Science and Information Systems, University of Limerick
            Article
            10.14236/ewic/IWFM1999.12
            132ce634-70b0-497a-8e7a-105ab1772eff
            © J F Miller. Published by BCS Learning and Development Ltd. 3rd Irish Workshop on Formal Methods

            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/

            3rd Irish Workshop on Formal Methods
            IWFM
            3
            Galway, Ireland
            1st - 2nd July 1999
            Electronic Workshops in Computing (eWiC)
            Formal Methods
            Product
            Product Information: 1477-9358BCS Learning & Development
            Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/IWFM1999.12
            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