دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: جبر ویرایش: 1 نویسندگان: L. Andrade, P. Baldan, H. Baumeister, R. Bruni, A. Corradini, R. De Nicola (auth.), Martin Wirsing, Dirk Pattinson, Rolf Hennicker (eds.) سری: Lecture Notes in Computer Science 2755 ISBN (شابک) : 3540205373, 9783540205371 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2003 تعداد صفحات: 465 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
کلمات کلیدی مربوط به کتاب روند اخیر در تکنیک های توسعه جبری: 16 کارگاه آموزشی بین المللی، WADT 2002، Frauenchiemsee، Germany، 24-27 سپتامبر 2002، مقالات منتخب تجدید نظر شده: منطق و معانی برنامه ها، علوم کامپیوتر، عمومی، مهندسی نرم افزار، منطق ریاضی و زبان های رسمی، دستکاری نمادین و جبری
در صورت تبدیل فایل کتاب Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روند اخیر در تکنیک های توسعه جبری: 16 کارگاه آموزشی بین المللی، WADT 2002، Frauenchiemsee، Germany، 24-27 سپتامبر 2002، مقالات منتخب تجدید نظر شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات پس از داوری کامل شانزدهمین کارگاه بین المللی تکنیک های توسعه جبری، WADT 2002، برگزار شده در Frauenchiemsee، آلمان در سپتامبر 2002 است.
20 مقاله کامل اصلاح شده همراه با 6 مقاله ارائه شده است. مقالات دعوت شده با دقت بهبود یافته و از بین 44 ارائه کارگاهی طی دو دور بررسی انتخاب شدند. این مقالات به موضوعاتی مانند روشهای رسمی برای توسعه سیستم، زبانها و روشهای مشخصات، سیستمها و تکنیکهای استدلال درباره مشخصات، سیستمهای توسعه مشخصات، روشها و تکنیکهای سیستمهای همزمان، توزیعشده و متحرک، و روشهای جبری و جبری اختصاص داده شدهاند.
This book constitutes the thoroughly refereed post-proceedings of the 16th International Workshop on Algebraic Development Techniques, WADT 2002, held at Frauenchiemsee, Germany in September 2002.
The 20 revised full papers presented together with 6 invited papers were carefully improved and selected from 44 workshop presentations during two rounds of reviewing. The papers are devoted to topics like formal methods for system development, specification languages and methods, systems and techniques for reasoning about specifications, specification development systems, methods and techniques for concurrent, distributed, and mobile systems, and algebraic and co-algebraic methods.
Front Matter....Pages -
AGILE: Software Architecture for Mobility....Pages 1-33
A Coinductive Calculus of Component Connectors....Pages 34-55
An Attempt at Analysing the Consistency Problems in the UML from a Classical Algebraic Viewpoint....Pages 56-81
MultiMedia Instruction in Safe and Secure Systems....Pages 82-117
Zero, Connected, Empty....Pages 118-126
Zero, Connected, Empty: An Essay after a Cantata....Pages 127-128
Type Checking Parametrised Programs and Specifications in ASL + FPC ....Pages 129-144
Pre-nets, Read Arcs and Unfolding: A Functorial Presentation....Pages 145-164
Coreflective Concurrent Semantics for Single-Pushout Graph Grammars....Pages 165-184
Completeness Results for Fibred Parchments....Pages 185-200
Use of Patterns in Formal Development: Systematic Transition from Problems to Architectural Designs....Pages 201-215
Conditional Circular Coinductive Rewriting with Case Analysis....Pages 216-232
Verifying Generative Casl Architectural Specifications....Pages 233-252
Algebraic Higher-Order Nets: Graphs and Petri Nets as Tokens....Pages 253-267
The Coinductive Approach to Verifying Cryptographic Protocols....Pages 268-283
Behavioural Equivalence and Indistinguishability in Higher-Order Typed Languages....Pages 284-298
Approach-Independent Structuring Concepts for Rule-Based Systems....Pages 299-311
Notions of Behaviour and Reachable-Part and Their Institutions....Pages 312-327
Combining Specification Formalisms in the ‘General Logic’ of Multialgebras....Pages 328-342
On How Distribution and Mobility Interfere with Coordination....Pages 343-358
Foundations of Heterogeneous Specification....Pages 359-375
Algebraic-Coalgebraic Specification in CoCasl ....Pages 376-392
Translating Logics for Coalgebras....Pages 393-408
Presenting and Combining Inference Systems....Pages 409-424
Monad-Independent Dynamic Logic in HasCasl ....Pages 425-441
Preserving Properties in System Redesign: Rule-Based Approach....Pages 442-456
Back Matter....Pages -