Algebraic Methodology and Software Technology


Keywords: algebraic methodology, software technology

Start Date: 1 March 93 / Status: finished / Duration: 12 months

[ participants / contact]

Objectivies and Approach

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).

Progress and Results

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.

Information Dissemination Activities and/or Exploitation

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
Drienerlolaan, 10

EU Partners

University of Twente, NL
University of Paris VII, F

Non-EU Partners

University of Iowa, USA


Dr. Giusseppe Scollo
Phone: +31 53 89 37 79
Fax: +31 53 35 65 31

INCO synopses home page INCO cooperation index INCO keyword index
INCO acronym index INCO number index INCO Working Groups index
synopses home page all keywords index all acronyms index all numbers index

AMAST - EC-US020, May 1997

please address enquiries to the ESPRIT Information Desk

html version of synopsis by Nick Cook