کتاب الکترونیکی

طرح های تایید شده برای سیستم های شی گرا

Validated Designs for Object-Oriented Systems

دانلود کتاب Validated Designs for Object-Oriented Systems (به فارسی: طرح های تایید شده برای سیستم های شی گرا) نوشته شده توسط «John S. Fitzgerald – Peter Gorm Larsen – Paul Mukherjee – Nico Plat – Marcel Verhoef»

اطلاعات کتاب طرح های تایید شده برای سیستم های شی گرا

موضوع اصلی: 1

نوع: کتاب الکترونیکی

ناشر: Springer

نویسنده: John S. Fitzgerald – Peter Gorm Larsen – Paul Mukherjee – Nico Plat – Marcel Verhoef

زبان: English

فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)

سال انتشار: 2005

تعداد صفحه: 401

حجم کتاب: 3 مگابایت

کد کتاب: 9781852338817 , 1-85233-881-4

نوبت چاپ: 1

توضیحات کتاب طرح های تایید شده برای سیستم های شی گرا

طرح‌های معتبر برای سیستم‌های شی گرا نشان می‌دهد که چگونه تکنیک‌های مدل‌سازی به خوبی تثبیت‌شده مبتنی بر UML را می‌توان با ویژگی‌های مشخصه دقیق و در عین حال قابل دسترس ارتقا داد که امکان مدل‌سازی داده‌ها و عملکردها را در یک زبان رسمی، VDM++، بر اساس زبان مشخصات روش‌های توسعه استاندارد ISO وین فراهم می‌کند. . این کتاب که با مروری بر مفاهیم اساسی در شی گرایی و UML آغاز می شود، مدل سازی و قدرت تحلیلی را گام به گام، رسیدگی به انواع داده های پیشرفته، ثبت محدودیت های منطقی و مشخص کردن عملکرد، اضافه می کند. این ساختار برای ارائه یک رویکرد دور برگشتی است که در آن نماهای معماری و طراحی همزمان با توسعه، تجزیه و تحلیل و اصلاح مدل‌ها حفظ می‌شوند. طرح‌های معتبر برای سیستم‌های شی‌گرا، تکنیک‌های رسمی را با لمس سبک معرفی می‌کند. یک مجموعه ابزار صنعتی برای پشتیبانی از مفاهیم و تکنیک های معرفی شده استفاده می شود. مثال‌ها و مطالعات موردی متعدد بر اساس کاربردهای صنعتی واقعی این فناوری است.

Validated Designs for Object-oriented Systems displays how well-established modelling techniques based on UML can be enhanced with rigorous yet accessible specification features allowing the modelling of data & functionality in a formal language, VDM++, based on the ISO Standard Vienna Development MethodÆs Specification Language. Opening with a review of the basic concepts in object-orientation & UML, the book adds modelling & analytic power step by step, dealing with enhanced data types, recording logical constraints & specifying functionality. This builds to give a ôround-tripö approach in which architectural and design views are kept in synchronisation as models are developed, analysed and refined. Validated Designs for Object-oriented Systems introduces formal techniques with a light touch. An industrial tool set is used to support the concepts and techniques as they are introduced. The numerous supporting examples & case studies are based on real industrial applications of the technology.

دانلود کتاب «طرح های تایید شده برای سیستم های شی گرا»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.

📖 خرید این کتاب

برای دریافت فایل و اطلاع از قیمت، روی یکی از دکمه‌های زیر کلیک کنید تا پیام آماده برای شما ارسال شود:

پس از ارسال پیام، قیمت و لینک دریافت فایل در اسرع وقت برای شما ارسال خواهد شد.

برچسب ها
مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان