ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Algebraic Foundations of Systems Specification

دانلود کتاب مبانی جبری مشخصات سیستم ها

Algebraic Foundations of Systems Specification

مشخصات کتاب

Algebraic Foundations of Systems Specification

ویرایش: 1 
نویسندگان: , , , ,   
سری: IFIP State-of-the-Art Reports 
ISBN (شابک) : 9783642641510, 9783642598517 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 1999 
تعداد صفحات: 625 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 22 مگابایت 

قیمت کتاب (تومان) : 33,000



کلمات کلیدی مربوط به کتاب مبانی جبری مشخصات سیستم ها: تکنیک های برنامه نویسی، مهندسی نرم افزار، منطق و معانی برنامه ها، ریاضیات محاسبات



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 17


در صورت تبدیل فایل کتاب Algebraic Foundations of Systems Specification به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب مبانی جبری مشخصات سیستم ها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب مبانی جبری مشخصات سیستم ها



هدف مهندسی نرم افزار ارائه و بررسی روش هایی برای توسعه سیستم های نرم افزاری با کیفیت بالا با صحت به عنوان یک موضوع کلیدی است. یک سیستم اگر آنچه را که می‌خواهد انجام دهد، اگر شرایط را برآورده کند، صحیح نامیده می‌شود. برای دستیابی و تضمین سیستم‌های صحیح، نیاز به روش‌های رسمی با معناشناسی دقیق و امکان تأیید به طور گسترده پذیرفته شده است. مشخصات جبری یک رویکرد مهندسی نرم افزار از این دیدگاه است. هنگامی که لیسکوف و زیلس، گوتاگ و گروه ADJ با گوگن، تاچ ار، واگنر و رایت ایده های اساسی مشخصات جبری را در اواسط دهه هفتاد در ایالات متحده آمریکا و کانادا معرفی کردند، حوزه جدیدی را آغاز کردند که بسیار موفق و هنوز شکوفا شده بود. در اواخر دهه هفتاد، مشخصات جبری در بسیاری از کشورهای اروپایی به یک موضوع تحقیقاتی اصلی تبدیل شد. در اصل، چارچوب جبری برای پایه ریزی ریاضی انواع داده های انتزاعی و توسعه رسمی برنامه های کاربردی مرتبه اول در نظر گرفته شده بود. در همین حال، دامنه کاربردها به مشخصات دقیق سیستم‌های نرم‌افزاری کامل، تعریف یکنواخت نحو و معنایی زبان‌های برنامه‌نویسی و توسعه گام به گام سیستم‌های صحیح از تعاریف مورد نیاز تا برنامه‌های در حال اجرا گسترش یافته است. فعالیت‌ها در 25 سال گذشته منجر به انبوهی از مفاهیم، ​​روش‌ها، رویکردها، نظریه‌ها، زبان‌ها و ابزارهایی شده است که به طور ریاضی در جبر جهانی، نظریه دسته‌بندی و منطق پایه‌گذاری شده‌اند.


توضیحاتی درمورد کتاب به خارجی

The aim of software engineering is the provision and investigation of methods for the development of software systems of high quality with correctness as a key issue. A system is called correct if it does what one wants, if it meets the requirements. To achieve and to guarantee correct systems, the need of formal methods with rigorous semantics and the possibility of verification is widely accepted. Algebraic specification is a software engineering approach of this perspective. When Liskov and Zilles, Guttag and the ADJ-group with Goguen, Thatch­ er, Wagner and Wright introduced the basic ideas of algebraic specification in the mid seventies in the U. S. A. and Canada, they initiated a very successful and still flourishing new area. In the late seventies, algebraic specification became a major research topic also in many European countries. Originally, the algebraic framework was intended for the mathematical foundation of ab­ stract data types and the formal development of first-order applicative pro­ grams. Meanwhile, the range of applications has been extended to the precise specification of complete software systems, the uniform definition of syntax and semantics of programming languages, and to the stepwise development of correct systems from the requirement definitions to the running programs. The activities in the last 25 years have led to an abundance of concepts, methods, approaches, theories, languages and tools, which are mathemati­ cally founded in universal algebra, category theory and logic.



فهرست مطالب

Front Matter....Pages I-XII
The Role of Formal Specifications....Pages 1-12
Algebraic Preliminaries....Pages 13-30
From Total Equational to Partial First-Order Logic....Pages 31-104
Institutions: An Abstract Framework for Formal Specifications....Pages 105-130
Specification Semantics....Pages 131-158
Structuring and Modularity....Pages 159-200
Refinement and Implementation....Pages 201-242
Specification Languages....Pages 243-272
Term Rewriting....Pages 273-320
Proof in Flat Specifications....Pages 321-384
Proof Systems for Structured Specifications and Their Refinements....Pages 385-433
Object Specification....Pages 435-465
Algebraic Specification of Concurrent Systems....Pages 467-520
Formalization of the Development Process....Pages 521-562
Back Matter....Pages 563-616




نظرات کاربران