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

      2nd Irish Workshop on Formal Methods - Index

      proceedings-article

      ,

      2nd Irish Workshop on Formal Methods (FM)

      Formal Methods

      2nd - 3rd July 1998

      Bookmark

            Main article text

            Papers:

            M.A. Changizi Motivation for a New Semantics for Vagueness http://dx.doi.org/10.14236/ewic/FM1998.1

            R. Couturier Formal Engineering of the Bitonic Sort Using PVS http://dx.doi.org/10.14236/ewic/FM1998.2

            H. Gibbons Declarative View of Imperative Programs http://dx.doi.org/10.14236/ewic/FM1998.3

            P. Gibson & D. Méry Teaching Formal Methods: Lessons To Learn http://dx.doi.org/10.14236/ewic/FM1998.4

            T.J. Harmer & P.J. McParland Applications of the TAMPR Transformation System http://dx.doi.org/10.14236/ewic/FM1998.5

            A. Hughes Towards an Override in Topoi http://dx.doi.org/10.14236/ewic/FM1998.6

            S. Fitzpatrick, M. Clint & P. Kilpatrick A Case Study on Proving Transformations Correct: Data-Parallel Conversion http://dx.doi.org/10.14236/ewic/FM1998.7

            L.Lai An Unbounded Nondeterministic Model for CSP-like Languages http://dx.doi.org/10.14236/ewic/FM1998.8

            B. Matthews & E. Locuratolo Translating Structured Database Schemas into Abstract Machines http://dx.doi.org/10.14236/ewic/FM1998.9

            M. Mac an Airchinnigh Mathematics for Formal Methods, a Proposal for Education Reform http://dx.doi.org/10.14236/ewic/FM1998.10

            C. Pahl Facilitating Modular Property-Preserving Extensions of Programming Languages http://dx.doi.org/10.14236/ewic/FM1998.11

            A.K. Seda & P. Hitzler Strictly Level-Decreasing Logic Programs http://dx.doi.org/10.14236/ewic/FM1998.12

            R. Shore A Use Case Interpretation of B AMN http://dx.doi.org/10.14236/ewic/FM1998.13

            Author and article information

            Contributors
            Conference
            July 1998
            July 1998
            Article
            10.14236/ewic/FM1998.0
            5e99c0cf-6c96-476c-905d-acd1168477d7

            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/

            2nd Irish Workshop on Formal Methods
            FM
            2
            Cork, Ireland
            2nd - 3rd July 1998
            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

            Comments

            Comment on this article