دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formal aspects of component software : 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings
دانلود کتاب جنبه های رسمی نرم افزار جزء: چهاردهمین کنفرانس بین المللی، FACS 2017، براگا، پرتغال، 10-13 اکتبر 2017، مجموعه مقالات
مشخصات کتاب
Formal aspects of component software : 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings
ویرایش: نویسندگان: Lumpe. Markus, Proença. José سری: Lecture notes in computer science 10487.; LNCS sublibrary. SL 2, Programming and software engineering ISBN (شابک) : 9783319680347, 9783319680330 ناشر: Springer سال نشر: 2017 تعداد صفحات: 261 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 14 مگابایت
قیمت کتاب (تومان) : 35,000
کلمات کلیدی مربوط به کتاب جنبه های رسمی نرم افزار جزء: چهاردهمین کنفرانس بین المللی، FACS 2017، براگا، پرتغال، 10-13 اکتبر 2017، مجموعه مقالات: روش های رسمی (علوم کامپیوتر) -- کنگره ها، نرم افزارهای جزء -- کنگره ها
در صورت تبدیل فایل کتاب Formal aspects of component software : 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب جنبه های رسمی نرم افزار جزء: چهاردهمین کنفرانس بین المللی، FACS 2017، براگا، پرتغال، 10-13 اکتبر 2017، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب جنبه های رسمی نرم افزار جزء: چهاردهمین کنفرانس بین المللی، FACS 2017، براگا، پرتغال، 10-13 اکتبر 2017، مجموعه مقالات
توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly revised selected papers from the 14th International Conference on Formal Aspects of Component Software, FACS 2017, held in Braga, Portugal, in October 2017.
The 14 full papers presented were carefully reviewed and
selected from 26 submissions. FACS 2016 is concerned with how
formal methods can be used to make component-based and
service-oriented software development succeed. Formal methods
have provided a foundation for component-based software by
successfully addressing challenging issues such as
mathematical models for components, composition and
adaptation, or rigorous approaches to verification,
deployment, testing, and certification.
فهرست مطالب
Front Matter ....Pages I-X
Component-Based Modeling in Mediator (Yi Li, Meng Sun)....Pages 1-19
A Component-Oriented Framework for Autonomous Agents (Tobias Kappé, Farhad Arbab, Carolyn Talcott)....Pages 20-38
Coordination of Dynamic Software Components with JavaBIP (Anastasia Mavridou, Valentin Rutz, Simon Bliudze)....Pages 39-57
A Formal Model of Parallel Execution on Multicore Architectures with Multilevel Caches (Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa)....Pages 58-77
Guarded Terms for Rewriting Modulo SMT (Kyungmin Bae, Camilo Rocha)....Pages 78-97
On Weighted Configuration Logics (Paulina Paraponiari, George Rahonis)....Pages 98-116
Compositional Model Checking Is Lively (Sander de Putter, Anton Wijs)....Pages 117-136
Safety Analysis of Software Components of a Dialysis Machine Using Model Checking (M. D. Harrison, M. Drinnan, J. C. Campos, P. Masci, L. Freitas, C. di Maria et al.)....Pages 137-154
TOM: A Model-Based GUI Testing Framework (Miguel Pinto, Marcelo Gonçalves, Paolo Masci, José Creissac Campos)....Pages 155-161
Correctness-by-Learning of Infinite-State Component-Based Systems (Haitham Bou-Ammar, Mohamad Jaber, Mohamad Nassar)....Pages 162-178
The Implementation of Object Propositions: The Oprop Verification Tool (Ligia Nistor, Jonathan Aldrich)....Pages 179-197
Certification of Workflows in a Component-Based Cloud of High Performance Computing Services (Allberson B. de Oliveira Dantas, F. Heron de Carvalho Junior, Luis S. Barbosa)....Pages 198-215
Fault Localization in Service Compositions (Heike Wehrheim)....Pages 216-232
Correct Composition of Dephased Behavioural Models (Juliana Bowles, Marco B. Caminati)....Pages 233-250
Back Matter ....Pages 251-251
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Hyperuricemic Syndromes: Pathophysiology and Therapy (Contributions to Nephrology)
دانلود کتاب CH–Acids. A Guide to All Existing Problems of CH-Acidity with New Experimental Methods and Data, Including Indirect Electrochemical, Kinetic and Thermodynamic Studies
دانلود کتاب La figlia di Omero
دانلود کتاب Organic Disciplemaking: Mentoring Others Into Spiritual Maturity and Leadership
