دانلود کتاب Algebraic Specification Techniques in Object Oriented Programming Environments
49,000 تومان
تکنیک های مشخصات جبری در محیط های برنامه نویسی شی گرا
| موضوع اصلی | جبر |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 231 |
| حجم فایل | 2 مگابایت |
| کد کتاب | 3540549722,9783540549727 |
| نوبت چاپ | 1 |
| نویسنده | Ruth Breu (auth.) |
|---|---|
| زبان | انگلیسی |
| فرمت | DJVU |
| سال انتشار | 1991 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 1 | بدون تخفیف | 25,000 تومان |
| 2 | 20 درصد | 20,000 تومان |
| 3 الی 5 | 25 درصد | 18,750 تومان |
| 6 الی 10 | 30 درصد | 17,500 تومان |
| 11 الی 20 | 35 درصد | 16,250 تومان |
| 21 الی 30 | 40 درصد | 15,000 تومان |
| 31 الی 40 | 45 درصد | 13,750 تومان |
| 41 الی 50 | 50 درصد | 12,500 تومان |
| 51 الی 70 | 55 درصد | 11,250 تومان |
| 71 الی 100 | 60 درصد | 10,000 تومان |
| 101 الی 150 | 65 درصد | 8,750 تومان |
| 151 الی 200 | 70 درصد | 7,500 تومان |
| 201 الی 300 | 75 درصد | 6,250 تومان |
| 301 الی 500 | 80 درصد | 5,000 تومان |
| 501 الی 1000 | 85 درصد | 3,750 تومان |
| 1001 الی 10000 | 90 درصد | 2,500 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
تکنیک های مشخصات جبری در محیط های برنامه نویسی شی گرا
هدف اصلی این تک نگاری ارائه چارچوبی برای طراحی یکپارچه برنامه های شی گرا با تکنیک های مشخصات جبری است. روش طراحی دنبال شده اساساً بر ساختار سیستم ها بر اساس مفهوم انواع داده ها متکی است. بسته به سطح انتزاع، انواع داده ها به روشی شی گرا با مشخصات جبری یا توسط برنامه های شی گرا قابل اجرا توسط ماشین توصیف می شوند. درمان شامل دو جنبه اصلی است. اول، برنامه های شی گرا باید با مفهوم درستی که انتقال از مشخصات به اجرای برنامه را مدل می کند، مرتبط شوند. نویسنده مفهومی از صحت ارائه می دهد که بر ایده توابع انتزاعی تکیه دارد. دوم، برای به دست آوردن یک محیط طراحی یکپارچه، یک مفهوم ساختاری یکنواخت برای برنامه های شی گرا و مشخصات جبری باید ارائه شود. وراثت، تایپ فرعی و مشتری سه مفهوم اصلی ساختار شی گرا هستند. Theauthor از آنها برای توسعه هسته یک زبان برنامه نویسی شی گرا تایپ شده استفاده می کند. این مونوگراف پایه و اساس رسمی یک چارچوب یکپارچه از مشخصات جبری و برنامه های شی گرا را فراهم می کند. یک دستورالعمل اصلی توسعه یک روش طراحی است که از طراحی ساختاریافته و استفاده مجدد از نرم افزار در این محیط پشتیبانی می کند.
The main aim of this monograph is to provide a framework for the integrated design of object-oriented programs with algebraic specification techniques. The design method pursued relies fundamentally on the structuring of systems based on the notion of data types. Depending on the level of abstraction, data types are described in an object-oriented way by algebraic specifications or by machine-executable object-oriented programs. The treatment involves two main aspects. First, object-oriented programs have to be related by a notion of correctness that models the transition from specifications to program implementations. The author presents a notion of correctness which relies on the idea of abstraction functions. Second, in order to obtain an integrated design environment, a uniform structuring concept for object oriented programs and algebraic specifications has to be provided. Inheritance, subtyping and clientship are three central notions of object-oriented structuring. Theauthor uses them to develop the kernel of a typed object- oriented programming language. The monograph provides the formal foundation for a unified framework of algebraic specifications and object-oriented programs. A major guideline is the development of a design method supporting the structured design and reuse of software in this environment.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.