ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

دانلود کتاب روش های رسمی در مدل سازی نرم افزارها و سیستم ها: مقالاتی که به هارتموت اهرگری اختصاص داده شده به خاطر 60 سالگی خود

Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

مشخصات کتاب

Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

دسته بندی: برنامه نويسي
ویرایش: 1 
نویسندگان: , , , , , ,   
سری: Lecture Notes in Computer Science 3393 : Programming and Software Engineering 
ISBN (شابک) : 9783540249368, 3540249362 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2005 
تعداد صفحات: 432 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 5 مگابایت

قیمت کتاب (تومان) : 52,000



کلمات کلیدی مربوط به کتاب روش های رسمی در مدل سازی نرم افزارها و سیستم ها: مقالاتی که به هارتموت اهرگری اختصاص داده شده به خاطر 60 سالگی خود: منطق ریاضی و زبان‌های رسمی، منطق و معانی برنامه‌ها، مهندسی نرم‌افزار، ریاضیات گسسته در علوم کامپیوتر، زبان‌های برنامه‌نویسی، کامپایلرها، مترجمان، محاسبات با دستگاه‌های انتزاعی



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 17


در صورت تبدیل فایل کتاب Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب روش های رسمی در مدل سازی نرم افزارها و سیستم ها: مقالاتی که به هارتموت اهرگری اختصاص داده شده به خاطر 60 سالگی خود نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب روش های رسمی در مدل سازی نرم افزارها و سیستم ها: مقالاتی که به هارتموت اهرگری اختصاص داده شده به خاطر 60 سالگی خود



این کتاب با ارائه جدیدترین نتایج تحقیقاتی در مورد جنبه‌های مختلف مدل‌سازی رسمی و بصری نرم‌افزارها و سیستم‌ها، 60امین تولد هارتموت ارگ را گرامی می‌دارد. P>

24 مقاله بررسی شده دعوت شده توسط دانشجویان و همکاران Hartmut Ehrig نوشته شده است که محققین معتبر در زمینه خود هستند. با انعکاس علاقه علمی و کار هارتموت اریگ، این مقالات به سه بخش اصلی در تبدیل نمودار، مشخصات جبری و منطق، و مدل‌سازی رسمی و بصری تقسیم می‌شوند.


توضیحاتی درمورد کتاب به خارجی

By presenting state-of-the-art research results on various aspects of formal and visual modeling of software and systems, this book commemorates the 60th birthday of Hartmut Ehrig.

The 24 invited reviewed papers are written by students and collaborators of Hartmut Ehrig who are established researchers in their fields. Reflecting the scientific interest and work of Hartmut Ehrig, the papers fall into three main parts on graph transformation, algebraic specification and logic, and formal and visual modeling.



فهرست مطالب

Front Matter....Pages -
Front Matter....Pages 1-1
On the Concurrent Semantics of Algebraic Graph Grammars....Pages 3-23
From Graph Transformation to Software Engineering and Back....Pages 24-37
Flexible Interconnection of Graph Transformation Modules....Pages 38-63
Simulating Algebraic High-Level Nets by Parallel Attributed Graph Transformation....Pages 64-83
Graph Processes with Fusions: Concurrency by Colimits, Again....Pages 84-100
Graph Transformation with Variables....Pages 101-115
Graph Transformation in Molecular Biology....Pages 116-133
Changing Labels in the Double-Pushout Approach Can Be Treated Categorically....Pages 134-149
Front Matter....Pages 151-151
Modules, Brains and Schemas....Pages 153-166
From Conditional Specifications to Interaction Charts....Pages 167-189
Algebraic Properties of Interfaces....Pages 190-203
∈ T -Integration of Logics....Pages 204-219
Functorial Semantics of Rewrite Theories....Pages 220-235
Expander2....Pages 236-258
Relationships Between Equational and Inductive Data Types....Pages 259-274
Cofree Coalgebras for Signature Morphisms....Pages 275-290
Front Matter....Pages 291-291
Nested Constraints and Application Conditions for High-Level Structures....Pages 293-308
Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements....Pages 309-324
Main Concepts of Networks of Transformation Units with Interlinking Semantics....Pages 325-342
Embeddings and Contexts for Link Graphs....Pages 343-351
Front Matter....Pages 291-291
Towards Architectural Connectors for UML....Pages 352-369
Loose Semantics of Petri Nets....Pages 370-384
A Formal Framework for the Development of Concurrent Object-Based Systems....Pages 385-401
A Formal Description of the Basic Concepts of System Theory for Transportation....Pages 402-411
Back Matter....Pages -




نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی