دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Domain-Specific Languages: Effective Modeling, Automation, and Reuse
دانلود کتاب زبانهای اختصاصی دامنه: مدلسازی مؤثر، اتوماسیون و استفاده مجدد
مشخصات کتاب
Domain-Specific Languages: Effective Modeling, Automation, and Reuse
ویرایش: [1 ed.]
نویسندگان: Andrzej Wąsowski. Thorsten Berger
سری:
ISBN (شابک) : 3031236688, 9783031236693
ناشر: Springer
سال نشر: 2023
تعداد صفحات: 504
[494]
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 13 Mb
قیمت کتاب (تومان) : 86,000
در صورت تبدیل فایل کتاب Domain-Specific Languages: Effective Modeling, Automation, and Reuse به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب زبانهای اختصاصی دامنه: مدلسازی مؤثر، اتوماسیون و استفاده مجدد نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب زبانهای اختصاصی دامنه: مدلسازی مؤثر، اتوماسیون و استفاده مجدد
این کتاب درسی تئوری و کاربرد و مهندسی زبانهای نرمافزار
سطح بالا – همچنین به عنوان زبانهای مدلسازی یا دامنه خاص (DSL)
– برای ایجاد نرمافزار با کیفیت را توصیف میکند. این شامل
روشها، الگوهای طراحی، دستورالعملها و روشهای آزمایشی برای
تعریف نحو و معناشناسی زبانها است. این کتاب در حالی که نزدیک به
فناوری است، پارادایم ها و راه حل های متعددی را پوشش می دهد و از
یک سیلو تکنولوژیکی خاص اجتناب می کند. این دیدگاههای مدلسازی،
شی گرا و برنامهنویسی کاربردی را در DSLها یکسان میکند.
کتاب 13 فصل دارد. فصل 1 و 2 به معرفی و ایجاد انگیزه در DSL ها می پردازد. فصل 3 چرخه عمر مهندسی DSL را آغاز می کند و چگونگی توسعه سیستماتیک نحو انتزاعی را با تجزیه و تحلیل یک دامنه توضیح می دهد. فصل 4 به نحو مشخص، از جمله مهندسی سیستماتیک گرامرهای بدون زمینه می پردازد. فصل 5 و 6 معنای ایستا را پوشش می دهد - با محدودیت های اساسی به عنوان نقطه شروع و نوع سیستم برای DSL های پیشرفته. فصل های 7 (تحول)، 8 (تفسیر)، و 9 (نسل) پارادایم های مختلفی را برای طراحی و پیاده سازی معناشناسی پویا توصیف می کنند، در حالی که تست و سایر انواع تضمین کیفیت را پوشش می دهند. فصل 10 به DSLهای داخلی اختصاص دارد. فصل های 11 تا 13 کاربرد DSL ها را نشان می دهد و با جایگزین های ساده تر برای DSL ها در یک حوزه بسیار متمایز درگیر می شود: تنوع نرم افزار. این فصل مفاهیم اساسی خطوط تولید نرمافزار و مدلسازی ویژگیها را معرفی میکند.
کتاب 13 فصل دارد. فصل 1 و 2 به معرفی و ایجاد انگیزه در DSL ها می پردازد. فصل 3 چرخه عمر مهندسی DSL را آغاز می کند و چگونگی توسعه سیستماتیک نحو انتزاعی را با تجزیه و تحلیل یک دامنه توضیح می دهد. فصل 4 به نحو مشخص، از جمله مهندسی سیستماتیک گرامرهای بدون زمینه می پردازد. فصل 5 و 6 معنای ایستا را پوشش می دهد - با محدودیت های اساسی به عنوان نقطه شروع و نوع سیستم برای DSL های پیشرفته. فصل های 7 (تحول)، 8 (تفسیر)، و 9 (نسل) پارادایم های مختلفی را برای طراحی و پیاده سازی معناشناسی پویا توصیف می کنند، در حالی که تست و سایر انواع تضمین کیفیت را پوشش می دهند. فصل 10 به DSLهای داخلی اختصاص دارد. فصل های 11 تا 13 کاربرد DSL ها را نشان می دهد و با جایگزین های ساده تر برای DSL ها در یک حوزه بسیار متمایز درگیر می شود: تنوع نرم افزار. این فصل مفاهیم اساسی خطوط تولید نرمافزار و مدلسازی ویژگیها را معرفی میکند.
این کتاب بر اساس دورههای مهندسی نرمافزار مبتنی بر مدل (MDSE) و DSLهایی که توسط نویسندگان برگزار میشود توسعه یافته است. . هدف آن دانشجویان ارشد و کارشناسی ارشد در رشته علوم کامپیوتر یا مهندسی نرم افزار است. از آنجایی که شامل مثالها و درسهایی از پروژههای صنعتی و منبع باز، و همچنین از تحقیقات صنعتی است، متخصصان نیز آن را مرجع مفیدی میدانند. نمونههای متعدد شامل کدهای Scala 3، ATL، Alloy، C#، F#، Groovy، Java، JavaScript، Kotlin، OCL، Python، QVT، Ruby و Xtend هستند. این کتاب شامل 277 تمرین است. مخزن کد مرتبط یادگیری و استفاده از مثالها را در یک دوره تسهیل میکند.
توضیحاتی درمورد کتاب به خارجی
This textbook describes the theory and the pragmatics of
using and engineering high-level software languages – also
known as modeling or domain-specific languages (DSLs) – for
creating quality software. This includes methods, design
patterns, guidelines, and testing practices for defining the
syntax and the semantics of languages. While remaining close to
technology, the book covers multiple paradigms and solutions,
avoiding a particular technological silo. It unifies the
modeling, the object-oriented, and the functional-programming
perspectives on DSLs.
The book has 13 chapters. Chapters 1 and 2 introduce and motivate DSLs. Chapter 3 kicks off the DSL engineering lifecycle, describing how to systematically develop abstract syntax by analyzing a domain. Chapter 4 addresses the concrete syntax, including the systematic engineering of context-free grammars. Chapters 5 and 6 cover the static semantics – with basic constraints as a starting point and type systems for advanced DSLs. Chapters 7 (Transformation), 8 (Interpretation), and 9 (Generation) describe different paradigms for designing and implementing the dynamic semantics, while covering testing and other kinds of quality assurance. Chapter 10 is devoted to internal DSLs. Chapters 11 to 13 show the application of DSLs and engage with simpler alternatives to DSLs in a highly distinguished domain: software variability. These chapters introduce the underlying notions of software product lines and feature modeling.
The book has 13 chapters. Chapters 1 and 2 introduce and motivate DSLs. Chapter 3 kicks off the DSL engineering lifecycle, describing how to systematically develop abstract syntax by analyzing a domain. Chapter 4 addresses the concrete syntax, including the systematic engineering of context-free grammars. Chapters 5 and 6 cover the static semantics – with basic constraints as a starting point and type systems for advanced DSLs. Chapters 7 (Transformation), 8 (Interpretation), and 9 (Generation) describe different paradigms for designing and implementing the dynamic semantics, while covering testing and other kinds of quality assurance. Chapter 10 is devoted to internal DSLs. Chapters 11 to 13 show the application of DSLs and engage with simpler alternatives to DSLs in a highly distinguished domain: software variability. These chapters introduce the underlying notions of software product lines and feature modeling.
The book has been developed based on courses on model-driven software engineering (MDSE) and DSLs held by the authors. It aims at senior undergraduate and junior graduate students in computer science or software engineering. Since it includes examples and lessons from industrial and open-source projects, as well as from industrial research, practitioners will also find it a useful reference. The numerous examples include code in Scala 3, ATL, Alloy, C#, F#, Groovy, Java, JavaScript, Kotlin, OCL, Python, QVT, Ruby, and Xtend. The book contains as many as 277 exercises. The associated code repository facilitates learning and using the examples in a course.
