دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Holger Hermanns (auth.), Gilles Barthe, Alberto Pardo, Gerardo Schneider (eds.) سری: Lecture Notes in Computer Science 7041 ISBN (شابک) : 9783642246906, 3642246893 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2011 تعداد صفحات: 517 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 8 مگابایت
کلمات کلیدی مربوط به کتاب مهندسی نرم افزار و روش های رسمی: نهمین کنفرانس بین المللی ، SEFM 2011 ، مونته ویدئو ، اروگوئه ، 14 تا 18 نوامبر 2011. مجموعه مقالات: مهندسی نرم افزار، منطق و معانی برنامه ها، زبان های برنامه نویسی، کامپایلر، مترجمان، تکنیک های برنامه نویسی، شبکه های ارتباطی کامپیوتری، هوش مصنوعی (شامل رباتیک)
در صورت تبدیل فایل کتاب Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مهندسی نرم افزار و روش های رسمی: نهمین کنفرانس بین المللی ، SEFM 2011 ، مونته ویدئو ، اروگوئه ، 14 تا 18 نوامبر 2011. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات داوری نهمین کنفرانس بینالمللی مهندسی نرمافزار و روشهای رسمی، SEFM 2011، برگزار شده در مونته ویدئو، اروگوئه، در نوامبر 2011 است. مقالات ابزار و 4 گفتگوی کلیدی به دقت بررسی و از بین 105 چکیده اولیه و 85 مورد ارسالی کامل انتخاب شدند. علاوه بر جلسه عادی، کنفرانس یک مسیر ویژه اختصاص داده شده به "مدل سازی برای توسعه پایدار" را با 5 مقاله پذیرفته شده - انتخاب شده از 7 مقاله ارسالی - که نیز بخشی از این جلد است، برگزار کرد. هدف SEFM ارتقای وضعیت هنر در روشهای رسمی، افزایش کاربرد آنها در صنعت نرمافزار و تشویق ادغام آنها با روشهای مهندسی عملی است.
This book constitutes the refereed proceedings of the 9th
International Conference on Software Engineering and Formal
Methods, SEFM 2011, held in Montevideo, Uruguay, in November
2011.
The 22 revised regular papers presented together with 1 short
paper, 2 tool papers, and 4 keynote talks were carefully
reviewed and selected from 105 initial abstracts and 85 full
submissions. Besides the regular session the conference held
a special track devoted to "Modeling for Sustainable
Development" with 5 accepted papers - selected from 7
submissions - that are also part of this volume. The aim of
SEFM is to advance the state of the art in formal methods, to
scale up their application in software industry and to
encourage their integration with practical engineering
methods.
Front Matter....Pages -
Formal Methods in Energy Informatics....Pages 1-2
Formal Methods as a Link between Software Code and Legal Rules....Pages 3-18
Developing Model-Checking Mechanisms for ASSL: An Experience Report....Pages 19-34
Models and Communication in the Policy Process....Pages 35-37
Distributed Implementation of Systems with Multiparty Interactions and Priorities....Pages 38-57
Verification of PLC Properties Based on Formal Semantics in Coq....Pages 58-73
Broadcast Psi-calculi with an Application to Wireless Protocols....Pages 74-89
A Formalisation of Java Strings for Program Specification and Verification....Pages 90-105
dCTL : A Branching Time Temporal Logic for Fault-Tolerant System Verification....Pages 106-121
A Machine-Checked Framework for Relational Separation Logic....Pages 122-137
A Dataflow Analysis to Improve SAT-Based Bounded Program Verification....Pages 138-154
Reverse Hoare Logic....Pages 155-171
Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods....Pages 172-187
Verification of B + Trees: An Experiment Combining Shape Analysis and Interactive Theorem Proving....Pages 188-203
Runtime Verification of Component-Based Systems....Pages 204-220
Translating Alloy Specifications to UML Class Diagrams Annotated with OCL....Pages 221-236
Safe Distribution of Declarative Processes....Pages 237-252
Verifying B Proof Rules Using Deep Embedding and Automated Theorem Proving....Pages 253-268
Hybrid Specification of Reactive Systems: An Institutional Approach....Pages 269-285
Leveraging State-Based User Preferences in Context-Aware Reconfigurations for Self-Adaptive Systems....Pages 286-301
Context-Bounded Model Checking of LTL Properties for ANSI-C Software....Pages 302-317
Modular Modelling of Software Product Lines with Feature Nets....Pages 318-333
Synchronizing Asynchronous Conformance Testing....Pages 334-349
Using Coq in Specification and Program Extraction of Hadoop MapReduce Applications....Pages 350-365
ProMoVer: Modular Verification of Temporal Safety Properties....Pages 366-381
Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques....Pages 382-398
Efficient Computation of Dominance in Component Systems (Short Paper)....Pages 399-406
The Boogie Verification Debugger (Tool Paper)....Pages 407-414
Object-Oriented Formal Modeling and Analysis of Interacting Hybrid Systems in HI-Maude....Pages 415-430
Towards an Agent-Based Methodology for Developing Agro-Ecosystem Simulations....Pages 431-446
Development Policy Analysis in Mali: Sustainable Growth Prospects....Pages 447-463
Using System Dynamics to Assess the Role of Socio-economic Status in Tuberculosis Incidence....Pages 464-475
Energy Consumption and CO 2 Emissions of Beijing Heating System: Based on a System Dynamics Model....Pages 476-485
A Formal Approach to Analysing Knowledge Transfer Processes in Developing Countries....Pages 486-501
Back Matter....Pages -