دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Systems engineering and architecting : creating formal requirements
دانلود کتاب مهندسی سیستم و معماری: ایجاد الزامات رسمی
مشخصات کتاب
Systems engineering and architecting : creating formal requirements
ویرایش:
نویسندگان: Laurence Bellagamba
سری:
ISBN (شابک) : 9781439881422, 1439881421
ناشر: CRC Press
سال نشر: 2012
تعداد صفحات: 415
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 17 مگابایت
قیمت کتاب (تومان) : 52,000
در صورت تبدیل فایل کتاب Systems engineering and architecting : creating formal requirements به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مهندسی سیستم و معماری: ایجاد الزامات رسمی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مهندسی سیستم و معماری: ایجاد الزامات رسمی
مقدمه این کتاب برای برداشتن گامی برای تحقق هدفی نوشته شده است که جورج فریدمن در سخنرانی اصلی رئیس جمهور خود در سال 1994 در دومین نشست شورای بین المللی مهندسی سیستم ها بیان کرد. جورج از مخاطبانش خواست که مبنایی ریاضی برای انجام مهندسی سیستم ها فراهم کنند. اکنون چنین مبنایی نیازمندی‌های رسمی نامیده می‌شود، که دستورالعمل‌های صریح و اجرایی برای انجام کاری است که می‌تواند با منطق یا بررسی تأیید شود. از زمانی که جورج درخواست کرد، به تدریج پیشرفت‌های قابل توجهی در توانایی ما برای ارائه الزامات رسمی برای انجام بسیاری از جنبه‌های مهندسی نرم‌افزار و سیستم‌های تعبیه شده ایجاد شد. این تلاش‌های موفق بینش‌های لازم برای شروع فرآیند مهندسی سیستم‌ها را فراهم می‌کند. همچنین در سال‌های پس از آن، نیاز به کنترل منطقی تعاملات خانواده‌های سیستم‌ها به یک نگرانی بزرگ تبدیل شده است. بنابراین ما اکنون به روش‌های رسمی برای انجام معماری نیز نیاز داریم. این کتاب مجموعه ای از روش های رسمی را شرح می دهد و نمونه هایی از استفاده از آنها را نشان می دهد. الزامات رسمی واقعی خود در Mathematica نوشته شده و به صورت آنلاین در دسترس هستند. در نگاهی به گذشته، فرمول بندی الزامات رسمی در واقع بسیار ساده تر از ابداع چگونگی انجام وظایف مهندسی و معماری سیستم ها در وهله اول است. کار ایجاد ملزومات رسمی بیشتر روشنایی است تا اختراع، بنابراین آراستن و اضافه کردن به مجموعه الزامات رسمی بهتر است توسط افراد زیادی انجام شود تا افراد معدودی. بنابراین، همه همکاران من تشویق می شوند که مجموعه را دریافت کنند و بهبود یا اضافات را توصیه کنند. امیدوارم با گذشت زمان افراد با استعداد به طور جمعی به هدف جورج برسند''-- بیشتر بخوانید...
توضیحاتی درمورد کتاب به خارجی
''Preface This book was written to take a step to fulfill a goal that George Friedman stated in his president's keynote address in 1994 at just the second meeting of the International Council on Systems Engineering. George asked his audience to provide a mathematical basis for doing systems engineering. Such a basis is now called formal requirements, which are explicit, executable instructions to do something that can be verified by logic or examination. Since George asked, substantial advances were gradually made in our ability to provide formal requirements for doing many aspects of software engineering and embedded systems. These successful efforts provide the insights needed to start the process for systems engineering. Also in the years since, the need to rationally control the interactions of families of systems has developed into a major concern. So we now need formal methods to do architecting as well. The book describes a set of formal methods and shows examples of their use. The actual formal requirements themselves are written in Mathematicaʼ and are available online. In retrospect, formulating the formal requirements is actually much easier than inventing how to accomplish systems engineering and architecting tasks in the first place. The job to make formal requirements is more illumination than invention, so embellishing and adding to the set of formal requirements are best done by many people rather than a few individuals. Therefore, all my colleagues are encouraged to get the set and recommend improvements or additions. My hope is that over time talented individuals will collectively achieve George's goal''-- Read more...
فهرست مطالب
Content: Ch. 1. Motivation, objective, definitions, and approach --
ch. 2. Model systems and architecture behavior --
ch. 3. Make decisions --
ch. 4. Establish natural language requirements --
ch. 5. Improve an organization's ability to do systems engineering and architecting.
Abstract: ''Preface This book was written to take a step to fulfill a goal that George Friedman stated in his president's keynote address in 1994 at just the second meeting of the International Council on Systems Engineering. George asked his audience to provide a mathematical basis for doing systems engineering. Such a basis is now called formal requirements, which are explicit, executable instructions to do something that can be verified by logic or examination. Since George asked, substantial advances were gradually made in our ability to provide formal requirements for doing many aspects of software engineering and embedded systems. These successful efforts provide the insights needed to start the process for systems engineering. Also in the years since, the need to rationally control the interactions of families of systems has developed into a major concern. So we now need formal methods to do architecting as well. The book describes a set of formal methods and shows examples of their use. The actual formal requirements themselves are written in Mathematicaʼ and are available online. In retrospect, formulating the formal requirements is actually much easier than inventing how to accomplish systems engineering and architecting tasks in the first place. The job to make formal requirements is more illumination than invention, so embellishing and adding to the set of formal requirements are best done by many people rather than a few individuals. Therefore, all my colleagues are encouraged to get the set and recommend improvements or additions. My hope is that over time talented individuals will collectively achieve George's goal''
