Keywords: algebraic methodology, software technology
Start Date: 1 March 93 / Status: finished / Duration: 12 months
[ participants / contact]
The aim of the AMAST collaboration action is to show how algebraic methods could be applied to software development. It brings together researchers from three areas, algebraists and logicians to identify algorithms and constructs which can be used as an alternative to ad-hoc developments in Computer Science, and computer scientists to chech the appropriateness and the imlemenstations of these alternatives. The action consists of a series of events during which key players from both sides of the Atlantic met and discussed the various approaches in several computing application areas.
European links: The WG ASMICS 2 (6317).
The first event was the AMAST 93 (Algebraic Methodology and Software Technology) conference which took place in Enschede, the Netherlands and was attended by participants from the US and Europe but also from Canada, Australia, India and Latin America. It included presentations and discussions in all reserach areas related to the domain. A whole day was devoted in AMAST 93 to the Mathematical Education of Software Developers.
Two other workshops took place: The first was organised in Iowa city in the US and addressed Real Time systems design using algebraic methods and the second addressed Topology and completion in Semantics.
Proceedings of the three events have been published and are made publicly available. They contain the latest findings in the use of Algebraic Techniques for Software development in most application areas.
University of Twente
Faculty of Informatics
7500 AE ENSCHEDE, NL
University of Twente, NL
University of Paris VII, F
University of Iowa, USA
Dr. Giusseppe Scollo
Phone: +31 53 89 37 79
Fax: +31 53 35 65 31
AMAST - EC-US020, May 1997
please address enquiries to the ESPRIT Information Desk
html version of synopsis by Nick Cook