توضیحات
Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some point.
The first part of this graduate-level introduction to formal methods develops an understanding of what constitutes formal methods and what their place is in Software Engineering. It also introduces logics as languages to describe reasoning and the process algebra CSP as a language to represent behaviours. The second part offers specification and testing methods for formal development of software, based on the modelling languages CASL and UML. The third part takes the reader into the application domains of normative documents, human machine interfaces, and security. Use of notations and formalisms is uniform throughout the book.
Topics and features:
- Explains foundations, and introduces specification, verification, and testing methods
- Explores various application domains
- Presents realistic and practical examples, illustrating concepts
Brings together contributions from highly experienced educators and researchers
- Offers modelling and analysis methods for formal development of software
Suitable for graduate and undergraduate courses in software engineering, this uniquely practical textbook will also be of value to students in informatics, as well as to scientists and practical engineers, who want to learn about or work more effectively with formal theories and methods.
Markus Roggenbachis a Professor in the Dept. of Computer Science of Swansea University.Antonio Ceroneis an Associate Professor in the Dept. of Computer Science of Nazarbayev University, Nur-Sultan.Bernd-Holger Schlingloffis a Professor in the Institut fr Informatik of Humboldt-Universitt zu Berlin.Gerardo Schneideris a Professor in the Dept. of Computer Science and Engineering of University of Gothenburg.Siraj Ahmed Shaikhis a Professor in the Institute for Future Transport and Cities of Coventry University.
————————————————————–
ترجمه ماشینی :
برنامههای نرمافزاری موجودیتهای رسمی با معانی دقیق و مستقل از برنامهنویسان خود هستند، بنابراین انتقال از ایدهها به برنامهها لزوماً در مقطعی مستلزم رسمیسازی است.
اولین مورد بخشی از این مقدمه در سطح تحصیلات تکمیلی به روشهای رسمی، درک درستی از روشهای رسمی را ایجاد میکند و جایگاه آنها در مهندسی نرمافزار چیست. همچنین منطق را به عنوان زبانی برای توصیف استدلال و جبر فرآیند CSP را به عنوان زبانی برای نمایش رفتارها معرفی می کند. بخش دوم مشخصات و روشهای تست برای توسعه رسمی نرمافزار را بر اساس زبانهای مدلسازی CASL و UML ارائه میکند. بخش سوم خواننده را به حوزه های کاربردی اسناد هنجاری، رابط های ماشین انسانی و امنیت می برد. استفاده از نمادها و فرمالیسم ها در سراسر کتاب یکنواخت است.
موضوعات و ویژگی ها:
- توضیح می دهد. مبانی، و معرفی مشخصات، تأیید، و روش های آزمایش
- کاوش در حوزه های مختلف برنامه
- نمونههای واقعی و عملی را ارائه میکند، مفاهیم را به تصویر میکشد
همکاریهای مربیان و محققان بسیار با تجربه را گرد هم میآورد
- روش های مدلسازی و تحلیل را برای توسعه رسمی نرم افزار ارائه می دهد
مناسب برای دوره های کارشناسی ارشد و کارشناسی مهندسی نرم افزار ، این کتاب درسی منحصر به فرد کاربردی همچنین برای دانشجویان انفورماتیک و همچنین برای دانشمندان و مهندسان عملی که می خواهند در مورد نظریه ها و روش های رسمی بیاموزند یا به طور مؤثرتری با آنها کار کنند، ارزشمند خواهد بود.
مارکوس روگنباخاستاد بخش علوم کامپیوتر دانشگاه سوانسی.آنتونیو سرون دانشیار این گروه است. استاد علوم کامپیوتر دانشگاه نظربایف، نورسلطان.برند هولگر شلینگلوفاستاد انستیتوی اطلاعات دانشگاه هومبولت در برلین. >جراردو اشنایدراستاد بخش علوم و مهندسی کامپیوتر دانشگاه گوتنبرگ.سراج احمد شیخاستاد این موسسه برای حمل و نقل آینده و شهرهای دانشگاه کاونتری.
tag : دانلود کتاب روشهای رسمی برای مهندسی نرمافزار: زبانها، روشها، حوزههای کاربردی (متون در علوم کامپیوتر نظری. یک سری EATCS) , Download روشهای رسمی برای مهندسی نرمافزار: زبانها، روشها، حوزههای کاربردی (متون در علوم کامپیوتر نظری. یک سری EATCS) , دانلود روشهای رسمی برای مهندسی نرمافزار: زبانها، روشها، حوزههای کاربردی (متون در علوم کامپیوتر نظری. یک سری EATCS) , Download Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series) Book , روشهای رسمی برای مهندسی نرمافزار: زبانها، روشها، حوزههای کاربردی (متون در علوم کامپیوتر نظری. یک سری EATCS) دانلود , buy روشهای رسمی برای مهندسی نرمافزار: زبانها، روشها، حوزههای کاربردی (متون در علوم کامپیوتر نظری. یک سری EATCS) , خرید کتاب روشهای رسمی برای مهندسی نرمافزار: زبانها، روشها، حوزههای کاربردی (متون در علوم کامپیوتر نظری. یک سری EATCS) , دانلود کتاب Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series) , کتاب Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series) , دانلود Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series) , خرید Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series) , خرید کتاب Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series) ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.