دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Z User Workshop, Cambridge 1994: Proceedings of the Eighth Z User Meeting, Cambridge 29–30 June 1994
دانلود کتاب کارگاه کاربری Z ، کمبریج 1994: مجموعه مقالات هشتمین جلسه کاربری Z ، کمبریج 29-30 ژوئن 1994
مشخصات کتاب
Z User Workshop, Cambridge 1994: Proceedings of the Eighth Z User Meeting, Cambridge 29–30 June 1994
ویرایش: [1 ed.] نویسندگان: Robert Worden (auth.), J. P. Bowen MA, J. A. Hall MA, DPhil, CEng (eds.) سری: Workshops in Computing ISBN (شابک) : 9783540198840, 9781447134527 ناشر: Springer-Verlag London سال نشر: 1994 تعداد صفحات: 405 [404] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 12 Mb
قیمت کتاب (تومان) : 45,000
در صورت تبدیل فایل کتاب Z User Workshop, Cambridge 1994: Proceedings of the Eighth Z User Meeting, Cambridge 29–30 June 1994 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب کارگاه کاربری Z ، کمبریج 1994: مجموعه مقالات هشتمین جلسه کاربری Z ، کمبریج 29-30 ژوئن 1994 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب کارگاه کاربری Z ، کمبریج 1994: مجموعه مقالات هشتمین جلسه کاربری Z ، کمبریج 29-30 ژوئن 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.
