Algebraic Methodology and Software Technology: 7th International Conference, AMAST’98 Amazonia, Brazil, January 4–8, 1999 Proceedings

هدف AMAST ارتقای آگاهی از روش شناسی جبری و منطقی به عنوان بخشی از پایه اساسی فناوری نرم افزار است. ده سال و هفت کنفرانس پس از شروع جنبش AMAST، من معتقدم که ما در حال دستیابی به این هستیم. این جنبش در سراسر جهان تبلیغ شده است و متخصصان مشتاق بسیاری را گرد هم آورده است که نه تنها در کنفرانس هایی که اکنون سالانه هستند، بلکه در فعالیت های بی شمار دیگری که AMAST ترویج و حمایت می کند، شرکت کرده اند. اکنون با هفتمین کنفرانس بین المللی روش شناسی جبری و فناوری نرم افزار (AMAST’98) روبرو هستیم. جلسات قبلی در شهر آیووا، ایالات متحده آمریکا (1989 و 1991)، در Enschede، هلند (1993)، در مونترال، کانادا (1995)، در مونیخ، آلمان (1996)، و در سیدنی، استرالیا (1997) برگزار شد. این بار نوبت برزیل است، در بخش بسیار خاصی از این کشور رنگارنگ - آمازونیا. بنابراین، «اگر ما کارهای بیشتری انجام داده‌ایم، با ایستادن بر شانه‌های غول‌ها بوده است». تلاشی که توسط تئودور روس، آرتور فلک و ویلیام آ. کرک در AMAST'89 آغاز شد، در AMAST'91 توسط تئودور روس، موریس نیوات، چارلز راتری و جوزپه اسکولو تثبیت شد. سپس ساخت مدولار ساختمان آمد که به طرز شگفت انگیزی توسط جوزپه اسکولو، ونگالور آلاگار، مارتین وایرسینگ و مایکل جانسون به عنوان رئیس برنامه کنفرانس های AMAST که بین سال های 1993 و 1997 برگزار شد، انجام شد.

AMAST’s goal is to advance awareness of algebraic and logical methodology as part of the fundamental basis of software technology. Ten years and seven conferences after the start of the AMAST movement, I believe we are attaining this. The movement has propagated throughout the world, assembling many enthusiastic specialists who have participated not only in the conferences, which are now annual, but also in the innumerable other activities that AMAST promotes and supports. We are now facing the Seventh International Conference on Algebraic Methodology and Software Technology (AMAST’98). The previous meetings were held in Iowa City, USA (1989 and 1991), in Enschede, The Netherlands (1993), in Montreal, Canada (1995), in Munich, Germany (1996), and in Sydney, Australia (1997). This time it is Brazil’s turn, in a very special part of this colorful country – Amazonia. Thus, “if we have done more it is by standing on the shoulders of giants.” The effort started by Teodor Rus, Arthur Fleck, and William A. Kirk at AMAST’89 was consolidated in AMAST'91 by Teodor Rus, Maurice Nivat, Charles Rattray, and Giuseppe Scollo. Then came modular construction of the building, wonderfully carried out by Giuseppe Scollo, Vangalur Alagar, Martin Wirsing, and Michael Johnson, as Program Chairs of the AMAST conferences held between 1993 and 1997.