Proceedings of the International Conference on Algebraic Methodology and Software Technology (3rd) Held in The Netherlands on June 21 - 25, 1993
Abstract
The goal of the third AMAST conference was held on June 21-25, 1993, at the University of Twente, Enschede, The Netherlands, was to consolidate the trend towards using algebraic methodology as a foundation for software technology, and to show that universal algebra provides a practical mathematical alternatives to the common, ad-hoc approaches to software engineering and development. Academia and industry are both beneficiaries of such a formal foundation. To achieve the goal of the conference we aim to provide a forum in which leading researchers in mathematics, computer science, and software development, will come together to identify algebraic methodologies that are applicable as viable alternatives to the present software development approaches and to discuss the appropriateness of such alternatives with a view to implementation.
Document Details
- Document Type
- Technical Report
- Publication Date
- Jun 25, 1993
- Accession Number
- ADA281237
Entities
Organizations
- University of Twente