دانلود کتاب Radical Innovations of Software and Systems Engineering in the Future: 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002. Revised Papers
کتاب نوآوری های ریشه ای مهندسی نرم افزار و سیستم ها در آینده: نهمین کارگاه بین المللی، RISSEF 2002، ونیز، ایتالیا، 7-11 اکتبر 2002. مقالات تجدید نظر شده نسخه زبان اصلی
دانلود کتاب نوآوری های ریشه ای مهندسی نرم افزار و سیستم ها در آینده: نهمین کارگاه بین المللی، RISSEF 2002، ونیز، ایتالیا، 7-11 اکتبر 2002. مقالات تجدید نظر شده بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Radical Innovations of Software and Systems Engineering in the Future: 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002. Revised Papers
نام کتاب : Radical Innovations of Software and Systems Engineering in the Future: 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002. Revised Papers
ویرایش : 1
عنوان ترجمه شده به فارسی : نوآوری های ریشه ای مهندسی نرم افزار و سیستم ها در آینده: نهمین کارگاه بین المللی، RISSEF 2002، ونیز، ایتالیا، 7-11 اکتبر 2002. مقالات تجدید نظر شده
سری : Lecture Notes in Computer Science 2941
نویسندگان : Egidio Astesiano, Maura Cerioli (auth.), Martin Wirsing, Alexander Knapp, Simonetta Balsamo (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2004
تعداد صفحات : 368
ISBN (شابک) : 9783540211792 , 3540211799
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 4 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این جلد شامل مقالات کارگاه «نوآوری‌های رادیکال مهندسی نرم‌افزار و سیستم‌ها در آینده» است. این کارگاه نهمین کارگاه از سری کارگاه های مهندسی نرم افزار مونتری برای تدوین و پیشبرد مدل ها و تکنیک های مهندسی نرم افزار با موضوع اساسی افزایش تاثیر عملی روش های رسمی بود. در طول دهه گذشته، شی گرایی عامل محرک راه حل های سیستمی جدید در بسیاری از زمینه ها از تجارت الکترونیک تا سیستم های تعبیه شده بود. زبان‌های مدل‌سازی جدید مانند UML و زبان‌های برنامه‌نویسی جدید مانند جاوا و ابزارهای CASE به طور قابل‌توجهی بر تکنیک‌های توسعه سیستم امروزی تأثیر گذاشته‌اند و برای آینده نزدیک تکنیک‌های کلیدی باقی خواهند ماند. با این حال، عمل واقعی بسیاری از مضرات این رویکردهای جدید را نشان می دهد: - هیچ مدرک و مدرکی وجود ندارد که بهره وری نرم افزار با روش های جدید افزایش یافته است. - UML هیچ پایه علمی تمیزی ندارد، که مانع از ساخت ابزارهای قدرتمند تجزیه و تحلیل و توسعه می شود. - پشتیبانی از توسعه سیستم توزیع شده تلفن همراه وجود ندارد. - همانطور که بسیاری از برنامه‌ها نشان می‌دهند، برنامه‌های کاربردی، طراحی شی‌گرا برای تولید کد با ساختار خوب مناسب نیستند.
فهرست مطالب :
Front Matter....Pages -
Architecture Specific Models: Software Design on Abstract Platforms....Pages 1-15
Tight Structuring for Precise UML-Based Requirement Specifications....Pages 16-34
Integrating Performance Modeling in the Software Development Process....Pages 35-49
The Inevitable Pain of Software Development: Why There Is No Silver Bullet....Pages 50-74
Toward Component-Oriented Formal Software Development: An Algebraic Approach....Pages 75-90
Higher Order Applicative XML Documents....Pages 91-107
A New Paradigm for Requirements Specification and Analysis of System-of-Systems....Pages 108-121
Towards Ontology Driven Software Design....Pages 122-136
A Model Based Development Approach for Distributed Embedded Systems....Pages 137-151
Pervasive Challenges for Software Components....Pages 152-166
Model Generation for Legacy Systems....Pages 167-183
Automatic Failures-Free Connector Synthesis: An Example....Pages 184-197
Module Dependences in Software Design....Pages 198-203
Towards Fully Automatic Execution Monitoring....Pages 204-218
Automation of Software System Development Using Natural Language Processing and Two-Level Grammar....Pages 219-233
A General Resource Framework for Real-Time Systems....Pages 234-248
Architecture Based Model Driven Software and System Development for Real-Time Embedded Systems....Pages 249-260
A Computational Model for Complex Systems of Embedded Systems....Pages 261-273
Software Evolution as the Key to Productivity....Pages 274-282
Model-Checking Complex Software – A Memory Perspective....Pages 283-296
Agile Modeling with the UML....Pages 297-309
Predictable Component Architectures Using Dependent Finite State Machines....Pages 310-324
From Object Orientation to Goal Orientation: A Paradigm Shift for Requirements Engineering....Pages 325-340
View Consistency in Software Development....Pages 341-357
Back Matter....Pages -
توضیحاتی در مورد کتاب به زبان اصلی :
This volume contains the papers from the workshop “Radical Innovations of Software and Systems Engineering in the Future.” This workshop was the ninth in the series of Monterey Software Engineering workshops for formulating and advancing software engineering models and techniques, with the fundamental theme of increasing the practical impact of formal methods. During the last decade object orientation was the driving factor for new system solutions in many areas ranging from e-commerce to embedded systems. New modeling languages such as UML and new programming languages such as Java and CASE tools have considerably in?uenced the system development techniques of today and will remain key techniques for the near future. However, actual practice shows many de?ciencies of these new approaches: – there is no proof and no evidence that software productivity has increased with the new methods; – UML has no clean scienti?c foundations, which inhibits the construction of powerful analysis and development tools; – support for mobile distributed system development is missing; – formanyapplications,object-orienteddesignisnotsuitedtoproducingclean well-structured code, as many applications show.
پست ها تصادفی