توضیحات
A formal method is not the main engine of a development process, its contribution is to improve system dependability by motivating formalisation where useful. This book summarizes the results of the DEPLOY research project on engineering methods for dependable systems through the industrial deployment of formal methods in software development. The applications considered were in automotive, aerospace, railway, and enterprise information systems, and microprocessor design.
The project introduced a formal method, Event-B, into several industrial organisations and built on the lessons learned to provide an ecosystem of better tools, documentation and support to help others to select and introduce rigorous systems engineering methods. The contributing authors report on these projects and the lessons learned. For the academic and research partners and the tool vendors, the project identified improvements required in the methods and supporting tools, while the industrial partners learned about the value of formal methods in general. A particular feature of the book is the frank assessment of the managerial and organisational challenges, the weaknesses in some current methods and supporting tools, and the ways in which they can be successfully overcome.
The book will be of value to academic researchers, systems and software engineers developing critical systems, industrial managers, policymakers, and regulators.
————————————————————–
ترجمه ماشینی :
روش رسمی موتور اصلی فرآیند توسعه نیست، کمک آن بهبود قابلیت اطمینان سیستم از طریق ایجاد انگیزه رسمی سازی در موارد مفید است. این کتاب نتایج پروژه تحقیقاتی DEPLOY در مورد روشهای مهندسی برای سیستمهای قابل اعتماد از طریق استقرار صنعتی روشهای رسمی در توسعه نرمافزار را خلاصه میکند. کاربردهای در نظر گرفته شده در سیستمهای اطلاعات خودرو، هوافضا، راهآهن و سازمانی و طراحی ریزپردازنده بود.
این پروژه یک روش رسمی به نام Event-B را در چندین سازمان صنعتی معرفی کرد و بر اساس درسهای آموختهشده برای ارائه اکوسیستمی از ابزارها، اسناد و پشتیبانی بهتر برای کمک به دیگران در انتخاب و معرفی روش های مهندسی سیستم های دقیق. نویسندگان مشارکت کننده در مورد این پروژه ها و درس های آموخته شده گزارش می دهند. برای شرکای دانشگاهی و تحقیقاتی و فروشندگان ابزار، پروژه پیشرفت های مورد نیاز در روش ها و ابزارهای پشتیبانی را شناسایی کرد، در حالی که شرکای صنعتی به طور کلی ارزش روش های رسمی را آموختند. یکی از ویژگیهای کتاب ارزیابی صریح چالشهای مدیریتی و سازمانی، ضعفهای موجود در برخی از روشهای فعلی و ابزارهای پشتیبانی، و راههایی است که از طریق آن میتوان با موفقیت بر آنها فائق آمد.
< p>این کتاب برای محققان دانشگاهی، مهندسین سیستمها و نرمافزار در حال توسعه سیستمهای حیاتی، مدیران صنعتی، سیاستگذاران و تنظیمکنندهها ارزشمند خواهد بود.
tag : دانلود کتاب استقرار صنعتی روشهای مهندسی سیستم , Download استقرار صنعتی روشهای مهندسی سیستم , دانلود استقرار صنعتی روشهای مهندسی سیستم , Download Industrial Deployment of System Engineering Methods Book , استقرار صنعتی روشهای مهندسی سیستم دانلود , buy استقرار صنعتی روشهای مهندسی سیستم , خرید کتاب استقرار صنعتی روشهای مهندسی سیستم , دانلود کتاب Industrial Deployment of System Engineering Methods , کتاب Industrial Deployment of System Engineering Methods , دانلود Industrial Deployment of System Engineering Methods , خرید Industrial Deployment of System Engineering Methods , خرید کتاب Industrial Deployment of System Engineering Methods ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.