دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I
دانلود کتاب کاربردهای اعمال شده از روشهای رسمی ، تأیید و اعتبار سنجی. فن آوری های مسترینگ تغییر: ششمین سمپوزیوم بین المللی ، ISoLA 2014 ، امپریال ، کورفو ، یونان ، 8-11 اکتبر 2014 ، مجموعه مقالات ، قسمت اول
مشخصات کتاب
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I
ویرایش: 1
نویسندگان: Tiziana Margaria. Bernhard Steffen (eds.)
سری: Lecture Notes in Computer Science 8802 Theoretical Computer Science and General Issues
ISBN (شابک) : 9783662452332, 9783662452349
ناشر: Springer-Verlag Berlin Heidelberg
سال نشر: 2014
تعداد صفحات: 564
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 17 مگابایت
قیمت کتاب (تومان) : 43,000
کلمات کلیدی مربوط به کتاب کاربردهای اعمال شده از روشهای رسمی ، تأیید و اعتبار سنجی. فن آوری های مسترینگ تغییر: ششمین سمپوزیوم بین المللی ، ISoLA 2014 ، امپریال ، کورفو ، یونان ، 8-11 اکتبر 2014 ، مجموعه مقالات ، قسمت اول: مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلرها، مترجمان، محاسبات با دستگاه های انتزاعی، منطق ریاضی و زبان های رسمی، منطق و معانی برنامه ها، هوش مصنوعی (شامل رباتیک)
در صورت تبدیل فایل کتاب Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب کاربردهای اعمال شده از روشهای رسمی ، تأیید و اعتبار سنجی. فن آوری های مسترینگ تغییر: ششمین سمپوزیوم بین المللی ، ISoLA 2014 ، امپریال ، کورفو ، یونان ، 8-11 اکتبر 2014 ، مجموعه مقالات ، قسمت اول نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب کاربردهای اعمال شده از روشهای رسمی ، تأیید و اعتبار سنجی. فن آوری های مسترینگ تغییر: ششمین سمپوزیوم بین المللی ، ISoLA 2014 ، امپریال ، کورفو ، یونان ، 8-11 اکتبر 2014 ، مجموعه مقالات ، قسمت اول
مجموعه دو جلدی LNCS 8802 و LNCS 8803، مجموعه مقالات داوری ششمین سمپوزیوم بین‌المللی در مورد استفاده از کاربردهای روشهای رسمی، تأیید و اعتبارسنجی، ISOLA 2014، در Imperial، Corfu، یونان، در اکتبر 2014 برگزار می‌شود. از 67 مقاله کامل به دقت بررسی و برای درج در روند رسیدگی انتخاب شد. این مقالات با معرفی مسیر برای هر بخش، در بخش‌های موضوعی با نام‌های زیر سازماندهی شده‌اند: سیستم‌های بحرانی در حال تکامل. مهندسی دقیق مجموعه های خودمختار؛ یادگیری خودکار؛ روش ها و تجزیه و تحلیل رسمی در مهندسی خط تولید نرم افزار؛ تولیدکنندگان کد و کامپایلرهای مبتنی بر مدل؛ مهندسی سیستم های مجازی. بررسی مدل آماری؛ تست مبتنی بر ریسک؛ سیستم های فیزیکی سایبری پزشکی؛ گردش کار علمی؛ ارزیابی و تکرارپذیری تحلیل برنامه؛ فرآیندها و ادغام داده ها در مراقبت های بهداشتی شبکه ای؛ ناهمگونی معنایی در توسعه رسمی سیستم های پیچیده علاوه بر این، بخش اول شامل آموزش در مورد یادگیری خودکار در عمل است. و همچنین مانیفست مقدماتی معاملات LNCS در مبانی تسلط بر تغییر با چندین مقاله موضع. بخش دوم حاوی اطلاعاتی در مورد مسیر صنعتی و سمپوزیوم دکترا و جلسه پوستر است.
توضیحاتی درمورد کتاب به خارجی
The two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014, held in Imperial, Corfu, Greece, in October 2014. The total of 67 full papers was carefully reviewed and selected for inclusion in the proceedings. Featuring a track introduction to each section, the papers are organized in topical sections named: evolving critical systems; rigorous engineering of autonomic ensembles; automata learning; formal methods and analysis in software product line engineering; model-based code generators and compilers; engineering virtualized systems; statistical model checking; risk-based testing; medical cyber-physical systems; scientific workflows; evaluation and reproducibility of program analysis; processes and data integration in the networked healthcare; semantic heterogeneity in the formal development of complex systems. In addition, part I contains a tutorial on automata learning in practice; as well as the preliminary manifesto to the LNCS Transactions on the Foundations for Mastering Change with several position papers. Part II contains information on the industrial track and the doctoral symposium and poster session.
فهرست مطالب
Front Matter....Pages -
Evolving Critical Systems - Track Introduction....Pages 1-3
Statistical Abstraction Boosts Design and Test Efficiency of Evolving Critical Systems....Pages 4-25
Combinatory Logic Synthesizer....Pages 26-40
Incremental Syntactic-Semantic Reliability Analysis of Evolving Structured Workflows....Pages 41-55
Prototype-Driven Development of Web Applications with DyWA....Pages 56-72
Domain-Specific Languages for Enterprise Systems....Pages 73-95
Introduction to “Rigorous Engineering of Autonomic Ensembles”– Track Introduction....Pages 96-98
Helena @Work: Modeling the Science Cloud Platform....Pages 99-116
Formalizing Self-adaptive Clouds with KnowLang....Pages 117-130
Towards Performance-Aware Engineering of Autonomic Component Ensembles....Pages 131-146
Self-expression and Dynamic Attribute-Based Ensembles in SCEL....Pages 147-163
On Programming and Policing Autonomic Computing Systems....Pages 164-183
Rigorous System Design Flow for Autonomous Systems....Pages 184-198
Learning Models for Verification and Testing — Special Track at ISoLA 2014 Track Introduction....Pages 199-201
Algorithms for Inferring Register Automata....Pages 202-219
Active Learning of Nondeterministic Systems from an ioco Perspective....Pages 220-235
Verification of GUI Applications: A Black-Box Approach....Pages 236-252
Fomal Methods and Analyses in Software Product Line Engineering....Pages 253-256
A Core Language for Separate Variability Modeling....Pages 257-272
Domain Specific Languages for Managing Feature Models: Advances and Challenges....Pages 273-288
Delta-Trait Programming of Software Product Lines....Pages 289-303
Deployment Variability in Delta-Oriented Models....Pages 304-319
DeltaCCS: A Core Calculus for Behavioral Change....Pages 320-335
Coverage Criteria for Behavioural Testing of Software Product Lines....Pages 336-350
Challenges in Modelling and Analyzing Quantitative Aspects of Bike-Sharing Systems....Pages 351-367
Towards Modular Verification of Software Product Lines with mCRL2....Pages 368-385
Model-Based Code-Generators and Compilers - Track Introduction....Pages 386-390
DSL Implementation for Model-Based Development of Pumps....Pages 391-406
Building Code Generators for DSLs Using a Partial Evaluator for the Xtend Language....Pages 407-424
Back-To-Back Testing of Model-Based Code Generators....Pages 425-444
Rewriting Object Models With Cycles and Nested Collections....Pages 445-460
Compiling SCCharts — A Case-Study on Interactive Model-Based Compilation....Pages 461-480
Domain-Specific Code Generator Modeling: A Case Study for Multi-faceted Concurrent Systems....Pages 481-498
Tutorial: Automata Learning in Practice....Pages 499-513
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Cooperative Information Agents III: Third International Workshop, CIA’99 Uppsala, Sweden, July 31–August 2, 1999 Proceedings
دانلود کتاب La nueva mecánica ondulatoria y otros escritos
