دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
دانلود کتاب ModelEd، TestEd، TrustEd: مقالات اختصاص داده شده به اد Brinksma درمورد 60 سالگرد تولدش
مشخصات کتاب
ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
ویرایش: 1 نویسندگان: Joost-Pieter Katoen, Rom Langerak, Arend Rensink سری: Programming and Software Engineering 10500 ISBN (شابک) : 9783319682693, 9783319682709 ناشر: Springer International Publishing سال نشر: 2017 تعداد صفحات: 394 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 19 مگابایت
قیمت کتاب (تومان) : 53,000
کلمات کلیدی مربوط به کتاب ModelEd، TestEd، TrustEd: مقالات اختصاص داده شده به اد Brinksma درمورد 60 سالگرد تولدش: منطق و معانی برنامه ها
در صورت تبدیل فایل کتاب ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ModelEd، TestEd، TrustEd: مقالات اختصاص داده شده به اد Brinksma درمورد 60 سالگرد تولدش نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب ModelEd، TestEd، TrustEd: مقالات اختصاص داده شده به اد Brinksma درمورد 60 سالگرد تولدش
این جلد Festschrift به افتخار اد برینکسما، به مناسبت شصتمین سالگرد تولد او منتشر شده است.
مشارکت در این Festschrift توسط تعدادی از دکترای سابق اد نوشته شده است. دانش آموزان و همکاران این مقالات بازتابی بر مشارکت‌ها و علایق تحقیقاتی او هستند و همگی در حوزه روش‌های رسمی یا در اصطلاح ریاضیات کاربردی اد در علوم کامپیوتر قرار می‌گیرند.
مقالات به زبان‌های مدل‌سازی می‌پردازند. و معناشناسی، آزمایش مبتنی بر مدل، تأیید و تجزیه و تحلیل عملکرد، محاسبات احتمالی، دینامیک سیستم، و کاربردهای روش‌های رسمی.
توضیحاتی درمورد کتاب به خارجی
This Festschrift volume has been published in honor of Ed Brinksma, on the occasion of his 60th birthday.
The contributions in this Festschrift are written by a number of Ed's former Ph.D. students and collaborators. The papers are a reflection on his research contributions and interests and all fall into the area of formal methods, or in Ed's terminology applied mathematics in computer science.
The papers address modeling languages and semantics, model-based testing, verification and performance analysis, probabilistic computation, system dynamics, and applications of formal methods.
فهرست مطالب
Front Matter ....Pages I-XII
Front Matter ....Pages 1-1
From LOTOS to LNT (Hubert Garavel, Frédéric Lang, Wendelin Serwe)....Pages 3-26
LOTOS-Like Composition of Boolean Nets and Causal Set Construction (Tommaso Bolognesi)....Pages 27-47
Problem Solving Using Process Algebra Considered Insightful (Jan Friso Groote, Erik P. de Vink)....Pages 48-63
Delayed-Choice Semantics for Pomset Families and Message Sequence Graphs (Clemens Dubslaff, Christel Baier)....Pages 64-84
Front Matter ....Pages 85-85
On the Existence of Practical Testers (Jan Tretmans)....Pages 87-106
Compositional Testing of Real-Time Systems (Kim G. Larsen, Axel Legay, Marius Mikučionis, Brian Nielsen, Ulrik Nyman)....Pages 107-124
Model-Based Testing Without Models: The TodoMVC Case Study (Alexander Bainczyk, Alexander Schieweck, Bernhard Steffen, Falk Howar)....Pages 125-144
Diagnosis and Testing: How is Their Relation? Can They Be Combined? (Laura Brandán Briones, Agnes Madalinski)....Pages 145-165
Front Matter ....Pages 167-167
Verifying Properties of Systems Relying on Attribute-Based Communication (Rocco De Nicola, Tan Duong, Omar Inverso, Franco Mazzanti)....Pages 169-190
How Much Are Your Geraniums? Taking Graph Conditions Beyond First Order (Arend Rensink)....Pages 191-213
iDSL: Automated Performance Evaluation of Service-Oriented Systems (Freek van den Berg, Boudewijn R. Haverkort, Jozef Hooman)....Pages 214-236
Front Matter ....Pages 237-237
Against All Odds: When Logic Meets Probability (Johan van Benthem)....Pages 239-253
FlyFast: A Scalable Approach to Probabilistic Model-Checking Based on Mean-Field Approximation (Diego Latella, Michele Loreti, Mieke Massink)....Pages 254-275
The Road from Stochastic Automata to the Simulation of Rare Events (Pedro R. D’Argenio, Carlos E. Budde, Matias David Lee, Raúl E. Monti, Leonardo Rodríguez, Nicolás Wolovick)....Pages 276-294
Front Matter ....Pages 295-295
Discretization of Continuous Dynamical Systems Using UPPAAL (Stefano Schivo, Rom Langerak)....Pages 297-315
Analysis and Design of Interconnected Systems: A Systems and Control Perspective (Arjan van der Schaft)....Pages 316-332
Front Matter ....Pages 333-333
Runtime Monitoring Based on Interface Specifications (Ivan Kurtev, Jozef Hooman, Mathijs Schuts)....Pages 335-356
From Lotosphere to Thermosphere (Holger Hermanns)....Pages 357-367
Boosting Fault Tree Analysis by Formal Methods (Joost-Pieter Katoen, Mariëlle Stoelinga)....Pages 368-389
Back Matter ....Pages 391-391
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Subjective time : the philosophy, psychology, and neuroscience of temporality
دانلود کتاب Prologue to Lewis and Clark: The Mackay and Evans Expedition
دانلود کتاب Kingdom and Country: Following Jesus in the Land That You Love
