Z User Workshop, London 1992: Proceedings of the Seventh Annual Z User Meeting, London 14–15 December 1992

نماد Z بیش از یک دهه است که در گروه تحقیقات برنامه نویسی در آزمایشگاه محاسبات دانشگاه آکسفورد و جاهای دیگر ایجاد شده است. در حال حاضر توسط صنعت به عنوان بخشی از فرآیند توسعه نرم افزار (و سخت افزار) در اروپا و ایالات متحده استفاده می شود. در حال حاضر تحت استانداردسازی BSI در انگلستان است و برای استاندارد سازی ISO در سطح بین المللی پیشنهاد شده است. در سال‌های اخیر، محققان به طور فزاینده‌ای بر توسعه تکنیک‌ها و ابزارهایی برای تشویق به کاربرد گسترده‌تر Z و سایر روش‌ها و نمادهای رسمی تمرکز کرده‌اند. این جلد شامل مقالاتی از هفتمین نشست سالانه کاربران Z است که در دسامبر 1992 در لندن برگزار شد. برخلاف سال های گذشته، جلسه به طور خاص بر روی کاربردهای صنعتی Z متمرکز بود و بخش بالایی از شرکت کنندگان از یک پیشینه صنعتی بودند. این موضوع توسط چهار مقاله دعوت شده به خوبی نشان داده شده است. سه مورد از این روش‌ها راه‌های معرفی روش‌های رسمی را مورد بحث قرار می‌دهند و چهارمی بررسی بین‌المللی کاربردهای صنعتی را ارائه می‌کند. همچنین یادآوری از بهبودهایی است که برای تبدیل این روش‌ها به بخش پذیرفته‌شده توسعه نرم‌افزار مورد نیاز است. علاوه بر این، این جلد شامل چندین مقاله ارائه شده در مورد استفاده صنعتی از Z است که دو مورد از آنها حوزه کلیدی کاربردهای حیاتی ایمنی را مورد بحث قرار می دهد. همچنین تعدادی مقاله مربوط به پروژه ZIP که اخیراً تکمیل شده است وجود دارد. این مقالات تمام حوزه‌های اصلی پروژه از جمله روش‌ها، ابزارها و توسعه استاندارد Z را پوشش می‌دهند که اولین نسخه در دسترس عمومی آن در جلسه در دسترس قرار گرفت. در نهایت این جلد شامل یک کتابنامه انتخابی Z، و بخشی در مورد نحوه دسترسی به اطلاعات Z از طریق comp.specification.z، گروه خبری بین المللی مبتنی بر کامپیوتر USENET است. کارگاه کاربری Z، لندن 1992 نمای کلی مهمی از تحقیقات جاری در مورد کاربردهای صنعتی Z ارائه می دهد و مطالب ارزشمندی را برای محققان، دانشجویان تحصیلات تکمیلی و همچنین کاربران صنعتی بالقوه Z ارائه می دهد. .

The Z notation has been developed at the Programming Research Group at the Oxford University Computing Laboratory and elsewhere for over a decade. It is now used by industry as part of the software (and hardware) development process in both Europe and the USA. It is currently undergoing BSI standardisation in the UK, and has been proposed for ISO standardisation internationally. In recent years researchers have begun to focus increasingly on the development of techniques and tools to encourage the wider application of Z and other formal methods and notations. This volume contains papers from the Seventh Annual Z User Meeting, held in London in December 1992. In contrast to previous years the meeting concentrated specifically on industrial applications of Z, and a high proportion of the participants came from an industrial background. The theme is well represented by the four invited papers. Three of these discuss ways in which formal methods are being introduced, and the fourth presents an international survey of industrial applications. It also provides a reminder of the improvements which are needed to make these methods an accepted part of software development. In addition the volume contains several submitted papers on the industrial use of Z, two of which discuss the key area of safety-critical applications. There are also a number of papers related to the recently-completed ZIP project. The papers cover all the main areas of the project including methods, tools, and the development of a Z Standard, the first publicly-available version of which was made available at the meeting. Finally the volume contains a select Z bibliography, and section on how to access information on Z through comp.specification.z, the international, computer-based USENET newsgroup. Z User Workshop, London 1992 provides an important overview of current research into industrial applications of Z, and will provide invaluable reading for researchers, postgraduate students and also potential industrial users of Z.