+1 Recommend
1 collections
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      Proceedings of the BCS-FACS Northern Formal Methods Workshop - Index



      Proceedings of the BCS-FACS Northern Formal Methods Workshop (NFM)

      Northern Formal Methods

      23-24 September 1996


            Main article text


            M. Mac an Airchinnigh Towards a New Conceptual Framework for the Modelling of Dynamically Distributed Systems http://dx.doi.org/10.14236/ewic/FA1996.1

            H. Barringer, D. Fellows, G. Gough, P. Jinks & A. Williams A Formally Based Framework for Supporting Design and Analysis of Asynchronous Hardware Systems http://dx.doi.org/10.14236/ewic/FA1996.2

            P.J. Brooke, J.L. Jacob & J.M. Armstrong Analysis of the Four-slot Mechanism http://dx.doi.org/10.14236/ewic/FA1996.3

            J.M. Bruel, R.B. France, M.M. Larrondo-Petrie, B. Chintapally & G.K. Raghavan CASE-based Rigorous Object-Oriented Modeling http://dx.doi.org/10.14236/ewic/FA1996.4

            K. Chan & C. Fencott Formal Analysis of Concurrent Real-Time Requirements Models http://dx.doi.org/10.14236/ewic/FA1996.5

            J. Draper & H. Treharne The Refinement of Embedded Software with the B-Method http://dx.doi.org/10.14236/ewic/FA1996.6

            A.S. Evans, D.R.W. Holton, L.M. Lai & P. Watson A Comparison of Formal Real-Time Specification Languages http://dx.doi.org/10.14236/ewic/FA1996.7

            M. Fisher & M. Wooldridge Towards Formal Methods for Agent-Based Systems http://dx.doi.org/10.14236/ewic/FA1996.8

            I.J. Hayes & M. Utting Coercing Real-Time Refinement: A Transmitter http://dx.doi.org/10.14236/ewic/FA1996.9

            C. Kirkwood & M. Thomas Towards a Symbolic Modal Logic for LOTOS http://dx.doi.org/10.14236/ewic/FA1996.10

            K. Lano, J.C. Bicarregui & S. Goldsack Formalising Design Patterns http://dx.doi.org/10.14236/ewic/FA1996.11

            K.K. Lau, C. Moss & M. Ornaghi Formal Development of Correct Classes in Computational Logic http://dx.doi.org/10.14236/ewic/FA1996.12

            R. Leman The Role of Modelling in Learning Formal Specification http://dx.doi.org/10.14236/ewic/FA1996.13

            T.L. McCluskey, J.M. Porteous, M.M. West & C.H. Bryant The Validation of Formal Specifications of Requirements http://dx.doi.org/10.14236/ewic/FA1996.14

            C. Pahl A Model for Dynamic State-Based Systems http://dx.doi.org/10.14236/ewic/FA1996.15

            R.F. Lutje Spelberg & W.J. Toetenel Transformation of MTCCS into an Extension of Timed Automata http://dx.doi.org/10.14236/ewic/FA1996.16

            C. Tofts, Y. Liu & G. Birtwistle State Space Reduction for Asynchronous Micropipelines http://dx.doi.org/10.14236/ewic/FA1996.17

            Author and article information

            September 1996
            September 1996

            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/

            Proceedings of the BCS-FACS Northern Formal Methods Workshop
            Ilkley, UK
            23-24 September 1996
            Electronic Workshops in Computing (eWiC)
            Northern Formal Methods
            Product Information: 1477-9358BCS Learning & Development
            Self URI (journal page): https://ewic.bcs.org/
            Electronic Workshops in Computing


            Comment on this article