Papers:
L. Bonnet, L. Duchien, G. Florin & L. Seinturier A Spanning Tree Object-Oriented Distributed Algorithm: Specification and Proof http://dx.doi.org/10.14236/ewic/MI1996.1
A. Bryant Introduction and Overview - The Projects of Methods Integration http://dx.doi.org/10.14236/ewic/MI1996.2
D.W. Bustard & P.J. Lundy Integrating Process Modelling and Soft Systems Analysis http://dx.doi.org/10.14236/ewic/MI1996.3
J. Cooke Methods Integration: Time for Reflection (and Reorientation?) http://dx.doi.org/10.14236/ewic/MI1996.4
L. Dunckley & A. Smith Improving Access of the Commercial Software Developer to Formal Methods: Integrating MERISE with Z http://dx.doi.org/10.14236/ewic/MI1996.5
P. Facon, R. Laleau & H.P. Nguyen Mapping Object Diagrams into B Specifications http://dx.doi.org/10.14236/ewic/MI1996.6
R.B. France, J. Wu, M.M. Larondo-Petrie, & J.M. Bruel A Tale of Two Case Studies: Using Integrated Methods to Support Rigorous Requirements Specification http://dx.doi.org/10.14236/ewic/MI1996.7
M.G. Hinchey JSD - - CSP - TLZ - A Case Study http://dx.doi.org/10.14236/ewic/MI1996.8
S. Hooker, M.A. Lockyer & P.C. Fencott CASE Support for Methods Integration: Implementation of a Translation from a Structured to a Formal Notation http://dx.doi.org/10.14236/ewic/MI1996.9
V. Kasurinen & K. Sere Data Modelling in ZIM http://dx.doi.org/10.14236/ewic/MI1996.10
K. Lano & S. Goldsack Integrated Formal and Object-Oriented Methods: The VDM ++ Approach http://dx.doi.org/10.14236/ewic/MI1996.11
M. Rawson & P. Allen Synthesis - An Integrated, Object-Oriented Method and Tool for Requirements Specification in Z http://dx.doi.org/10.14236/ewic/MI1996.12
R.A. Steele, C. Elliot, G. Osguthorpe & R. Banks Combining Object Oriented Process and Information Models in the Design of Cooperative Systems for an Area Health Authority http://dx.doi.org/10.14236/ewic/MI1996.13
T.H. Tse & C.P. Cheng NOODLE++: A 3-Dimensional Net-Based Object- Oriented Development Model http://dx.doi.org/10.14236/ewic/MI1996.14
A. Walker, M. Spink & P. Vlissidis The Application of Structured Analysis/Formal Design Method to a Case Study from the Nuclear Industry http://dx.doi.org/10.14236/ewic/MI1996.15