2nd BCS-FACS Northern Formal Methods Workshop
Proceedings of the 2nd BCS-FACS Northern Formal Methods Workshop, Ilkley, UK, 14-15 July 1997
Springer (Publisher)
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
Series
Edition
1st Edition.
Language
English
Place of publication
London
United Kingdom
Publishing group
Springer Berlin
Target group
College/higher education
Professional and scholarly
Research
Weight
80 gr
ISBN-13
978-3-540-76215-7 (9783540762157)
Schweitzer Classification
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.