مشخصات کتاب

Specification and development of interactive systems: focus on streams, interfaces, and refinement

ویرایش: 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

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Maquinaria para la Construcción

دانلود کتاب Introducing criminology

دانلود کتاب European Land Battles 1939-1943 (The Military History of World War II vol.01)

دانلود کتاب Before Color Prejudice: The Ancient View of Blacks

دانلود کتاب Organic Cinema : Film, Architecture, and the Work of Béla Tarr