Research output

Conference Proceedings (as Editor) ()

Algebraic Methodology and Software Technology: 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004. Proceedings

Citation
Rattray C, Maharaj S & Shankland C (2004) Algebraic Methodology and Software Technology: 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004. Proceedings. AMAST'2004 - 10th International Conference on Algebraic Methodology And Software Technology. Lecture Notes in Computer Science, 3116. Berlin Heidelberg: Springer.

Abstract
This book constitutes the refereed proceedings of the 10th International Conference on Algebraic Methodology and Software Technology, AMAST 2004, held in Stirling, Scotland, UK in July 2004. The 35 revised full papers presented together with abstracts of 5 invited talks and an invited paper were carefully reviewed and selected from 63 submissions. Among the topics covered are all current issues in formal methods related to algebraic approaches to software engineering including abstract data types, process algebras, algebraic specification, model checking, abstraction, refinement, model checking, state machines, rewriting, Kleene algebra, programming logic, etc.

Keywords
UML state machines; algebraic methods; algebraic specification; algebraic state machines; correct software design; formal methods; formal verification; kleene algebra; mathematical software construction; process algebra; programming calculi

StatusPublished
Number of pages569
Title of seriesLecture Notes in Computer Science
Number in series3116
Publication date2004
PublisherSpringer
Place of publicationBerlin Heidelberg
ISSN of series 0302-9743
ISBN 978-3-540-22381-8
LanguageEnglish

Journal
Theoretical Computer Science (FEB 21 2006)

© University of Stirling FK9 4LA Scotland UK • Telephone +44 1786 473171 • Scottish Charity No SC011159
My Portal