Algebraic Methodology and Software Technology (AMAST’93): Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, The Netherlands 21–25 June 1993

هدف کنفرانس‌های AMAST تقویت روش‌شناسی جبری به‌عنوان پایه‌ای برای فناوری نرم‌افزار است و نشان می‌دهد که این می‌تواند به جایگزین‌های ریاضی عملی برای رویکردهای موقتی که معمولاً در مهندسی و توسعه نرم‌افزار استفاده می‌شوند، منجر شود. دو کنفرانس اول AMAST، که در می 1989 و مه 1991 در دانشگاه آیووا برگزار شد، با استقبال خوبی مواجه شد و سازماندهی منظم کنفرانس های AMAST را بر اساس برنامه دوسالانه تشویق کرد. سومین کنفرانس روش شناسی جبری و فناوری نرم افزار در پردیس دانشگاه توئنته هلند در هفته اول تابستان 1993 برگزار شد. نزدیک به صد نفر از تمام قاره ها در این کنفرانس شرکت کردند. بیشترین علاقه دریافت شده توسط کنفرانس AMAST در میان متخصصان به سازمان های اداری نیز گسترش یافته است. AMAST'93 توسط رئیس دانشگاه Twente و سپس رئیس محلی افتتاح شد. آدرس افتتاحیه آنها نیز این روند را باز می کند. این مجموعه شامل 8 مقاله دعوت شده و 32 ارتباط منتخب است. انتخاب بسیار سختگیرانه بود، برای 121 ارسال دریافت شد.

The goal of the AMAST conferences is to foster algebraic methodology as a foundation for software technology, and to show that this can lead to practical mathematical alternatives to the ad-hoc approaches commonly used in software engineering and development. The first two AMAST conferences, held in May 1989 and May 1991 at the University of Iowa, were well received and encouraged the regular organization of further AMAST conferences on a biennial schedule. The third Conference on Algebraic Methodology and Software Technology was held in the campus of the University of Twente, The Netherlands, during the first week of Summer 1993. Nearly a hundred people from all continents attended the conference. The largest interest received by the AMAST conference among the professionals extended to include the administration organizations as well. AMAST'93 was opened by the Rector of the University of Twente, followed by the Local Chairman. Their opening addresses open this proceedings, too. The proceedings contains 8 invited papers and 32 selected communica­ tions. The selection was very strict, for 121 submissions were received.