First Irish Workshop on Formal Methods
Proceedings of the 1st Irish Workshop on Formal Methods, Dublin, 3-4 July 1997
Published on 11. September 1997
Book
Paperback/Softback
10 pages
978-3-540-76196-9 (ISBN)
Description
As of 1996 the "Workshops in Computing" series has been published on-line. This work provides the passwords needed to access the papers from the first Irish Workshop on Formal Methods. It covers topics within the general area of formal methods, theoretical computer science and mathematics.
More details
Series
Edition
Edition. ed.
Language
English
Place of publication
Berlin
Germany
Publishing group
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Target group
College/higher education
Professional and scholarly
Research
Weight
40 gr
ISBN-13
978-3-540-76196-9 (9783540761969)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification
Persons
Content
Denotational semantics and refinement; axiomatic semantics for data parallel computation; a generic model for state based agent systems; the use of theorem provers in the teaching and practice of formal methods; a formal approach to design patterns in re-engineering; reverse engineering and re-using COBOL programs; the single transferable voting system; functional decomposition in formal specifications; feature interactions - a mixed semantic model approach; presenting object oriented formal requirements specification; non-monotonic reasoning and formal software development; a simple algorithmic specification language and its applications; tactics for transformation programming; a refinement calculus for communicating processes with state; computer-aided incremental specification.