Text size
  • Small
  • Medium
  • Large
  • Standard
  • Blue text on blue
  • High contrast (Yellow text on black)
  • Blue text on beige

    1st BCS-FACS Northern Formal Methods Workshop

    Ilkley, UK. 23rd - 24th September 1996

    Full Synopsis, Editors and Sponsors are not available for this conference.

    Browse the papers below.

    Towards a New Conceptual Framework for the Modelling of Dynamically Distributed Systems
    M. Mac an Airchinnigh

    A Formally Based Framework for Supporting Design and Analysis of Asynchronous Hardware Systems
    H. Barringer, D. Fellows, G. Gough, P. Jinks & A. Williams

    Analysis of the Four-slot Mechanism
    P.J. Brooke, J.L. Jacob & J.M. Armstrong

    CASE-based Rigorous Object-Oriented Modeling
    J.M. Bruel, R.B. France, M.M. Larrondo-Petrie, B. Chintapally & G.K. Raghavan

    Formal Analysis of Concurrent Real-Time Requirements Models
    K. Chan & C. Fencott

    The Refinement of Embedded Software with the B-Method
    J. Draper & H. Treharne

    A Comparison of Formal Real-Time Specification Languages
    A.S. Evans, D.R.W. Holton, L.M. Lai & P. Watson

    Towards Formal Methods for Agent-Based Systems
    M. Fisher & M. Wooldridge

    Coercing Real-Time Refinement: A Transmitter
    I.J. Hayes & M. Utting

    Towards a Symbolic Modal Logic for LOTOS
    C. Kirkwood & M. Thomas

    Formalising Design Patterns
    K. Lano, J.C. Bicarregui & S. Goldsack

    Formal Development of Correct Classes in Computational Logic
    K.K. Lau, C. Moss & M. Ornaghi

    The Role of Modelling in Learning Formal Specification
    R. Leman

    The Validation of Formal Specifications of Requirements
    T.L. McCluskey, J.M. Porteous, M.M. West & C.H. Bryant

    A Model for Dynamic State-Based Systems
    C. Pahl

    Transformation of MTCCS into an Extension of Timed Automata
    R.F. Lutje Spelberg & W.J. Toetenel

    State Space Reduction for Asynchronous Micropipelines
    C. Tofts, Y. Liu & G. Birtwistle