دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Z User Workshop, Oxford 1990: Proceedings of the Fifth Annual Z User Meeting, Oxford, 17–18 December 1990
دانلود کتاب کارگاه کاربری Z ، آکسفورد 1990: مجموعه مقالات پنجمین نشست سالانه کاربر Z ، آکسفورد ، 17-18 دسامبر 1990
مشخصات کتاب
Z User Workshop, Oxford 1990: Proceedings of the Fifth Annual Z User Meeting, Oxford, 17–18 December 1990
ویرایش: 1 نویسندگان: P. H. B. Gardiner, P. J. Lupton, J. C. P. Woodcock (auth.), J. E. Nicholls MA (eds.) سری: Workshops in Computing ISBN (شابک) : 9783540196723, 9781447135401 ناشر: Springer-Verlag London سال نشر: 1991 تعداد صفحات: 386 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 13 مگابایت
قیمت کتاب (تومان) : 32,000
کلمات کلیدی مربوط به کتاب کارگاه کاربری Z ، آکسفورد 1990: مجموعه مقالات پنجمین نشست سالانه کاربر Z ، آکسفورد ، 17-18 دسامبر 1990: مهندسی نرم افزار، منطق ریاضی و زبان های رسمی، منطق و معانی برنامه ها، تکنیک های برنامه نویسی، سیستم های اطلاعات کسب و کار
در صورت تبدیل فایل کتاب Z User Workshop, Oxford 1990: Proceedings of the Fifth Annual Z User Meeting, Oxford, 17–18 December 1990 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب کارگاه کاربری Z ، آکسفورد 1990: مجموعه مقالات پنجمین نشست سالانه کاربر Z ، آکسفورد ، 17-18 دسامبر 1990 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب کارگاه کاربری Z ، آکسفورد 1990: مجموعه مقالات پنجمین نشست سالانه کاربر Z ، آکسفورد ، 17-18 دسامبر 1990
نظریه و مبانی.- معناشناسی ساده‌تر برای Z.- تفسیرهای عملگرهای طرحواره Z.- ترویج شبیه‌سازی رو به جلو.- تکرار طرحواره عملیات.- تداخل بازبینی شده.- استانداردها و ابزارها.- ابزاری برای تعریف معماری مشخصات Z.- CADi ? — طراحی به کمک رایانه در Z.- پشتیبانی ماشینی از Z: ابزار zedB.- پروژه ZIP.- روش ها.- مشخصات رسمی خوب چیست؟ مشخصات Z.- رویکردی به مشخصات شی گرا با استفاده از Z.- نمودارهای جریان داده و Z.- استفاده از Yourdon و Z: رویکردی به مشخصات رسمی.- مطالعه موردی در ارائه یک مدل: به Z یا نه به Z؟.- به دست آوردن معیارهای ساختاری مشخصات Z برای توسعه سیستم ها.- کاربردهای صنعتی.- تعریف رابط برنامه نویسی برنامه کاربردی CICS.- Z! در حال انجام: حفظ مشخصات Z.- گسترش خدمات در سطح مشخصات.- آموزش و آموزش.- یک دوره آموزشی مبتنی بر ویدئو در خواندن مشخصات Z.- بررسی دوره های Z در انگلستان.- انتخاب Z کتابشناسی.- Z انتخاب شده کتابشناسی.- پوسترها.- معیارها و اندازه گیری مشخصات نوشته شده در Z.
توضیحاتی درمورد کتاب به خارجی
Theory and Foundations.- A Simpler Semantics for Z.- Interpretations of Z Schema Operators.- Promoting Forward Simulation.- Operation Schema Iterations.- Interference Revisited.- Standards and Tools.- A Tool for Defining the Architecture of Z Specifications.- CADi? — Computer Aided Design in Z.- Machine support for Z: the zedB tool.- The ZIP project.- Methods.- What is a Good Formal Specification?.- Z++, An Object-Orientated Extension To Z.- Modular Object-Oriented Z Specifications.- An Approach to Object Oriented Specification using Z.- Data Flow Diagrams and Z.- Using Yourdon and Z : an Approach to Formal Specification.- A Case Study in Representing a Model: To Z or Not To Z?.- Obtaining Structural Metrics of Z Specifications for Systems Development.- Industrial Applications.- The CICS application programming interface definition.- Z! In Progress: Maintaining Z specifications.- Service Extension at the Specification Level.- Training and Education.- A Video-based Training Course in Reading Z Specifications.- A survey of Z courses in the UK.- Selected Z Bibliography.- Selected Z Bibliography.- Posters.- Metrics and Measurement of Specifications Written in Z.
فهرست مطالب
Front Matter....Pages i-ix
Front Matter....Pages 1-1
A Simpler Semantics for Z....Pages 3-11
Interpretations of Z Schema Operators....Pages 12-26
Promoting Forward Simulation....Pages 27-49
Operation Schema Iterations....Pages 50-57
Interference Revisited....Pages 58-73
Front Matter....Pages 75-75
A Tool for Defining the Architecture of Z Specifications....Pages 77-92
CADiℤ — Computer Aided Design in Z....Pages 93-104
Machine support for Z: the zedB tool....Pages 105-128
The ZIP project....Pages 129-133
Front Matter....Pages 135-135
What is a Good Formal Specification?....Pages 137-150
Z ++ , An Object-Orientated Extension To Z....Pages 151-172
Modular Object-Oriented Z Specifications....Pages 173-192
An Approach to Object Oriented Specification using Z....Pages 193-215
Data Flow Diagrams and Z....Pages 216-227
Using Yourdon and Z : an Approach to Formal Specification....Pages 228-253
A Case Study in Representing a Model: To Z or Not To Z?....Pages 254-268
Obtaining Structural Metrics of Z Specifications for Systems Development....Pages 269-281
Front Matter....Pages 283-283
The CICS application programming interface definition....Pages 285-294
Z! In Progress: Maintaining Z specifications....Pages 295-318
Service Extension at the Specification Level....Pages 319-333
Front Matter....Pages 335-335
A Video-based Training Course in Reading Z Specifications....Pages 337-342
A survey of Z courses in the UK....Pages 343-350
Front Matter....Pages 351-351
Selected Z Bibliography....Pages 353-373
Front Matter....Pages 375-375
Metrics and Measurement of Specifications Written in Z....Pages 377-387
Back Matter....Pages 389-389
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Fundamental Solutions of Linear Partial Differential Operators: Theory and Practice
دانلود کتاب Modern Encyclopedia of Herbs
دانلود کتاب Dorothee Raab - Lernen - so klappt's (Neubearbeitung): 4. Klasse Grammatik
دانلود کتاب Capital Asset Investment: Strategy, Tactics and Tools
