دانلود کتاب Integrated Formal Methods: Third International Conference, IFM 2002 Turku, Finland, May 15–18, 2002 Proceedings
کتاب روش های رسمی یکپارچه: سومین کنفرانس بین المللی، IFM 2002 تورکو، فنلاند، 15-18 مه، 2002 مجموعه مقالات نسخه زبان اصلی
دانلود کتاب روش های رسمی یکپارچه: سومین کنفرانس بین المللی، IFM 2002 تورکو، فنلاند، 15-18 مه، 2002 مجموعه مقالات بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Integrated Formal Methods: Third International Conference, IFM 2002 Turku, Finland, May 15–18, 2002 Proceedings
نام کتاب : Integrated Formal Methods: Third International Conference, IFM 2002 Turku, Finland, May 15–18, 2002 Proceedings
ویرایش : 1
عنوان ترجمه شده به فارسی : روش های رسمی یکپارچه: سومین کنفرانس بین المللی، IFM 2002 تورکو، فنلاند، 15-18 مه، 2002 مجموعه مقالات
سری : Lecture Notes in Computer Science 2335
نویسندگان : Eran Gery, David Harel, Eldad Palachi (auth.), Michael Butler, Luigia Petre, Kaisa Sere (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2002
تعداد صفحات : 410
ISBN (شابک) : 9783540437031 , 3540437037
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 4 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
سومین کنفرانس بین المللی از سری کنفرانس های بین المللی در مورد روش های رسمی یکپارچه، IFM 2002، در تورکو، فنلاند، 15 تا 17 می 2002 برگزار شد. تورکو، واقع در گوشه جنوب غربی کشور، پایتخت سابق این کشور است. فنلاند ? کنفرانس مشترکا توسط دانشگاه ابو آکادمی و مرکز علوم کامپیوتر تورکو برگزار شد. موضوع IFM 1999 ادغام فرمالیسم های مبتنی بر دولت و رفتار بود. برای IFM 2000 این به گونه‌ای گسترش یافت که تمام جنبه‌های مربوط به ادغام روش‌های رسمی و نمادهای رسمی را شامل شود. یکی از اهداف IFM 2002 بررسی بیشتر این موضوعات بود. علاوه بر این، IFM 2002 روابط بین روش های رسمی و نمادهای گرافیکی، به ویژه زبان استاندارد صنعتی برای طراحی نرم افزار، TheUni?edModelingLanguage (UML) را بررسی کرد. موضوعات IFM 2002 آنچه را که ما معتقدیم روند رو به رشدی در جوامع تحقیقاتی روش‌های رسمی و مهندسی نرم‌افزار است، بازتاب می‌دهند. در طول سه دهه گذشته، دانشمندان رایانه با تمرکز بر جنبه های خاصی از رفتار یا تجزیه و تحلیل، مانند ساختارهای برنامه متوالی، ساختارهای برنامه همزمان، داده ها و ساختارهای اطلاعاتی، استدلال زمانی، اثبات قیاسی و بررسی مدل، منظری از فرمالیسم را توسعه دادند. در حال حاضر تلاش های زیادی در مورد ادغام این روش ها به منظور ترکیب مزیت های آنها و اطمینان از افزایش آنها به نیازهای صنعتی در حال انجام است. نمادهای گرافیکی اکنون به طور گسترده در مهندسی نرم افزار مورد استفاده قرار می گیرند و اهمیت ارائه آنها با پایه های اساسی و قابلیت های تجزیه و تحلیل فرمال موجود در روش های رسمی به طور فزاینده ای وجود دارد.
فهرست مطالب :
Rhapsody: A Complete Life-Cycle Model-Based Development System....Pages 1-10
An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation....Pages 11-28
Stochastic Process Algebras Meet Eden....Pages 29-48
From Implicit Specifications to Explicit Designs in Reactive System Development....Pages 49-68
Basic-REAL: Integrated Approach for Design, Specification and Verification of Distributed Systems....Pages 69-88
Assume-Guarantee Algorithms for Automatic Detection of Software Failures....Pages 89-108
Contributions for Modelling UML State-Charts in B....Pages 109-127
Translating Statecharts to B....Pages 128-144
A Framework for Translating Models and Specifications....Pages 145-164
Model Checking Object-Z Using ASM....Pages 165-184
Formalization of Cadence SPW Fixed-Point Arithmetic in HOL....Pages 185-204
Formally Linking MDG and HOL Based on a Verified MDG System....Pages 205-224
Refinement in Object-Z and CSP....Pages 225-244
Combining Specification Techniques for Processes, Data and Time....Pages 245-266
An Integration of Real-Time Object-Z and CSP for Specifying Concurrent Real-Time Systems....Pages 267-285
Model Driven Engineering....Pages 286-298
The Design of a Tool-Supported Graphical Notation for Timed CSP....Pages 299-318
Combining Graphical and Formal Development of Open Distributed Systems....Pages 319-338
Translations between Textual Transition Systems and Petri Nets....Pages 339-359
Specification and Proof of Liveness Properties under Fairness Assumptions in B Event Systems....Pages 360-379
Minimally and Maximally Abstract Retrenchments....Pages 380-399
توضیحاتی در مورد کتاب به زبان اصلی :
The third in a series of international conferences on Integrated Formal Methods, IFM 2002, was held in Turku, Finland, May 15–17, 2002. Turku, situated in the south western corner of the country, is the former capital of Finland. The ? conference was organized jointly by Abo Akademi University and Turku Centre for Computer Science. The theme of IFM 1999 was the integration of state and behavioral based formalisms. For IFM 2000 this was widened to include all aspects pertaining to the integration of formal methods and formal notations. One of the goals of IFM 2002 was to further investigate these themes. Moreover, IFM 2002 explored the relations between formal methods and graphical notations, especially the industrialstandardlanguageforsoftwaredesign,theUni?edModelingLanguage (UML). The themes of IFM 2002 re?ect what we believe is a growing trend in the Formal Methods and Software Engineering research communities. Over the last threedecades,computerscientistshavedevelopedarangeofformalismsfocusing on particular aspects of behavior or analysis, such as sequential program str- tures,concurrentprogramstructures,dataandinformationstructures,temporal reasoning, deductive proof, and model checking. Much e?ort is now being - voted to integrating these methods in order to combine their advantages and ensure they scale up to industrial needs. Graphical notations are now widely used in software engineering and there is growing recognition of the importance ofprovidingthesewiththeformalunderpinningsandformalanalysiscapabilities found in formal methods.