Radical Innovations of Software and Systems Engineering in the Future: 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002. Revised Papers

این جلد شامل مقالات کارگاه «نوآوری‌های رادیکال مهندسی نرم‌افزار و سیستم‌ها در آینده» است. این کارگاه نهمین کارگاه از سری کارگاه های مهندسی نرم افزار مونتری برای تدوین و پیشبرد مدل ها و تکنیک های مهندسی نرم افزار با موضوع اساسی افزایش تاثیر عملی روش های رسمی بود. در طول دهه گذشته، شی گرایی عامل محرک راه حل های سیستمی جدید در بسیاری از زمینه ها از تجارت الکترونیک تا سیستم های تعبیه شده بود. زبان‌های مدل‌سازی جدید مانند UML و زبان‌های برنامه‌نویسی جدید مانند جاوا و ابزارهای CASE به طور قابل‌توجهی بر تکنیک‌های توسعه سیستم امروزی تأثیر گذاشته‌اند و برای آینده نزدیک تکنیک‌های کلیدی باقی خواهند ماند. با این حال، عمل واقعی بسیاری از مضرات این رویکردهای جدید را نشان می دهد: - هیچ مدرک و مدرکی وجود ندارد که بهره وری نرم افزار با روش های جدید افزایش یافته است. - UML هیچ پایه علمی تمیزی ندارد، که مانع از ساخت ابزارهای قدرتمند تجزیه و تحلیل و توسعه می شود. - پشتیبانی از توسعه سیستم توزیع شده تلفن همراه وجود ندارد. - همانطور که بسیاری از برنامه‌ها نشان می‌دهند، برنامه‌های کاربردی، طراحی شی‌گرا برای تولید کد با ساختار خوب مناسب نیستند.

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.