2nd BCS-FACS Northern Formal Methods Workshop
Proceedings of the 2nd BCS-FACS Northern Formal Methods Workshop, Ilkley, UK, 14-15 July 1997
Published on 29. October 1997
Book
Paperback/Softback
VI, 11 pages
978-3-540-76215-7 (ISBN)
Description
Over the past five years, the Workshops in Computing series has provided a platform for state of the art research in a wide range of topics within computing science. As of 1996, the series has been published on-line - the aim being to make this important research material available in a more versatile and user-friendly format. The full papers from the 2nd BCS-FACS Northern Formal Methods Workshop are available on-line at: http://ewic.springer.co.uk/ This booklet provides the passwords needed to access the web site. Purchasing the booklet provides the use with unlimited acces s to the site for four years (subject, or course, to entry of the correct passwords each time.)
More details
Content
The Pi Calculus and its Applications - R. Milner.- On the Industrial Value of Models - P. Gorm Larsen.- Formal Methods and Standards - D.A. Duce.- On Formal Semantics of Statecharts as Supported by STATEMATE - E. Mikk, Y. Lakhnech, C. Petersohn, M. Seigel.- Using LOTOS for the Evaluation of Design Options in the PREMO Standard - G. P. Faconti, M. Massink.- Modelling Program Compilation in the Refinement Calculus - C.J. Fidge.- Translating LOTOS to Object-Z - J. Derrick, E.A. Boiten, H. Bowman and M. Steen.- Algebraic Advances for Aliasing - A.P. Hughes, A. Donnelly.- The Geometry of Distributions in Formal Methods - M. Mac an Airchinnigh, A.P. Hughes.- Generating Formal Specifications from CASE Repositories - B. Ryan.- A Tool for Logic Program Refinement - R. Colvin, I. Hayes, R. Nickson, P. Strooper.- Formalizing Correlate - from Practice to PI - B. Robben, F. Piessens, W. Joosen.- Relaxing Property Preservation in the Refinement of Concurrent Systems - M. Siegel.- Communication Traces in the Verification of Distributed Programs - N. Soudarajan Using Graphical Icons to Build Z Specifications - C.N. Yap, M. Holcombe.- Analysis of Abstract Syntax Trees of Z Specifications - L. Mikusiak, V. Vojtek.- Coupling Schemas: Data Refinement and View(point) Composition - E.A. Boiten, J. Derrick, H. Bowman, M.W.A. Steen.- The Real Numbers in Z - W.R. Oliveira and R.S.M. Barros.- Object-Oriented Operations Have Two Parts - A. Griffiths.- Foundations of the Unified Modeling Language - A.S. Evans and T. Clark.