دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1st ed.
نویسندگان: Egon Börger. Alexander Raschke
سری:
ISBN (شابک) : 9783662566398, 9783662566411
ناشر: Springer Berlin Heidelberg
سال نشر: 2018
تعداد صفحات: 362
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 5 مگابایت
کلمات کلیدی مربوط به کتاب همراه مدل سازی برای متخصصان نرم افزار: علوم کامپیوتر، مهندسی نرم افزار، منطق ریاضی و زبان های رسمی، مدیریت فرآیندهای کسب و کار
در صورت تبدیل فایل کتاب Modeling Companion for Software Practitioners به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب همراه مدل سازی برای متخصصان نرم افزار نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب از برنامههای کاربردی مختلفی برای نشان دادن روش
مدلسازی استفاده میکند که به پزشکان در مدیریت سیستمهای
پیچیده نرمافزاری کمک میکند. روش پیشنهادی مبتنی بر ترکیب
مفهوم انتزاعی و ویژگی عملیاتی آن، با مدلهای رفتاری به شکل
دقیق و ساده ماشینهای حالت انتزاعی (ASMs) است.
کتاب هم روش مدلسازی (بخش اول) و هم روش موجود را معرفی
میکند. پشتیبانی ابزار (قسمت دوم): در قسمت اول، نویسندگان
جزئیات (با استفاده از مثالهای متعدد) چگونگی ساخت، توضیح،
اشکالزدایی، کاوش، گسترش و استفاده مجدد از مدلهای طراحی دقیق
سیستم را از ابتدا شرح میدهند. فقط دانش ابتدایی از نمادهای
ریاضی رایج (از جمله تئوری مجموعه ها) و برخی از تجربیات اولیه
با فرآیندهای محاسباتی (سیستم ها، برنامه ها، الگوریتم ها) فرض
می شود. سپس بخش دوم نشان میدهد که چگونه میتوان روش مدلسازی
را با پیادهسازی ابزارهایی که مدلهای طراحی را قابل اجرا و
اشکالزدایی میکنند، پشتیبانی کرد.
برای نشان دادن نحوه ساخت، اشکالزدایی و نگهداری سیستمها و
توضیح ساخت آنها به شیوهای قابل بررسی، یک مشکل کلی و کلی روش
پالایش گرا برای ساخت مدلهای سیستم از اجزا به کار گرفته
میشود. این روش با مدلهای انتزاعی شروع میشود و گام به گام
آنها را اصلاح میکند و به تدریج جزئیات بیشتری را اضافه
میکند که در نهایت منجر به کد میشود.
برای متخصصانی که سیستمهای فشرده نرمافزار میسازند و
دانشجویان متخصص در مهندسی نرمافزار در نظر گرفته شده است، این
روش میتواند هم برای خود استفاده شود. مطالعه و برای تدریس، و
می تواند به عنوان یک کتاب مرجع باشد. تمرین هایی برای کمک به
خوانندگان برای بررسی درک خود از مفاهیم توضیح داده شده گنجانده
شده است. برای بسیاری از مدلهای تعریفشده در کتاب، اصلاحات
نسخههای اجرایی را میتوان برای تأیید آزمایشی از وبسایت کتاب
در http://modelingbook.informatik.uni-ulm.de
This book uses a variety of applications to illustrate a
modeling method that helps practitioners to manage complex
software-intensive systems. The proposed method relies on the
combination of its abstraction concept and its operational
character, with behavioral models in the precise and simple
form of Abstract State Machines (ASMs).
The book introduces both the modeling method (Part I) and the
available tool support (Part II): In Part I the authors
detail (using numerous examples) how to construct, explain,
debug, explore, extend and reuse accurate system design
models, starting from scratch. Only an elementary knowledge
of common mathematical (including set-theoretic) notation and
some basic experience with computational processes (systems,
programs, algorithms) is assumed. Part II then shows how the
modeling method can be supported by implementing tools that
make design models executable and debuggable.
To illustrate how to build, debug and maintain systems and to
explain their construction in a checkable manner, a general,
problem-oriented refinement method is adopted to construct
system models from components. The method starts with
abstract models and refines them step by step, incrementally
adding further details that eventually lead to code.
Intended for practitioners who build software intensive
systems, and students specializing in software engineering,
it can be used both for self-study and for teaching, and it
can serve as a reference book. Exercises are included to help
readers check their understanding of the explained concepts.
For many models defined in the book, refinements to
executable versions can be downloaded for experimental
validation from the book’s website at
http://modelingbook.informatik.uni-ulm.de
Front Matter ....Pages i-xxi
Front Matter ....Pages 1-1
Introduction: The Role of Modeling (Egon Börger, Alexander Raschke)....Pages 3-14
Seven Constructs for Modeling Single-Agent Behavior (Egon Börger, Alexander Raschke)....Pages 15-92
Modeling Concurrent Systems (Egon Börger, Alexander Raschke)....Pages 93-133
Modeling Context Awareness (Egon Börger, Alexander Raschke)....Pages 135-180
Modeling Business Processes (Egon Börger, Alexander Raschke)....Pages 181-205
Modeling Distributed Systems (Egon Börger, Alexander Raschke)....Pages 207-239
Front Matter ....Pages 241-241
Syntax and Semantics of ASMs (Egon Börger, Alexander Raschke)....Pages 243-250
Debugging System Design (CoreASM) (Egon Börger, Alexander Raschke)....Pages 251-295
Control State Diagrams (Meta Model) (Egon Börger, Alexander Raschke)....Pages 297-315
Back Matter ....Pages 317-349