دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Cliff B. Jones (auth.), George Eleftherakis, Mike Hinchey, Mike Holcombe (eds.) سری: Lecture Notes in Computer Science 7504 ISBN (شابک) : 9783642338250, 9783642338267 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2012 تعداد صفحات: 394 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 8 مگابایت
کلمات کلیدی مربوط به کتاب مهندسی نرم افزار و روش های رسمی: دهمین کنفرانس بین المللی، SEFM 2012، تسالونیکی، یونان، 1-5 اکتبر 2012. مجموعه مقالات: مهندسی نرم افزار، منطق و معانی برنامه ها، زبان های برنامه نویسی، کامپایلر، مترجمان، منطق ریاضی و زبان های رسمی، شبکه های ارتباطی کامپیوتری، هوش مصنوعی (شامل رباتیک)
در صورت تبدیل فایل کتاب Software Engineering and Formal Methods: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مهندسی نرم افزار و روش های رسمی: دهمین کنفرانس بین المللی، SEFM 2012، تسالونیکی، یونان، 1-5 اکتبر 2012. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات داوری دهمین کنفرانس بینالمللی مهندسی نرمافزار و روشهای رسمی، SEFM 2012، برگزار شده در تسالونیکی، یونان، در اکتبر 2012 است. 19 مقاله پژوهشی اصلاحشده همراه با 3 مقاله کوتاه، 2 مقاله ابزار، و 2 گفتگوی دعوت شده با دقت بررسی و از بین 98 مورد ارسالی کامل انتخاب شدند. کنفرانس SEFM میخواهد پیشرفتهترین روشها را در روشهای رسمی ارتقا دهد، مقیاسپذیری و قابلیت استفاده آنها را با توجه به کاربرد آنها در صنعت نرمافزار افزایش دهد و ادغام آنها با روشهای مهندسی عملی را ارتقا دهد.
This book constitutes the refereed proceedings of the 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, held in Thessaloniki, Greece, in October 2012. The 19 revised research papers presented together with 3 short papers, 2 tool papers, and 2 invited talks were carefully reviewed and selected from 98 full submissions. The SEFM conference aspires to advance the state-of-the-art in formal methods, to enhance their scalability and usability with regards to their application in the software industry and to promote their integration with practical engineering methods.
Front Matter....Pages -
Abstraction as a Unifying Link for Formal Approaches to Concurrency....Pages 1-15
A Rule-Based and Imperative Language for Biochemical Modeling and Simulation....Pages 16-32
Sound Control-Flow Graph Extraction for Java Programs with Exceptions....Pages 33-47
Checking Sanity of Software Requirements....Pages 48-62
TVAL+ : TVLA and Value Analyses Together....Pages 63-77
A Systematic Approach to Atomicity Decomposition in Event-B....Pages 78-93
Compositional Reasoning about Shared Futures....Pages 94-108
Verification of Aspectual Composition in Feature-Modeling....Pages 109-125
A Denotational Model for Instantaneous Signal Calculus....Pages 126-140
A Timed Mobility Semantics Based on Rewriting Strategies....Pages 141-155
Towards a Formal Component Model for the Cloud....Pages 156-171
The Rely/Guarantee Approach to Verifying Concurrent BPEL Programs....Pages 172-187
Completing the Automated Verification of a Small Hypervisor – Assembler Code Verification....Pages 188-202
A Configuration Approach for IMA Systems....Pages 203-217
poly Larva : Runtime Verification with Configurable Resource-Aware Monitoring Boundaries....Pages 218-232
Frama-C....Pages 233-247
An Optimization Approach for Effective Formalized fUML Model Checking....Pages 248-262
Efficient Probabilistic Abstraction for SysML Activity Diagrams....Pages 263-277
ML Dependency Analysis for Assessors....Pages 278-292
An Improved Test Generation Approach from Extended Finite State Machines Using Genetic Algorithms....Pages 293-307
Securely Accessing Shared Resources with Concurrent Constraint Programming....Pages 308-322
A Practical Approach for Closed Systems Formal Verification Using Event-B....Pages 323-332
Extensible Specifications for Automatic Re-use of Specifications and Proofs....Pages 333-341
Implementing Tactics of Refinement in CRefine ....Pages 342-351
JSXM: A Tool for Automated Test Generation....Pages 352-366
A Low-Overhead, Value-Tracking Approach to Information Flow Security....Pages 367-381
Back Matter....Pages -