System Development and Ada: CRAI Workshop on Software Factories and Ada Capri, Italy, May 26–30, 1986 Proceedings

مجموعه مقالات منتشر شده در این کتاب ابتدا در کارگاه کارخانه‌های نرم‌افزار و آدا، که در کاپری، 26 تا 30 می 1986 برگزار شد، ارائه شد. موضوع کتاب، محیط‌های توسعه نرم‌افزار است. توسعه نرم افزار از سه دیدگاه مورد بررسی قرار می گیرد: روش شناسی، مسائل زبان و مکانیسم ها. بحث‌های مربوط به اتوماسیون فرآیند توسعه و رسمی‌سازی مشخصات توسعه نرم‌افزار از اهمیت ویژه‌ای برخوردار است. چندین روش جدید توضیح داده شده است که بسیاری از آنها در بازار تجاری موجود هستند. جدید به ویژه رسمی شدن فرآیند طراحی و توسعه است. ایده های جالبی در مورد برنامه ریزی فرآیند طراحی و پشتیبانی از مدیریت پروژه با ابزارهای رسمی ارائه شده است. خواننده انواع روش‌ها و مکانیسم‌های جالبی را خواهد یافت که عملیاتی هستند. این کتاب برای خوانندگان علاقه مند به دانستن اینکه تحقیقات محیط برنامه نویسی در کدام جهت حرکت می کند مناسب است.

The collection of papers published in this book was initially presented at the Workshop on Software Factories and Ada, held on Capri, May 26-30, 1986. The subject of the book is software development environments. Software development is treated from three viewpoints: methodologies, language issues and mechanisms. Of particular interest are the discussions of automation of the development process and the formalization of software development specifications. Several new methodologies are described, many of which are available on the commercial market. New is in particular the formalization of the design and development process. Interesting ideas are presented on planning the design process and on supporting project management by formal tools. The reader will find a variety of interesting methodologies and mechanisms that are operational. The book is suitable for readers interested in knowing in which direction programming environment research is moving.