Ilkley, UK. 14th - 15th September 1998

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

Browse the papers below.

A Formal Theory for the Views-a Relationship
P.S.C. Alencar, D.D. Cowan, L.C.M. Nova & C.J.P. Lucena

A CSP Model for Hybrid Automata
P. Amthor

IO-Refinement in Z
E. Boiten & J. Derrick

Recursion Diagrams: Ideas for a Geometry of Formal Methods
Dr. A. Butterfield

A Semantics for Object-Oriented Systems
T. Clark

The Formal Development of a Windows Interface
T. Clement

On Partial-Function Application in Z
D.A. Duffy

Specification and Refinement in General Correctness
S. Dunne, A. Galloway & B. Stoddart

Investigating Miraculous Specifications
S. Flynn

Dimensions and Dichotomy in Metamodeling
R. Geisler, M. Klar & C. Pons

Modular Semantics for Object-Oriented Models
A. Hamie, J. Howse & S. Kent

Extending the Test Template Framework
I. MacColl & D. Carrington

Computers and the Sociology of Mathematical Proof
D. MacKenzie

An Object-oriented Formal Specification of a Configuration Language for Railway Interlockings
C. Minkowitz & J. Atkiss

A Tale of Two Proofs
S. Stepney

A Tactic Language for Reasoning About Z Specifications
I. Toyn