ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings

دانلود کتاب روش ها و مهندسی نرم افزار رسمی: نهمین کنفرانس بین المللی روشهای مهندسی رسمی ، ICFEM 2007 ، بوکا راتون ، فلوریدا ، ایالات متحده ، 14-15 نوامبر 2007. مجموعه مقالات

Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings

مشخصات کتاب

Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings

دسته بندی: فن آوری
ویرایش: 1 
نویسندگان: , , ,   
سری: Lecture Notes in Computer Science 4789 : Programming and Software Engineering 
ISBN (شابک) : 3540766480, 9783540766483 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2007 
تعداد صفحات: 395 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 4 مگابایت

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



کلمات کلیدی مربوط به کتاب روش ها و مهندسی نرم افزار رسمی: نهمین کنفرانس بین المللی روشهای مهندسی رسمی ، ICFEM 2007 ، بوکا راتون ، فلوریدا ، ایالات متحده ، 14-15 نوامبر 2007. مجموعه مقالات: تکنیک های برنامه نویسی، مهندسی نرم افزار، مدل ها و اصول، منطق و معانی برنامه ها، زبان های برنامه نویسی، کامپایلر ها، مترجمان



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

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


در صورت تبدیل فایل کتاب Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب روش ها و مهندسی نرم افزار رسمی: نهمین کنفرانس بین المللی روشهای مهندسی رسمی ، ICFEM 2007 ، بوکا راتون ، فلوریدا ، ایالات متحده ، 14-15 نوامبر 2007. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب روش ها و مهندسی نرم افزار رسمی: نهمین کنفرانس بین المللی روشهای مهندسی رسمی ، ICFEM 2007 ، بوکا راتون ، فلوریدا ، ایالات متحده ، 14-15 نوامبر 2007. مجموعه مقالات



این کتاب مجموعه مقالات داوری نهمین کنفرانس بین المللی روش های مهندسی رسمی، ICFEM 2007، برگزار شده در بوکا راتون، فلوریدا، ایالات متحده آمریکا، 14 تا 15 نوامبر 2007 است.

19 مقاله کامل اصلاح شده همراه با دو سخنرانی دعوت شده ارائه شده، به دقت بررسی و از بین 38 مورد ارسالی انتخاب شدند. این مقالات به تمام مسائل جاری در روش های رسمی و کاربردهای آنها در مهندسی نرم افزار می پردازد. آنها در بخش های موضوعی در مورد امنیت و دانش، سیستم های تعبیه شده، آزمایش، تجزیه و تحلیل خودکار، سخت افزار و همزمان سازماندهی شده اند.


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

This book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, held in Boca Raton, Florida, USA, November 14-15, 2007.

The 19 revised full papers together with two invited talks presented were carefully reviewed and selected from 38 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on security and knowledge, embedded systems, testing, automated analysis, hardware and concurrency.



فهرست مطالب

Front Matter....Pages -
A System Development Process with Event-B and the Rodin Platform....Pages 1-3
Challenges in Software Certification....Pages 4-18
Integrating Formal Methods with System Management....Pages 19-36
Formal Engineering of XACML Access Control Policies in VDM++....Pages 37-56
A Verification Framework for Agent Knowledge....Pages 57-75
From Model-Based Design to Formal Verification of Adaptive Embedded Systems....Pages 76-95
Machine-Assisted Proof Support for Validation Beyond Simulink....Pages 96-115
VeSTA: A Tool to Verify the Correct Integration of a Component in a Composite Timed System....Pages 116-135
Integrating Specification-Based Review and Testing for Detecting Errors in Programs....Pages 136-150
Testing for Refinement in CSP....Pages 151-170
Reducing Test Sequence Length Using Invertible Sequences....Pages 171-190
Model Checking with SAT-Based Characterization of ACTL Formulas....Pages 191-211
Automating Refinement Checking in Probabilistic System Design....Pages 212-231
Model Checking in Practice: Analysis of Generic Bootloader Using SPIN....Pages 232-245
Model Checking Propositional Projection Temporal Logic Based on SPIN....Pages 246-265
A Denotational Semantics for Handel-C Hardware Compilation....Pages 266-285
Automatic Generation of Verified Concurrent Hardware....Pages 286-306
Modeling and Verification of Master/Slave Clock Synchronization Using Hybrid Automata and Model-Checking....Pages 307-326
Efficient Symbolic Execution of Large Quantifications in a Process Algebra....Pages 327-344
Formalizing SANE Virtual Processor in Thread Algebra....Pages 345-365
Calculating and Composing Progress Properties in Terms of the Leads-to Relation....Pages 366-386
Erratum to: Challenges in Software Certification....Pages E1-E1
Back Matter....Pages -




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

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی