Formal Methods - Pacific 97
Proceedings of the FMP'97, Wellington, New Zealand, 9-11 July 1997, Incorporating of the 6th Australian Refinement Workshop and the 3rd New Zealand Formal Program Development Colloquium
Springer (Publisher)
Published on 1. December 1997
Book
Paperback/Softback
VIII, 323 pages
978-981-3083-31-8 (ISBN)
Description
Formal Methods Pacific '97 is an umbrella conference, incorporating the 6th Australasian Refinement Workshop and the 3rd New Zealand Formal Program Development Colloquium. The conference provided a forum for discussion of current research on mathematicallybased techniques for design and development of computer systems, especially formal and/or rigorous methods for developing executable programs from abstract specifications, tool support for formal software development, and practical experience with formal methods. Topics also include software specification and verification, hardware specification and verification, and specification and development of real-time and concurrent systems. The refereed papers included in these proceedings present significant contributions to current research in formal software development within Australasia, along with several contributions from other parts of the world. The conference also included informal presentations describing work in progress; abstracts only for these are included.
More details
Series
Edition
1997
Language
English
Place of publication
Singapore
Singapore
Target group
College/higher education
Professional and scholarly
Research
Illustrations
VIII, 323 p.
Dimensions
Height: 23.5 cm
Width: 15.5 cm
Weight
500 gr
ISBN-13
978-981-3083-31-8 (9789813083318)
Schweitzer Classification
Content
Refereed papers and abstracts of informal presentations.