دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Software Engineering and Formal Methods: SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers
دانلود کتاب مهندسی نرم افزار و روش های رسمی: SEFM 2014 کارگاه های آموزشی: HOFM، SAFOME، OpenCert، MoKMaSD، WS-FMDS، گرنوبل، فرانسه، 1-2 سپتامبر 2014، مقالات منتخب اصلاح شده
مشخصات کتاب
Software Engineering and Formal Methods: SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers
ویرایش: 1
نویسندگان: Carlos Canal. Akram Idani (eds.)
سری: Lecture Notes in Computer Science 8938 Programming and Software Engineering
ISBN (شابک) : 9783319152004, 9783319152011
ناشر: Springer International Publishing
سال نشر: 2015
تعداد صفحات: 426
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 41 مگابایت
قیمت کتاب (تومان) : 46,000
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
کلمات کلیدی مربوط به کتاب مهندسی نرم افزار و روش های رسمی: SEFM 2014 کارگاه های آموزشی: HOFM، SAFOME، OpenCert، MoKMaSD، WS-FMDS، گرنوبل، فرانسه، 1-2 سپتامبر 2014، مقالات منتخب اصلاح شده: منطق و معانی برنامه ها، مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق ریاضی و زبان های رسمی
در صورت تبدیل فایل کتاب Software Engineering and Formal Methods: SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مهندسی نرم افزار و روش های رسمی: SEFM 2014 کارگاه های آموزشی: HOFM، SAFOME، OpenCert، MoKMaSD، WS-FMDS، گرنوبل، فرانسه، 1-2 سپتامبر 2014، مقالات منتخب اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مهندسی نرم افزار و روش های رسمی: SEFM 2014 کارگاه های آموزشی: HOFM، SAFOME، OpenCert، MoKMaSD، WS-FMDS، گرنوبل، فرانسه، 1-2 سپتامبر 2014، مقالات منتخب اصلاح شده
این کتاب شامل مقالات منتخب اصلاح‌شده از کارگاه‌های هم‌زمان با کنفرانس SEFM 2014 در زمینه مهندسی نرم‌افزار و روش‌های رسمی است که در گرنوبل، فرانسه، در سپتامبر 2014 برگزار شد. . آنها از کارگاه های زیر هستند: اولین کارگاه روش های رسمی انسان محور - از خوانایی تا اتوماسیون، HOFM 2014، سومین سمپوزیوم بین المللی مدل سازی و برنامه های مدیریت دانش - سیستم ها و دامنه ها، MoKMaSD 2014، هشتمین کارگاه بین المللی مبانی و تکنیک‌های صدور گواهینامه نرم‌افزار متن‌باز، Open Cert 2014، اولین کارگاه آموزشی ایمنی و روش‌های رسمی، SaFoMe 2014 و چهارمین کارگاه آموزشی روش‌های رسمی در توسعه نرم‌افزار، WS-FMDS 2014.
توضیحاتی درمورد کتاب به خارجی
This book constitutes revised selected papers from the workshops collocated with the SEFM 2014 conference on Software Engineering and Formal Methods, held in Grenoble, France, in September 2014. The 26 papers included in this volume were carefully reviewed and selected from 49 submissions. They are from the following workshops: the 1st Workshop on Human-Oriented Formal Methods - From Readability to Automation, HOFM 2014, the 3rd International Symposium on Modelling and Knowledge Management Applications - Systems and Domains, MoKMaSD 2014, the 8th International Workshop on Foundations and Techniques for Open Source Software Certification, Open Cert 2014, the 1st Workshop on Safety and Formal Methods, SaFoMe 2014 and the 4th Workshop on Formal Methods in the Development of Software, WS-FMDS 2014.
فهرست مطالب
Front Matter....Pages I-XXVII
Front Matter....Pages 1-1
A Usability Evaluation of Interactive Theorem Provers Using Focus Groups....Pages 3-19
An Approach for Creating Domain Specific Visualisations of CSP Models....Pages 20-35
Using Z in the Development and Maintenance of Computational Models of Real-World Systems....Pages 36-53
When a Formal Model Rhymes with a Graphical Notation....Pages 54-68
Front Matter....Pages 69-69
On a Process Algebraic Representation of Sequence Diagrams....Pages 71-85
Modelling and Verification of Survivability Requirements for Critical Systems....Pages 86-100
Model-Based Verification of Safety Contracts....Pages 101-115
A Testing-Based Approach to Ensure the Safety of Shared Resource Concurrent Systems....Pages 116-130
A Contracts-Based Framework for Systems Modeling and Embedded Diagnostics....Pages 131-143
Front Matter....Pages 145-145
Modelling and Verifying Smell-Free Architectures with the Archery Language....Pages 147-163
OntoLiFLOSS: Ontology for Learning Processes in FLOSS Communities....Pages 164-181
Process Mining Event Logs from FLOSS Data: State of the Art and Perspectives....Pages 182-198
Front Matter....Pages 199-199
A Latent Representation Model for Sentiment Analysis in Heterogeneous Social Networks....Pages 201-213
Use of Mobile Phone Data to Estimate Visitors Mobility Flows....Pages 214-226
An Abstract State Machine (ASM) Representation of Learning Process in FLOSS Communities....Pages 227-242
A Mathematical Model for Assessing KRAS Mutation Effect on Monoclonal Antibody Treatment of Colorectal Cancer....Pages 243-258
Sea-Scale Agent-Based Simulator of Solea solea in the Adriatic Sea....Pages 259-275
Research Challenges in Modelling Ecosystems....Pages 276-293
Retrieving Points of Interest from Human Systematic Movements....Pages 294-308
Front Matter....Pages 309-309
Path-Sensitive Race Detection with Partial Order Reduced Symbolic Execution....Pages 311-322
Front Matter....Pages 309-309
Phase-Type Approximations for Non-Markovian Systems: A Case Study....Pages 323-334
Quantitative Anonymity Evaluation of Voting Protocols....Pages 335-349
Scalable Verification of Markov Decision Processes....Pages 350-362
Towards Synthesis of Attack Trees for Supporting Computer-Aided Risk Analysis....Pages 363-375
On Generation of Context-Abstract Plans....Pages 376-388
A Coloured Petri Net Approach to Model and Analyse Stateful Workflows Based on WS-BPEL and WSRF....Pages 389-404
Back Matter....Pages 405-405
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Exploratory Software Testing: Tips, Tricks, Tours, and Techniques to Guide Test Design
دانلود کتاب A Concise History of Texas
دانلود کتاب The Cretan Insurrection of 1866-7-8
