دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: ساخت و ساز ویرایش: نویسندگان: Collins C., Porras J.I. سری: ISBN (شابک) : 9783540306443 ناشر: سال نشر: 2000 تعداد صفحات: 16 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 517 کیلوبایت
در صورت تبدیل فایل کتاب Building Your Company's Vision به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ساختن چشم انداز شرکت شما نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب فرصت خوبی را برای دست اندرکاران و محققین مهندسی نرم افزار فراهم می کند تا با وضعیت فعلی و روندهای آتی در تحقیقات نرم افزار تعبیه شده مبتنی بر مؤلفه هماهنگ شوند. این کتاب بر اساس مجموعهای انتخابی از مقالات است که طیف کامل نرمافزار تعبیهشده مبتنی بر مؤلفه، از روششناسی گرفته تا ابزار را پوشش میدهد. جنبههای روششناسی تحت پوشش این کتاب شامل مشخصات عملکردی و غیرعملکردی، اعتبارسنجی، تأیید و معماری مؤلفه است. از آنجایی که ابزارها یک عامل موفقیت مهم در انتقال دانش تولید شده توسط دانشگاه به فناوری آماده صنعت هستند، بخش مهمی از کتاب به ابزارها اختصاص دارد. این بررسی پیشرفته شامل 16 مقاله با دقت انتخاب شده است که در بخشهای موضوعی در مورد مشخصات و تأیید، سازگاری مؤلفه، معماری مؤلفه، پیادهسازی و پشتیبانی ابزار، و همچنین ویژگیهای غیرعملکردی سازماندهی شدهاند.
This book provides a good opportunity for software engineering practitioners and researchers to get in sync with the current state-of-the-art and future trends in component-based embedded software research. The book is based on a selective compilation of papers that cover the complete component-based embedded software spectrum, ranging from methodology to tools. Methodology aspects covered by the book include functional and non-functional specification, validation, verification, and component architecture. As tools are a critical success factor in the transfer from academia-generated knowledge to industry-ready technology, an important part of the book is devoted to tools. This state-of-the-art survey contains 16 carefully selected papers organised in topical sections on specification and verification, component compatibility, component architectures, implementation and tool support, as well as non-functional properties.
Front Matter....Pages -
Component-Based Software Development for Embedded Systems – An Introduction....Pages 1-7
Specification and Verification of Applications Based on Function Blocks....Pages 8-34
A Model-Based Approach to Formal Specification and Verification of Embedded Systems Using Colored Petri Nets....Pages 35-58
Modular Verification of Reconfigurable Components....Pages 59-81
Behavioral Types for Embedded Software – A Survey....Pages 82-106
Assessing Real-Time Component Contracts Through Built-in Evolutionary Testing....Pages 107-122
Platform-Independent Specification of Component Architectures for Embedded Real-Time Systems Based on an Extended UML....Pages 123-142
Model Driven Software Development in the Context of Embedded Component Infrastructures....Pages 143-163
A Component Framework for Consumer Electronics Middleware....Pages 164-184
Connecting Embedded Devices Using a Component Platform for Adaptable Protocol Stacks....Pages 185-208
CoConES : An Approach for Components and Contracts in Embedded Systems....Pages 209-231
Adopting a Component-Based Software Architecture for an Industrial Control System – A Case Study....Pages 232-248
Specification and Evaluation of Safety Properties in a Component-Based Software Engineering Process....Pages 249-274
Performance Evaluation Approaches for Software Architects....Pages 275-295
Component-Based Engineering of Distributed Embedded Control Software....Pages 296-319
Component-Based Development of Dependable Systems with UML....Pages 320-344
Back Matter....Pages -