دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Gordon S. Blair, Massimo Paolucci, Paul Grace, Nikolaos Georgantas (auth.), Marco Bernardo, Valérie Issarny (eds.) سری: Lecture Notes in Computer Science 6659 : Programming and Software Engineering ISBN (شابک) : 9783642214547, 9783642214554 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2011 تعداد صفحات: 534 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 12 مگابایت
کلمات کلیدی مربوط به کتاب روش های رسمی برای سیستم های نرم افزاری شبکه ای ابدی: یازدهمین مدرسه بین المللی روش های رسمی برای طراحی سیستم های رایانه ای ، ارتباطی و نرم افزاری ، SFM 2011 ، Bertinoro ، ایتالیا ، 13-18 ژوئن 2011. سخنرانی های پیشرفته: مهندسی نرم افزار، مهندسی نرم افزار/برنامه نویسی و سیستم های عامل، منطق ریاضی و زبان های رسمی، زبان های برنامه نویسی، کامپایلرها، مترجمان، برنامه های کاربردی سیستم های اطلاعاتی (شامل اینترنت)
در صورت تبدیل فایل کتاب Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روش های رسمی برای سیستم های نرم افزاری شبکه ای ابدی: یازدهمین مدرسه بین المللی روش های رسمی برای طراحی سیستم های رایانه ای ، ارتباطی و نرم افزاری ، SFM 2011 ، Bertinoro ، ایتالیا ، 13-18 ژوئن 2011. سخنرانی های پیشرفته نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب 15 سخنرانی آموزشی توسط محققان برجسته ارائه میدهد که در یازدهمین ویرایش مدرسه بینالمللی روشهای رسمی برای طراحی سیستمهای رایانه، ارتباطات و نرمافزار، SFM 2011، در برتینورو، ایتالیا، در ژوئن 2011 برگزار شد. SFM 2011 به روشهای رسمی برای سیستمهای نرمافزاری شبکهای ابدی اختصاص داشت و موضوعات متعددی از جمله پایههای رسمی برای عملکرد متقابل سیستمهای نرمافزاری، سنتز رابط پویا لایه برنامه کاربردی و لایه میانافزار، نظارت و یادگیری رفتار تعامل، و تضمین کیفیت سیستمهای متصل را پوشش داد. این مدرسه با همکاری محققان پروژه های CONNECT و ETERNALS با بودجه اتحادیه اروپا برگزار شد. مقالات در شش بخش سازماندهی شده اند: (1) معماری و قابلیت همکاری، (2) پایه های رسمی برای اتصالات، (iii) سنتز اتصال دهنده، (IV) یادگیری و نظارت، (v) تضمین قابلیت اطمینان، و (vi) سیستم های ابدی قابل اعتماد از طریق نرم افزار در حال تکامل.
This book presents 15 tutorial lectures by leading researchers given at the 11th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, held in Bertinoro, Italy, in June 2011. SFM 2011 was devoted to formal methods for eternal networked software systems and covered several topics including formal foundations for the inter-operability of software systems, application-layer and middleware-layer dynamic connector synthesis, interaction behavior monitoring and learning, and quality assurance of connected systems. The school was held in collaboration with the researchers of the EU-funded projects CONNECT and ETERNALS. The papers are organized into six parts: (i) architecture and interoperability, (ii) formal foundations for connectors, (iii) connector synthesis, (iv) learning and monitoring, (v) dependability assurance, and (vi) trustworthy eternal systems via evolving software.
Front Matter....Pages -
Interoperability in Complex Distributed Systems....Pages 1-26
The CONNECT Architecture....Pages 27-52
Automated Verification Techniques for Probabilistic Systems....Pages 53-113
Modeling and Verification of Components and Connectors....Pages 114-147
Application-Layer Connector Synthesis....Pages 148-190
Context Synthesis....Pages 191-216
Middleware-Layer Connector Synthesis: Beyond State of the Art in Middleware Interoperability....Pages 217-255
Introduction to Active Automata Learning from a Practical Perspective....Pages 256-296
Model-Based Testing and Some Steps towards Test-Based Modelling....Pages 297-326
Learning of Automata Models Extended with Data....Pages 327-349
Dependability and Performance Assessment of Dynamic CONNECTed Systems....Pages 350-392
Security and Trust....Pages 393-416
Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language....Pages 417-457
Kernel-Based Machines for Abstract and Easy Modeling of Automatic Learning....Pages 458-503
Modelling Secure Systems Evolution: Abstract and Concrete Change Specifications....Pages 504-526
Back Matter....Pages -