دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: Reprint
نویسندگان: Manfred Broy. Ketil Stølen
سری: Monographs in Computer Science
ISBN (شابک) : 1461265185, 9781461300915
ناشر: Springer
سال نشر: 2001
تعداد صفحات: 356
زبان: English
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 2 مگابایت
در صورت تبدیل فایل کتاب Specification and development of interactive systems: focus on streams, interfaces, and refinement به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مشخصات و توسعه سیستم های تعاملی: تمرکز روی جریان ها ، رابط ها و پالایش نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
یک پایه ریاضی و منطقی برای مشخصات و توسعه سیستم های تعاملی بر اساس مدلی که سیستم ها را بر حسب رفتار ورودی/خروجی آنها توصیف می کند. بر اساس این مدل، نویسندگان یک روش اساسی به نام FOCUS ایجاد میکنند که سیستمهای تعاملی را قادر میسازد تا با توصیف تاریخچه تعامل پیامشان توصیف شوند. کتاب از مقدمه و تور هدایتشده FOCUS از طریق جریانها، مشخصات و ویژگیهای آنها و اصلاحات رفتاری، رابط و شرطی پیشرفت میکند.
A mathematical and logical foundation for the specification and development of interactive systems based on a model that describes systems in terms of their input/output behavior. Based on this model, the authors build a basic method, called FOCUS, that enables interactive systems to be described by characterizing their histories of message interaction. The book progresses from an introduction and guided tour of FOCUS through streams, specifications and their properties, and behavioral, interface, and conditional refinements
Front Matter....Pages i-xv
Introduction....Pages 1-17
A Guided Tour....Pages 19-50
Basics....Pages 51-56
Streams....Pages 57-68
Specifications....Pages 69-99
Examples....Pages 101-114
Properties of Specifications....Pages 115-136
Equational Specification of State Transitions....Pages 137-160
Access Control System....Pages 161-176
Tables and Diagrams....Pages 177-193
Abracadabra Protocol....Pages 195-212
A/G Specifications....Pages 213-228
Memory with Locking....Pages 229-240
Refinement....Pages 241-252
Behavioral Refinement....Pages 253-268
Interface Refinement....Pages 269-297
Conditional Refinement....Pages 299-313
Final Remarks....Pages 315-317
Back Matter....Pages 319-348