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.
Reihe
Auflage
Sprache
Verlagsort
Verlagsgruppe
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Zielgruppe
Für höhere Schule und Studium
Für Beruf und Forschung
Research
Gewicht
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 Klassifikation
Herausgeber*in
University of Galway, Ireland
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.
