دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings
دانلود کتاب ابزارها و الگوریتم های ساخت و تجزیه و تحلیل سیستم ها: هشتمین کنفرانس بین المللی ، TACAS 2002 به عنوان بخشی از کنفرانس های مشترک اروپایی در مورد تئوری و عمل نرم افزار ، ETAPS 2002 گرنوبل ، فرانسه ، 8 تا 12 آوریل 2002
مشخصات کتاب
Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings
دسته بندی: الگوریتم ها و ساختارهای داده ویرایش: 1 نویسندگان: Michael R. Lowry (auth.), Joost-Pieter Katoen, Perdita Stevens (eds.) سری: Lecture Notes in Computer Science 2280 ISBN (شابک) : 9783540434191, 3540434194 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2002 تعداد صفحات: 495 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 77,000
کلمات کلیدی مربوط به کتاب ابزارها و الگوریتم های ساخت و تجزیه و تحلیل سیستم ها: هشتمین کنفرانس بین المللی ، TACAS 2002 به عنوان بخشی از کنفرانس های مشترک اروپایی در مورد تئوری و عمل نرم افزار ، ETAPS 2002 گرنوبل ، فرانسه ، 8 تا 12 آوریل 2002: منطق و معانی برنامه ها، مهندسی نرم افزار، شبکه های ارتباطی کامپیوتری، تحلیل الگوریتم و پیچیدگی مسائل
در صورت تبدیل فایل کتاب Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ابزارها و الگوریتم های ساخت و تجزیه و تحلیل سیستم ها: هشتمین کنفرانس بین المللی ، TACAS 2002 به عنوان بخشی از کنفرانس های مشترک اروپایی در مورد تئوری و عمل نرم افزار ، ETAPS 2002 گرنوبل ، فرانسه ، 8 تا 12 آوریل 2002 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب ابزارها و الگوریتم های ساخت و تجزیه و تحلیل سیستم ها: هشتمین کنفرانس بین المللی ، TACAS 2002 به عنوان بخشی از کنفرانس های مشترک اروپایی در مورد تئوری و عمل نرم افزار ، ETAPS 2002 گرنوبل ، فرانسه ، 8 تا 12 آوریل 2002
ETAPS 2002 پنجمین نمونه از کنفرانس های مشترک اروپایی در زمینه تئوری و عمل نرم افزار بود. ETAPS یک کنفرانس سالانه فدرال است که در سال 1998 با ترکیب تعدادی از کنفرانس های موجود و جدید تأسیس شد. این سال شامل 5 کنفرانس (FOSSACS، FASE، ESOP، CC، TACAS)، 13 کارگاه آموزشی ماهواره (ACL2، AGT، CMCS، COCV، DCC، INT، LDTA، SC، SFEDL، SLAP، SPIN، TPTS، و VISS) بود. 8 سخنرانی دعوت شده (غیر از آنهایی که مخصوص رویدادهای ماهواره ای هستند) و چندین آموزش. رویدادهایی که ETAPS را شامل می شود جنبه های مختلف سیستم - فرآیند توسعه، از جمله مشخصات، طراحی، پیاده سازی، تجزیه و تحلیل و بهبود را مورد توجه قرار می دهد. زبانها، روششناسیها و ابزارهایی که از این موارد پشتیبانی میکنند، همگی در محدوده آن هستند. آمیزههای متفاوتی از تئوری و عمل با گرایش به نظریه با انگیزه عملی از یک سو و عمل مبتنی بر منطق از سوی دیگر نشان داده میشوند. بسیاری از مسائل مربوط به طراحی نرم افزار به طور کلی در مورد سیستم ها، از جمله سیستم های سخت افزاری اعمال می شود، و تاکید بر نرم افزار منحصر به فرد نیست.
توضیحاتی درمورد کتاب به خارجی
ETAPS 2002 was the ?fth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998by combining a number of existing and new conferences. This year it comprised 5 conferences (FOSSACS, FASE, ESOP, CC, TACAS), 13 satellite workshops (ACL2, AGT, CMCS, COCV, DCC, INT, LDTA, SC, SFEDL, SLAP, SPIN, TPTS, and VISS), 8invited lectures (not including those speci?c to the satellite events), and several tutorials. The events that comprise ETAPS address various aspects of the system - velopment process, including speci?cation, design, implementation, analysis, and improvement. The languages, methodologies, and tools which support these - tivities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.
فهرست مطالب
Software Construction and Analysis Tools for Future Space Missions....Pages 1-19
Alloy: A New Technology for Software Modelling....Pages 20-20
Improving the Verification of Timed Systems Using Influence Information....Pages 21-36
Digitisation and Full Abstraction for Dense-Time Model Checking....Pages 37-51
Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach....Pages 52-66
Timed Automata with Asynchronous Processes: Schedulability and Decidability....Pages 67-82
Validating Timing Constraints of Dependent Jobs with Variable Execution Times in Distributed Real-Time Systems....Pages 83-97
An Analysis of Zero-Clairvoyant Scheduling....Pages 98-112
Preemptive Job-Shop Scheduling Using Stopwatch Automata....Pages 113-126
Explicit Modeling of Influences, and of Their Absence, in Distributed Systems....Pages 127-141
A Functional Semantics of Attribute Grammars....Pages 142-157
Relative Completeness of Abstraction Refinement for Software Model Checking....Pages 158-172
Towards the Automated Verification of Multithreaded Java Programs....Pages 173-187
CLPS-B—A Constraint Solver for B....Pages 188-204
Formal Verification of Functional Properties of an SCR-Style Software Requirements Specification Using PVS....Pages 205-220
Beyond Parameterized Verification....Pages 221-235
Resource-Constrained Model Checking of Recursive Programs....Pages 236-250
Model Checking Large-Scale and Parameterized Resource Allocation Systems....Pages 251-265
Exploring Very Large State Spaces Using Genetic Algorithms....Pages 266-280
Local Model-Checking of Modal Mu-Calculus on Acyclic Labeled Transition Systems....Pages 281-295
The ForSpec Temporal Logic: A New Temporal Property-Specification Language....Pages 296-311
Fine-Grain Conjunction Scheduling for Symbolic Reachability Analysis....Pages 312-326
A Temporal Logic Based Theory of Test Coverage and Generation....Pages 327-341
Synthesizing Monitors for Safety Properties....Pages 342-356
Adaptive Model Checking....Pages 357-370
Parallelisation of the Petri Net Unfolding Algorithm....Pages 371-385
Black Box Unfolding with Local First Search....Pages 386-400
Applicability of Fair Simulation....Pages 401-414
Simulation as Coarsest Partition Problem....Pages 415-430
Temporal Debugging for Concurrent Systems....Pages 431-444
Fate and FreeWill in Error Traces....Pages 445-459
TIMES b— A Tool for Modelling and Implementation of Embedded Systems....Pages 460-464
Compositional Verification Using SVL Scripts....Pages 465-469
STG: A Symbolic Test Generation Tool....Pages 470-475
Real-Time Systems Design with PEP....Pages 476-480
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Foundations of Algebraic Specification and Formal Software Development
دانلود کتاب Data Quality
دانلود کتاب Genetic Algorithms. Introduction To Genetic Algorithms For Scientists And Engineers
دانلود کتاب Bayesian estimation of state-space models using the Metropolis-Hastings algorithm within Gibbs sampling
دانلود کتاب Synthesis and optimization of DSP algorithms
