دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
دانلود کتاب کاربردهای اعمال شده از روشهای رسمی ، تأیید و اعتبار سنجی. برنامه ها و مطالعات موردی: پنجمین سمپوزیوم بین المللی ، ISoLA 2012 ، هراکلیون ، کرت ، یونان ، 15-18 اکتبر 2012 ، مجموعه مقالات ، قسمت دوم
مشخصات کتاب
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
ویرایش: 1 نویسندگان: Dirk Beyer, Alexander K. Petrenko (auth.), Tiziana Margaria, Bernhard Steffen (eds.) سری: Lecture notes in computer science 7610 ISBN (شابک) : 9783642340314, 3642340318 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2012 تعداد صفحات: 376 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 9 مگابایت
قیمت کتاب (تومان) : 40,000
کلمات کلیدی مربوط به کتاب کاربردهای اعمال شده از روشهای رسمی ، تأیید و اعتبار سنجی. برنامه ها و مطالعات موردی: پنجمین سمپوزیوم بین المللی ، ISoLA 2012 ، هراکلیون ، کرت ، یونان ، 15-18 اکتبر 2012 ، مجموعه مقالات ، قسمت دوم: مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلرها، مترجمان، سیستم های عامل، محاسبات با دستگاه های انتزاعی، منطق و معانی برنامه ها، هوش مصنوعی (شامل رباتیک)
در صورت تبدیل فایل کتاب Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب کاربردهای اعمال شده از روشهای رسمی ، تأیید و اعتبار سنجی. برنامه ها و مطالعات موردی: پنجمین سمپوزیوم بین المللی ، ISoLA 2012 ، هراکلیون ، کرت ، یونان ، 15-18 اکتبر 2012 ، مجموعه مقالات ، قسمت دوم نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب کاربردهای اعمال شده از روشهای رسمی ، تأیید و اعتبار سنجی. برنامه ها و مطالعات موردی: پنجمین سمپوزیوم بین المللی ، ISoLA 2012 ، هراکلیون ، کرت ، یونان ، 15-18 اکتبر 2012 ، مجموعه مقالات ، قسمت دوم
مجموعه دو جلدی LNCS 7609 و 7610 مجموعه مقالات کاملاً داوری
شده پنجمین سمپوزیوم بین المللی در مورد استفاده از کاربردهای
روش های رسمی، تأیید و اعتبارسنجی است که در هراکلیون، کرت،
یونان، در اکتبر 2012 برگزار شد.
این دو مجلدها شامل مقالات ارائه شده در بخش های موضوعی در مورد
نرم افزارهای سازگار و در حال تکامل برای سیستم های ابدی،
رویکردهای تسلط بر تغییرات، تأیید زمان اجرا: دیدگاه برنامه،
آزمایش مبتنی بر مدل و استنتاج مدل، تکنیک های یادگیری برای
تأیید و اعتبار سنجی نرم افزار، آموزش LearnLib: از متن محدود
است. خودکار برای ثبت برنامه‌های رابط، چالش RERS جعبه خاکستری
2012، تأیید درایور لینوکس، پردازش و مدل‌سازی داده‌های زیستی،
یکپارچه‌سازی فرآیند و داده در مراقبت‌های بهداشتی شبکه،
محدودیت‌های زمان‌بندی: تئوری با عمل، روشهای رسمی برای توسعه
و صدور گواهینامه X-by -سیستم های کنترل سیم، مدل سازی و تحلیل
کمی، جنبه های نرم افزاری سیستم های رباتیک، فرآیند- سیستم‌ها و
برنامه‌های اطلاعات جغرافیایی گرا، مدیریت ناهمگونی در توسعه
رسمی سیستم‌های HW و SW.
توضیحاتی درمورد کتاب به خارجی
The two-volume set LNCS 7609 and 7610 constitutes the
thoroughly refereed proceedings of the 5th International
Symposium on Leveraging Applications of Formal Methods,
Verification and Validation, held in Heraklion, Crete,
Greece, in October 2012.
The two volumes contain papers presented in the topical
sections on adaptable and evolving software for eternal
systems, approaches for mastering change, runtime
verification: the application perspective, model-based
testing and model inference, learning techniques for software
verification and validation, LearnLib tutorial: from finite
automata to register interface programs, RERS grey-box
challenge 2012, Linux driver verification, bioscientific data
processing and modeling, process and data integration in the
networked healthcare, timing constraints: theory meets
practice, formal methods for the developent and certification
of X-by-wire control systems, quantitative modelling and
analysis, software aspects of robotic systems,
process-oriented geoinformation systems and applications,
handling heterogeneity in formal development of HW and SW
Systems.
فهرست مطالب
Front Matter....Pages -
Linux Driver Verification....Pages 1-6
Bioscientific Data Processing and Modeling....Pages 7-11
Using Multiobjective Optimization and Energy Minimization to Design an Isoform-Selective Ligand of the 14-3-3 Protein....Pages 12-24
Segmentation for High-Throughput Image Analysis: Watershed Masked Clustering....Pages 25-41
Efficient and Robust Shape Retrieval from Deformable Templates....Pages 42-55
OWL-DL Domain-Models as Abstract Workflows....Pages 56-66
Processes and Data Integration in the Networked Healthcare....Pages 67-69
Simple Modeling of Executable Role-Based Workflows: An Application in the Healthcare Domain....Pages 70-72
Considerations for Healthcare Applications in a Platform as a Service Environment....Pages 73-74
Reha-Sports: The Challenge of Small Margin Healthcare Accounting....Pages 75-77
Timing Constraints: Theory Meets Practice....Pages 78-79
A Simple and Flexible Timing Constraint Logic....Pages 80-95
Generalized Weakly-Hard Constraints....Pages 96-110
Modeling a BSG-E Automotive System with the Timing Augmented Description Language....Pages 111-125
Formal Analysis of TESLA Protocol in the Timed OTS/CafeOBJ Method....Pages 126-142
Formal Specification and Verification of Task Time Constraints for Real-Time Systems....Pages 143-157
The WCET Analysis Tool CalcWcet167....Pages 158-172
Abstract Execution for Event-Driven Systems – An Application from Automotive/Infotainment Development....Pages 173-186
Formal Methods for Intelligent Transportation Systems....Pages 187-189
Model-Driven V&V Processes for Computer Based Control Systems: A Unifying Perspective....Pages 190-204
Formal Methods in Avionic Software Certification: The DO-178C Perspective....Pages 205-215
Product Line Engineering Applied to CBTC Systems Development....Pages 216-230
Improving Verification Process in Driverless Metro Systems: The MBAT Project....Pages 231-245
Optimising Ordering Strategies for Symbolic Model Checking of Railway Interlockings....Pages 246-260
Automated Generation of Safety Requirements from Railway Interlocking Tables....Pages 261-275
Distributing the Challenge of Model Checking Interlocking Control Tables....Pages 276-289
Quantitative Modelling and Analysis....Pages 290-292
Schedulability of Herschel-Planck Revisited Using Statistical Model Checking....Pages 293-307
Checking Correctness of Services Modeled as Priced Timed Automata....Pages 308-322
Software Aspects of Robotic Systems....Pages 323-323
Process-Oriented Geoinformation Systems and Applications....Pages 324-324
Concepts and Techniques of an Online 3D Atlas – Challenges in Cartographic 3D Geovisualization....Pages 325-326
Handling Heterogeneity in Formal Developments of Hardware and Software Systems....Pages 327-328
Leveraging Formal Verification Tools for DSML Users: A Process Modeling Case Study....Pages 329-343
An Ontological Pivot Model to Interoperate Heterogeneous User Requirements....Pages 344-358
Back Matter....Pages -
