دانلود کتاب System Development and Ada: CRAI Workshop on Software Factories and Ada Capri, Italy, May 26–30, 1986 Proceedings
کتاب توسعه سیستم و آدا: کارگاه آموزشی CRAI در کارخانه‌های نرم‌افزار و آدا کاپری، ایتالیا، 26 تا 30 مه، 1986 مجموعه مقالات نسخه زبان اصلی
دانلود کتاب توسعه سیستم و آدا: کارگاه آموزشی CRAI در کارخانه‌های نرم‌افزار و آدا کاپری، ایتالیا، 26 تا 30 مه، 1986 مجموعه مقالات بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب System Development and Ada: CRAI Workshop on Software Factories and Ada Capri, Italy, May 26–30, 1986 Proceedings
نام کتاب : System Development and Ada: CRAI Workshop on Software Factories and Ada Capri, Italy, May 26–30, 1986 Proceedings
ویرایش : 1
عنوان ترجمه شده به فارسی : توسعه سیستم و آدا: کارگاه آموزشی CRAI در کارخانه‌های نرم‌افزار و آدا کاپری، ایتالیا، 26 تا 30 مه، 1986 مجموعه مقالات
سری : Lecture Notes in Computer Science 275
نویسندگان : James E. Archer Jr. (auth.), A. Nico Habermann, Ugo Montanari (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 1987
تعداد صفحات : 309
ISBN (شابک) : 3540183418 , 9783540183419
زبان کتاب : English
فرمت کتاب : djvu درصورت درخواست کاربر به PDF تبدیل می شود
حجم کتاب : 3 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
مجموعه مقالات منتشر شده در این کتاب در ابتدا در کارگاه کارخانه های نرم افزاری و ADA ، که در CAPRI ، 26 تا 30 مه 1986 برگزار شد ، ارائه شد. موضوع این کتاب محیط های توسعه نرم افزار است. توسعه نرم افزار از سه دیدگاه تحت درمان قرار می گیرد: روش شناسی ، مسائل مربوط به زبان و مکانیسم. مورد توجه ویژه بحث در مورد اتوماسیون فرایند توسعه و رسمی سازی مشخصات توسعه نرم افزار است. چندین روش جدید شرح داده شده است که بسیاری از آنها در بازار تجاری موجود است. جدید به ویژه رسمیت فرایند طراحی و توسعه است. ایده های جالب در مورد برنامه ریزی فرایند طراحی و پشتیبانی از مدیریت پروژه توسط ابزارهای رسمی ارائه شده است. خواننده انواع روشها و مکانیسم های جالب را پیدا می کند که عملیاتی هستند. این کتاب برای خوانندگانی که علاقه مند به دانستن اینکه تحقیقات محیط زیست برنامه نویسی در حال حرکت است مناسب است.
فهرست مطالب :
Design of the rational environment....Pages 1-15
The PCTE initiative: toward a european approach to software engineering....Pages 16-29
Engineering VAX Ada for a multi-language programming environment....Pages 30-47
The Ada environment — a personal view....Pages 48-61
Knowledge-based software development from requirements to code....Pages 62-80
The SMoLCS approach to the formal semantics of programming languages....Pages 81-116
Project Graphs and meta-programs towards a theory of Software development....Pages 117-152
Software development based on formal methods....Pages 153-172
Integration of program construction and verification: the PROSPECTRA methodology....Pages 173-194
Ada compiler validation: An example of software testing theory and practice....Pages 195-232
The Software Engineering Institute at carnegie mellon university....Pages 233-248
Task sequencing language for specifying distributed Ada systems....Pages 249-305
توضیحاتی در مورد کتاب به زبان اصلی :
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.
پست ها تصادفی