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

      3rd BCS-FACS Northern Formal Methods Workshop - Index

      proceedings-article

      3rd BCS-FACS Northern Formal Methods Workshop (NFM)

      Northern Formal Methods

      14th - 15th September 1998

      Bookmark

            Main article text

            Papers:

            P.S.C. Alencar, D.D. Cowan, L.C.M. Nova & C.J.P. Lucena A Formal Theory for the Views-a Relationship http://dx.doi.org/10.14236/ewic/NFM1998.1

            P. Amthor A CSP Model for Hybrid Automata http://dx.doi.org/10.14236/ewic/NFM1998.2

            E. Boiten & J. Derrick IO-Refinement in Z http://dx.doi.org/10.14236/ewic/NFM1998.3

            Dr. A. Butterfield Recursion Diagrams: Ideas for a Geometry of Formal Methods http://dx.doi.org/10.14236/ewic/NFM1998.4

            T. Clark A Semantics for Object-Oriented Systems http://dx.doi.org/10.14236/ewic/NFM1998.5

            T. Clement The Formal Development of a Windows Interface http://dx.doi.org/10.14236/ewic/NFM1998.6

            D.A. Duffy On Partial-Function Application in Z http://dx.doi.org/10.14236/ewic/NFM1998.7

            S. Dunne, A. Galloway & B. Stoddart Specification and Refinement in General Correctness http://dx.doi.org/10.14236/ewic/NFM1998.8

            S. Flynn Investigating Miraculous Specifications http://dx.doi.org/10.14236/ewic/NFM1998.9

            R. Geisler, M. Klar & C. Pons Dimensions and Dichotomy in Metamodeling http://dx.doi.org/10.14236/ewic/NFM1998.10

            A. Hamie, J. Howse & S. Kent Modular Semantics for Object-Oriented Models http://dx.doi.org/10.14236/ewic/NFM1998.11

            I. MacColl & D. Carrington Extending the Test Template Framework http://dx.doi.org/10.14236/ewic/NFM1998.12

            D. MacKenzie Computers and the Sociology of Mathematical Proof http://dx.doi.org/10.14236/ewic/NFM1998.13

            C. Minkowitz & J. Atkiss An Object-oriented Formal Specification of a Configuration Language for Railway Interlockings http://dx.doi.org/10.14236/ewic/NFM1998.14

            S. Stepney A Tale of Two Proofs http://dx.doi.org/10.14236/ewic/NFM1998.15

            I. Toyn A Tactic Language for Reasoning About Z Specifications http://dx.doi.org/10.14236/ewic/NFM1998.16

            Author and article information

            Conference
            September 1998
            September 1998
            Article
            10.14236/ewic/NFM1998.0
            3ec380f9-519f-4987-b081-336af33cce59

            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 BCS-FACS Northern Formal Methods Workshop
            NFM
            3
            Ilkley, UK
            14th - 15th September 1998
            Electronic Workshops in Computing (eWiC)
            Northern 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