دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Component-Based Software Engineering: 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings
دانلود کتاب مهندسی نرم افزار مبتنی بر مؤلفه: یازدهمین سمپوزیوم بین المللی ، CBSE 2008 ، کارلسروهه ، آلمان ، 14 تا 17 اکتبر 2008. مجموعه مقالات
مشخصات کتاب
Component-Based Software Engineering: 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings
دسته بندی: فن آوری ویرایش: 1 نویسندگان: Rafael Tolosana-Calasanz, Omer F. Rana, José A. Bañares (auth.), Michel R. V. Chaudron, Clemens Szyperski, Ralf Reussner (eds.) سری: Lecture Notes in Computer Science 5282 : Programming and Software Engineering ISBN (شابک) : 3540878904, 9783540878902 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2008 تعداد صفحات: 345 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 12 مگابایت
قیمت کتاب (تومان) : 40,000
کلمات کلیدی مربوط به کتاب مهندسی نرم افزار مبتنی بر مؤلفه: یازدهمین سمپوزیوم بین المللی ، CBSE 2008 ، کارلسروهه ، آلمان ، 14 تا 17 اکتبر 2008. مجموعه مقالات: مهندسی نرم افزار، تکنیک های برنامه نویسی، زبان های برنامه نویسی، کامپایلرها، مترجمان، مدل ها و اصول، عملکرد و قابلیت اطمینان
در صورت تبدیل فایل کتاب Component-Based Software Engineering: 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مهندسی نرم افزار مبتنی بر مؤلفه: یازدهمین سمپوزیوم بین المللی ، CBSE 2008 ، کارلسروهه ، آلمان ، 14 تا 17 اکتبر 2008. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مهندسی نرم افزار مبتنی بر مؤلفه: یازدهمین سمپوزیوم بین المللی ، CBSE 2008 ، کارلسروهه ، آلمان ، 14 تا 17 اکتبر 2008. مجموعه مقالات
این کتاب مجموعه مقالات داوری یازدهمین سمپوزیوم بین‌المللی ACM SIGSOFT در زمینه مهندسی نرم‌افزار مبتنی بر مؤلفه، CBSE 2008 است که در کارلسروهه، آلمان در اکتبر 2008 برگزار شد.
20 مقاله کامل اصلاح‌شده و 3 مقاله کوتاه ارائه شده به دقت بررسی و از بین 70 مقاله ارسالی انتخاب شدند. این مقالات دارای روندهای جدید در خدمات نرم افزاری جهانی و معماری سیستم های توزیع شده است تا محدودیت های روش ها، ابزارها و پلتفرم های مبتنی بر مؤلفه ایجاد شده و آزمایش شده را افزایش دهد. مقالات در بخش های موضوعی در مهندسی عملکرد سازماندهی شده اند. خواص فوق العاده: امنیت و انرژی؛ روش های رسمی و بررسی مدل؛ تکنیک های تایید؛ زیرساخت های زمان اجرا؛ روش های طراحی و توسعه؛ مدل های جزء.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 11th International ACM SIGSOFT Symposium on Component-Based Software Engineering, CBSE 2008, held in Karlsruhe, Germany in October 2008.
The 20 revised full papers and 3 short papers presented were carefully reviewed and selected from 70 submissions. The papers feature new trends in global software services and distributed systems architectures to push the limits of established and tested component-based methods, tools and platforms. The papers are organized in topical sections on performance engineering; extra-functional properties: security and energy; formal methods and model checking; verification techniques; run-time infrastructures; methods of design and development; component models.
فهرست مطالب
Front Matter....Pages -
Automating Performance Analysis from Taverna Workflows....Pages 1-15
An Empirical Investigation of the Effort of Creating Reusable, Component-Based Models for Performance Prediction....Pages 16-31
Deploying Software Components for Performance....Pages 32-47
Performance Prediction for Black-Box Components Using Reengineered Parametric Behaviour Models....Pages 48-63
Validating Access Control Configurations in J2EE Applications....Pages 64-79
Classification of Component Vulnerabilities in Java Service Oriented Programming (SOP) Platforms....Pages 80-96
Component-Level Energy Consumption Estimation for Distributed Java-Based Software Systems....Pages 97-113
Synthesis of Connectors from Scenario-Based Interaction Specifications....Pages 114-129
State Space Reduction Techniques for Component Interfaces....Pages 130-145
Model Checking of Control-User Component-Based Parametrised Systems....Pages 146-162
Automatic Protocol Conformance Checking of Recursive and Parallel Component-Based Systems....Pages 163-179
Structural Testing of Component-Based Systems....Pages 180-195
Towards Component-Based Design and Verification of a μ -Controller....Pages 196-211
ESCAPE: A Component-Based Policy Framework for Sense and React Applications....Pages 212-229
Experiences from Developing a Component Technology Agnostic Adaptation Framework....Pages 230-245
A Practical Approach for Finding Stale References in a Dynamic Service Platform....Pages 246-261
Towards a Systematic Method for Identifying Business Components....Pages 262-277
Life-Cycle Aware Modelling of Software Components....Pages 278-285
A Component Selection Framework for COTS Libraries....Pages 286-301
Opportunistic Reuse: Lessons from Scrapheap Software Development....Pages 302-309
A Component Model for Control-Intensive Distributed Embedded Systems....Pages 310-317
The CoSi Component Model: Reviving the Black-Box Nature of Components....Pages 318-333
Ada-CCM: Component-Based Technology for Distributed Real-Time Systems....Pages 334-350
Back Matter....Pages -
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Structured system analysis: a new technique
دانلود کتاب Trustworthy compilers
دانلود کتاب Engineering and Design Liquid Process Piping
دانلود کتاب hermodynamics - An Engineering Approach (Solutions)
دانلود کتاب Reengineering Community Development for the 21st Century (Transformational Trends in Governance & Democracy)
دانلود کتاب Environment, Power, and Society for the Twenty-First Century: The Hierarchy of Energy
دانلود کتاب Data Engineering Issues in E-Commerce and Services: Second International Workshop, DEECS 2006, San Francisco, CA, USA, June 26, 2006. Proceedings
دانلود کتاب Inversores de Frequência. Teoria e Aplicações
دانلود کتاب SAAB 900, M 1981-88. Verkstadshandbok, 2:1 : Grundmotor
