ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب IFM’99: Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999

دانلود کتاب IFM'99: مجموعه مقالات اولین کنفرانس بین المللی روش های رسمی یکپارچه، یورک، 28-29 ژوئن 1999

IFM’99: Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999

مشخصات کتاب

IFM’99: Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999

ویرایش: 1 
نویسندگان: , , , , ,   
سری:  
ISBN (شابک) : 9781852331078, 9781447108511 
ناشر: Springer-Verlag London 
سال نشر: 1999 
تعداد صفحات: 476 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 13 مگابایت 

قیمت کتاب (تومان) : 56,000



کلمات کلیدی مربوط به کتاب IFM'99: مجموعه مقالات اولین کنفرانس بین المللی روش های رسمی یکپارچه، یورک، 28-29 ژوئن 1999: است



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 8


در صورت تبدیل فایل کتاب IFM’99: Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب IFM'99: مجموعه مقالات اولین کنفرانس بین المللی روش های رسمی یکپارچه، یورک، 28-29 ژوئن 1999 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب IFM'99: مجموعه مقالات اولین کنفرانس بین المللی روش های رسمی یکپارچه، یورک، 28-29 ژوئن 1999



روش های رسمی به عنوان روش مهندسی دقیق برای توسعه سیستم ایجاد شده است. استفاده از روش‌های رسمی برای توسعه یک سیستم بزرگ و پیچیده اغلب نیازمند مدل‌سازی جنبه‌های مختلف چنین سیستمی است. به عنوان مثال، سیستم‌های پیچیده (مانند سیستم‌های اویونیک یکپارچه، نرم‌افزار کنترل موتور) می‌توانند شامل الزامات عملکردی و زمان‌بندی شوند که در نهایت باید به عنوان اجرای کد روی یک توپولوژی توزیع شده در حال ارتباط پیاده‌سازی شوند. این کتاب حاوی مقالات ارائه شده در اولین کارگاه بین المللی روش های رسمی یکپارچه، که در ژوئن 1999 در دانشگاه یورک برگزار شد. مشکلات صنعتی این رویکرد.


توضیحاتی درمورد کتاب به خارجی

Formal methods have been established as the rigorous engineering methodology for the system development. Applying formal methods to a large and complex system development often requires the modelling of different aspects of such a system. For instance, complex systems (such as integrated avionics systems, engine control software) can involve functional and timing requirements that must be eventually implemented as executing code on a communicating distributed topology. This book contains the papers presented at the First International Workshop on Integrated Formal Methods, held at the University of York in June 1999. The conference provided a forum for the discussion of theoretical aspects of combing behavioural and state-based formalisms and practical solutions to the industrial problems of this approach.



فهرست مطالب

Front Matter....Pages I-XIV
Front Matter....Pages 1-1
A Common Framework for Mixed Hardware/Software Systems....Pages 3-25
Proof systems for message-passing process calculi....Pages 26-26
Front Matter....Pages 27-27
RT-Z: An Integration of Z and timed CSP....Pages 29-48
Towards Real-Time Object-Z....Pages 49-65
Overview of the Semantics of TCOZ....Pages 66-85
Front Matter....Pages 87-87
Modular Verification of Dynamic Properties for Reactive Systems....Pages 89-108
Modular Formal Specification of Data and Behaviour....Pages 109-128
Integration Problems in Telephone Feature Requirements....Pages 129-145
Front Matter....Pages 149-149
The Refinement of Event Calculus Models....Pages 151-169
Modelling Discrete Behaviour in a Continuous-Time Formalism....Pages 170-188
An Object Semantic Model of SOFL....Pages 189-208
Front Matter....Pages 209-209
A Modular Framework for the Integration of Heterogeneous Notations and Tools....Pages 211-230
An Approach to the Combination of Formal Description Techniques: Statecharts and TLA....Pages 231-250
Front Matter....Pages 251-251
A compositional comparison of specifications of the alternating bit protocol in CCS and UNITY based on algebra transformation systems....Pages 253-272
On the Refinement and Simulation of Data Types and Processes....Pages 273-292
Specifying component and context specification using Promotion....Pages 293-312
Front Matter....Pages 313-313
Model-Checking CSP-OZ Specifications with FDR....Pages 315-334
Specifying Interactive Systems in Object-Z and CSP....Pages 335-352
Specification and Refinement using a Heterogeneous Notation for Concurrency and Communication....Pages 353-372
Front Matter....Pages 373-373
Deductive Reasoning versus Model Checking: Two Formal Approaches for System Development....Pages 375-394
Front Matter....Pages 373-373
Requirements for a Temporal B Assigning Temporal Meaning to Abstract Machines… and to Abstract Systems....Pages 395-414
Reactive System Refinement of Distributed Systems in B....Pages 415-434
Front Matter....Pages 435-435
Using a Process Algebra to control B OPERATIONS....Pages 437-456
Retrenchment and Punctured Simulation....Pages 457-476
Back Matter....Pages 477-477




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