دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Takuya Katayama (auth.), Shaoying Liu, Tom Maibaum, Keijiro Araki (eds.) سری: Lecture Notes in Computer Science 5256 Programming and Software Engineering ISBN (شابک) : 9783540881933, 9783540881940 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2008 تعداد صفحات: 408 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 مگابایت
کلمات کلیدی مربوط به کتاب روشهای رسمی و مهندسی نرم افزار: دهمین کنفرانس بین المللی روشهای مهندسی رسمی ، ICFEM 2008 ، کیتاکیوشو-شهر ، ژاپن ، 27-31 اکتبر ، 2008. مجموعه مقالات: مهندسی نرم افزار، تکنیک های برنامه نویسی، زبان های برنامه نویسی، کامپایلرها، مترجمان، مدل ها و اصول، منطق ریاضی و زبان های رسمی، تحلیل الگوریتم و پیچیدگی مسائل
در صورت تبدیل فایل کتاب Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روشهای رسمی و مهندسی نرم افزار: دهمین کنفرانس بین المللی روشهای مهندسی رسمی ، ICFEM 2008 ، کیتاکیوشو-شهر ، ژاپن ، 27-31 اکتبر ، 2008. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
This book constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM 2008, held in Kitakyushu-City, Japan, October 2008.
The 20 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 62 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on specification and verification; testing; verification; model checking and analysis; tools; application of formal methods; semantics.
Front Matter....Pages -
How Can We Make Industry Adopt Formal Methods?....Pages 1-1
Programmers Ain’t Mathematicians, and Neither Are Testers....Pages 2-2
Contract-Based Reasoning for Verification and Certification of Secure Information Flow Policies in Industrial Workflows....Pages 3-4
Specifying and Verifying Event-Based Fairness Enhanced Systems....Pages 5-24
Modelling and Proof of a Tree-Structured File System in Event-B and Rodin....Pages 25-44
Conformance Testing Based on UML State Machines....Pages 45-65
An Approach to Testing with Embedded Context Using Model Checker....Pages 66-85
Requirements Coverage as an Adequacy Measure for Conformance Testing....Pages 86-104
Decomposition for Compositional Verification....Pages 105-125
A Formal Soundness Proof of Region-Based Memory Management for Object-Oriented Paradigm....Pages 126-146
Program Models for Compositional Verification....Pages 147-166
A Unified Model Checking Approach with Projection Temporal Logic....Pages 167-186
Formal Analysis of the Bakery Protocol with Consideration of Nonatomic Reads and Writes....Pages 187-206
Towards Abstraction for DynAlloy Specifications....Pages 207-225
Partial Translation Verification for Untrusted Code-Generators....Pages 226-237
A Practical Approach to Partiality – A Proof Based Approach....Pages 238-257
A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking....Pages 258-277
Probing the Depths of CSP-M: A New fdr -Compliant Validation Tool....Pages 278-297
Practical Automated Partial Verification of Multi-paradigm Real-Time Models....Pages 298-317
Specifying and Verifying Sensor Networks: An Experiment of Formal Methods....Pages 318-337
Correct Channel Passing by Construction....Pages 338-354
A Process Semantics for BPMN....Pages 355-374
A Formal Descriptive Semantics of UML....Pages 375-396
Back Matter....Pages -