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

      4th Irish Workshop on Formal Methods - Index

      proceedings-article
      ,
      4th Irish Workshop on Formal Methods (IWFM)
      Formal Methods
      5th-6th July 2000
      Bookmark

            Abstract

            IWFM'00 is the Forth International Workshop in Formal Methods. It follows in the series of workshops organised by the Irish Formal Methods Special Interest Group (IFMSIG) and previously known as the Irish Workshop in Formal Methods. This year it was held in Maynooth, Ireland on 5-6 July, 2000.

            The workshop has traditionally been an occasion for scholars and industry experts from Europe and further a field to share knowledge and develop ideas within the general scope of the workshop, which covers a wide range of topics related to formal methods and foundations of computing.

            Main article text

            Papers:

            A.J. Currie A Comparison of Three Model Checkers Applied to a Distributed Database Problem http://dx.doi.org/10.14236/ewic/IWFM2000.1

            P. Hitzler & A.K. Seda A Note on the Relationships Between Logic Programs and Neural Networks http://dx.doi.org/10.14236/ewic/IWFM2000.2

            S. King & C. Morgan An Iterator Construct for the Refinement Calculus http://dx.doi.org/10.14236/ewic/IWFM2000.3

            C. Pahl Modal Logics for Reasoning about Object-based Component Composition http://dx.doi.org/10.14236/ewic/IWFM2000.4

            C. Pahl An Algebraic Basis for Specifying and Enforcing Access Control in Security Systems http://dx.doi.org/10.14236/ewic/IWFM2000.5

            M.R. Poppleton & R.H. Banach Retrenchment: Extending Refinement for Continuous and Control Systems http://dx.doi.org/10.14236/ewic/IWFM2000.6

            C. Tabacznyj Abstract Clustering for Program Comprehension http://dx.doi.org/10.14236/ewic/IWFM2000.7

            Author and article information

            Conference
            July 2000
            July 2000
            Article
            10.14236/ewic/IWFM2000.0
            d7852711-9dd7-4a1e-be99-5c5b496236ae

            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/

            4th Irish Workshop on Formal Methods
            IWFM
            4
            Maynooth, Ireland
            5th-6th July 2000
            Electronic Workshops in Computing (eWiC)
            Formal Methods
            Product
            Product Information: 1477-9358BCS Learning & Development
            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