Z User Workshop, Cambridge 1994: Proceedings of the Eighth Z User Meeting, Cambridge 29–30 June 1994

این جلد شامل مقالاتی از هشتمین نشست کاربر Z است که از 29 تا 30 ژوئن 1994 در دانشگاه کمبریج برگزار خواهد شد. . این مسائل شامل آموزش، استانداردها، پشتیبانی ابزار و تعامل با سایر پارادایم های طراحی مانند در نظر گرفتن رویکردهای زمان واقعی و شی گرا برای توسعه است. از جمله موضوعات واقعی تحت پوشش عبارتند از: مشخصات رسمی در Z استاندارد دفاعی 00-56. مشخصات رسمی ویژگی های تلفن؛ تعیین و تفسیر سلسله مراتب کلاس در Z. و تضمین کیفیت نرم افزار با استفاده از روش SAZ. Z UserWorkshop، Cambridge 1994 یک نمای کلی مهم از تحقیقات جاری در مورد کاربردهای صنعتی Z ارائه می دهد و مطالب ارزشمندی را برای محققان، دانشجویان تحصیلات تکمیلی و همچنین کاربران صنعتی بالقوه Z ارائه می دهد. .

This volume contains papers from the Eighth Z User Meeting, to be held at the University of Cambridge from 29 - 30 June 1994. The papers cover a wide range of issues associated with Z and formal methods, with particular reference to practical application. These issues include education, standards, tool support, and interaction with other design paradigms such as consideration of real-time and object-oriented approaches to development. Among the actual topics covered are: the formal specification in Z of Defence Standard 00-56; formal specification of telephone features; specifying and interpreting class hierarchies in Z; and software quality assurance using the SAZ method. Z UserWorkshop, Cambridge 1994 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.