Wyniki wyszukiwania:

Our understanding of real-time systems is rapidly approaching a level of maturity which calls for a consolidation of our present knowledge and experience. Particularly effective in influencing our understanding has been the conjoining of universal algebra with the theory and practice of real-time system development. This interplay between algebraic methodology and software technology (AMAST) for real-time systems is the theme for this book.

This volume contains the proceedings of AMAST 2004, the 10th International Conference on Algebraic Methodology and Software Technology, held during July 12-16,2004, in Stirling, Scotland, UK. The major goalof the AMAST c- ferences is to promote research that may lead to the setting of software techn- ogy on a ?rm, mathematical basis. This goal is achieved by a large international cooperationwith contributions from both academia and industry. The virtues of a software technology developed on a mathematical basis have been envisioned asbeing capableofprovidingsoftwarethatis(a)correct,...

This volume contains papers presented at the BCS-FACS Workshop on Specification and Verification of Concurrent Systems held on 6-8 July 1988, at the University of Stirling, Scotland. Specification and verification techniques are playing an increasingly important role in the design and production of practical concurrent systems. The wider application of these techniques serves to identify difficult problems that require new approaches to their solution and further developments in specification and verification. The Workshop aimed to capture this interplay by providing a forum for the exchange...