دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب 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
ویرایش: 1 نویسندگان: He Jifeng (auth.), Keijiro Araki PhD, Andy Galloway PhD, MSc, BSc(Hons), Kenji Taguchi MA (eds.) سری: ISBN (شابک) : 9781852331078, 9781447108511 ناشر: Springer-Verlag London سال نشر: 1999 تعداد صفحات: 476 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 13 مگابایت
قیمت کتاب (تومان) : 37,000
کلمات کلیدی مربوط به کتاب IFM'99: مجموعه مقالات اولین کنفرانس بین المللی روش های رسمی یکپارچه، یورک، 28-29 ژوئن 1999: است
در صورت تبدیل فایل کتاب 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
