دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Object-Oriented Behavioral Specifications
دانلود کتاب مشخصات رفتاری شی گرا
مشخصات کتاب
Object-Oriented Behavioral Specifications
ویرایش: 1 نویسندگان: H. Kilov, William Harvey سری: ISBN (شابک) : 0792397789, 9780585275246 ناشر: سال نشر: 1996 تعداد صفحات: 329 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 16 مگابایت
قیمت کتاب (تومان) : 43,000
در صورت تبدیل فایل کتاب Object-Oriented Behavioral Specifications به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مشخصات رفتاری شی گرا نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مشخصات رفتاری شی گرا
مشخصات رفتاری شی‌گرا، سازندگان سیستم‌های اطلاعاتی پیچیده را تشویق می‌کند تا حرکت خود را به سمت استفاده از رویکرد یک رشته علمی در تجزیه و تحلیل به جای رویکرد یک کاردستی تسریع بخشند. تمرکز بر درک نیازهای مشتریان و تعیین دقیق درک به دست آمده از طریق تجزیه و تحلیل است. مشخصات باید هر گونه شکاف در درک قوانین کسب و کار را در بین مشتریان، کارشناسان موضوع، و «افراد رایانه» پر کند، باید تصمیمات مربوط به استفاده مجدد از نرم‌افزار و سیستم‌ها را مشخص کند، و باید امکان بازبینی معناشناسی را در طول زمان فراهم کند. مشخصات باید به جای نحو، معنایی را توصیف کنند و این کار را به شیوه ای انتزاعی و دقیق انجام دهند تا سیستم های نرم افزاری ایجاد شود که قوانین تجاری را برآورده کند. مقالات این کتاب راه های مختلفی برای طراحی مشخصات ظریف و واضح را نشان می دهد که قابل استفاده مجدد هستند، منجر به صرفه جویی در تلاش فکری، زمان و هزینه می شوند و به قابلیت اطمینان نرم افزار و سیستم ها کمک می کنند. مشخصات رفتاری شی‌گرا با بررسی محدودیت‌های روش‌های سنتی OO و با توصیف اهمیت روندهای رقابتی در مدل‌سازی OO، برخورد تازه‌ای از پارادایم شی‌گرا ارائه می‌دهد. این کتاب بر اساس چهار سال کارگاه های موفق OOPSLA (1991-1995) در مورد معناشناسی رفتار است. این کتاب با مشخصات دقیق "آنچه" توسط کسب و کار انجام می شود و "چه چیزی" باید توسط یک سیستم انجام شود، سروکار دارد. این کتاب شامل توضیحاتی در مورد استفاده موفق از مشخصات انتزاعی و دقیق در صنعت است. از تجربیات متخصصان محیط های صنعتی و دانشگاهی بهره می برد و از مشارکت بین المللی بهره می برد. رفتار جمعی که در برخی از رفتارهای پارادایم OO نادیده گرفته شده است، به صراحت در این کتاب مورد توجه قرار گرفته است. این کتاب «استفاده مجدد» از مشخصات یا نرم‌افزار را بدیهی نمی‌داند، بلکه پایه‌ای برای اتخاذ رویکردی دقیق برای تصمیم‌گیری‌های استفاده مجدد به عنوان مشخصات دقیق در توسعه‌های اصلی فراهم می‌کند.
توضیحاتی درمورد کتاب به خارجی
Object-Oriented Behavioral Specifications encourages builders of complex information systems to accelerate their move to using the approach of a scientific discipline in analysis rather than the approach of a craft. The focus is on understanding customers' needs and on precise specification of understanding gained through analysis. Specifications must bridge any gaps in understanding about business rules among customers, Subject Matter Experts, and `computer people', must inform decisions about reuse of software and systems, and must enable review of semantics over time. Specifications need to describe semantics rather than syntax, and to do that in an abstract and precise manner, in order to create software systems that satisfy business rules. The papers in this book show various ways of designing elegant and clear specifications which are reusable, lead to savings of intellectual effort, time, and money, and which contribute to the reliability of software and systems. Object-Oriented Behavioral Specifications offers a fresh treatment of the object-oriented paradigm by examining the limitations of traditional OO methodologies and by describing the significance of competing trends in OO modeling. The book builds on four years of successful OOPSLA workshops (1991-1995) on behavior semantics. This book deals with precise specifications of `what' is accomplished by the business and `what' is to be done by a system. The book includes descriptions of successful use of abstract and precise specification in industry. It draws on the experience of experts from industrial and academic settings and benefits from international participation. Collective behavior, neglected in some treatment of the OO paradigm, is addressed explicitly in this book. The book does not take `reuse' of specifications or software for granted, but furnishes a foundation for taking as rigorous an approach to reuse decisions as to precise specifications in original developments.
فهرست مطالب
0792397789......Page 1
OBJECT-ORIENTED BEHAVIORAL SPECIFICATIONS......Page 2
CONTENTS......Page 6
Preface......Page 8
1 Exactness and clarity in a component-based specification language......Page 15
2 A formal basis for specifying object behaviour......Page 30
3 Information refraction......Page 44
4 A pragmatic approach to formal specification......Page 54
5 Anecdotes on making a specification simpler......Page 76
6 Invariants in the trenches......Page 90
7 Fundamentals of object-oriented specification and modeling of collective behaviors......Page 114
8 An overview of Larch/C++: behavioral specifications for C++ modules......Page 134
9 Structural active-object systems fundamentals......Page 156
10 Organizational culture: an object-oriented framework......Page 176
11 Specifying and reasoning about business rules in a semantic network......Page 190
12 Dynamic and multiple classification......Page 206
13 Specifying business policy using agent-contract meta-constructs......Page 210
14 Architectural specifications: Modeling and structuring behavior through rules......Page 234
15 The search for the linking invariant: behavioral modeling versus modeling behavior......Page 254
16 Automata describing object behavior......Page 278
17 Enterprise modeling with use cases......Page 300
18 Formal object-oriented method — FOOM......Page 310
Index......Page 324
