دانلود کتاب Integration of Software Specification Techniques for Applications in Engineering: Priority Program SoftSpez of the German Research Foundation (DFG), Final Report (به فارسی: ادغام تکنیک های مشخصات نرم افزار برای برنامه های کاربردی در مهندسی: برنامه اولویت دار SoftSpez بنیاد تحقیقات آلمان (DFG)، گزارش نهایی) نوشته شده توسط «Hartmut Ehrig (auth.) – Hartmut Ehrig – Werner Damm – Jörg Desel – Martin Große-Rhode – Wolfgang Reif – Eckehard Schnieder – Engelbert Westkämper (eds.)»
اطلاعات کتاب ادغام تکنیک های مشخصات نرم افزار برای برنامه های کاربردی در مهندسی: برنامه اولویت دار SoftSpez بنیاد تحقیقات آلمان (DFG)، گزارش نهایی
موضوع اصلی: فن آوری
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Hartmut Ehrig (auth.) – Hartmut Ehrig – Werner Damm – Jörg Desel – Martin Große-Rhode – Wolfgang Reif – Eckehard Schnieder – Engelbert Westkämper (eds.)
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2004
تعداد صفحه: 630
حجم کتاب: 7 مگابایت
کد کتاب: 3540231358 , 9783540231356 , 9783540278634
نوبت چاپ: 1
توضیحات کتاب ادغام تکنیک های مشخصات نرم افزار برای برنامه های کاربردی در مهندسی: برنامه اولویت دار SoftSpez بنیاد تحقیقات آلمان (DFG)، گزارش نهایی
این کتاب مستندات نتیجه علمی برنامه اولویت دار ادغام تکنیک های مشخصات نرم افزار برای برنامه های کاربردی در مهندسی است که توسط بنیاد تحقیقات آلمان (DFG) حمایت می شود. این شامل مشارکت های اصلی پروژه های برنامه اولویت دار و کارشناسان بین المللی اضافی در این زمینه است. برخی از مقالات ارائه شده در سومین کارگاه بین المللی مرتبط با موضوع، INT 2004، که در بارسلونا، اسپانیا در مارس 2004 برگزار شد، ارائه شد. ویراستاران به دقت بررسی و برای گنجاندن در کتاب انتخاب شدند. مقالات در بخش‌های موضوعی در مورد اتوماسیون تولید مطالعه موردی مرجع، سیستم‌های کنترل ترافیک مطالعه موردی مرجع، شبکه‌های پتری و رویکردهای مرتبط در مهندسی، نمودارها، راستی‌آزمایی و مدل‌سازی یکپارچه سازمان‌دهی شده‌اند.
This book constitutes the documentation of the scientific outcome of the priority program Integration of Software Specification Techniques for Applications in Engineering sponsored by the German Research Foundation (DFG). It includes main contributions of the projects of the priority program and of additional international experts in the field. Some of the papers included were presented at the related Third International Workshop on the topic, INT 2004, held in Barcelona, Spain in March 2004.
The 25 revised full papers presented together with 6 section introductions by the volume editors were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on reference case study production automation, reference case study traffic control systems, petri nets and related approaches in engineering, charts, verification, and integration modeling.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.