خرید و دانلود نسخه کامل کتاب FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe Berlin, Germany, March 12–16, 2001 Proceedings
قیمت اصلی 297,000 تومان بود.197,000 تومانقیمت فعلی 197,000 تومان است.
تعداد فروش: 53
| عنوان فارسی |
FME 2001: روش های رسمی برای افزایش بهره وری نرم افزار: سمپوزیوم بین المللی روش های رسمی اروپا برلین ، آلمان ، 12 تا 16 مارس ، مجموعه مقالات |
|---|---|
| عنوان اصلی | FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe Berlin, Germany, March 12–16, 2001 Proceedings |
| ویرایش | 1 |
| ناشر | Springer-Verlag Berlin Heidelberg |
| نویسنده | Daniel Jackson (auth.), José Nuno Oliveira, Pamela Zave (eds.) |
| ISBN | 3540417915, 9783540417910 |
| سال نشر | 2001 |
| زبان | English |
| تعداد صفحات | 640 |
| دسته | کنفرانس ها و همایش های بین المللی |
| فرمت کتاب | pdf – قابل تبدیل به سایر فرمت ها |
| حجم فایل | 5 مگابایت |
آنتونی رابینز میگه : من در 40 سالگی به جایی رسیدم که برای رسیدن بهش 82 سال زمان لازمه و این رو مدیون کتاب خواندن زیاد هستم.
توضیحاتی در مورد کتاب
FME 2001 دهمین جلسه از مجموعه جلساتی است که هر هجده ماه یکبار توسط Formal Methods Europe (FME)، انجمنی مستقل که هدف آن تحریک استفاده و تحقیق در مورد روشهای رسمی برای توسعه نرمافزار است، برگزار میشود. این به دنبال چهار سمپوزیوم VDM اروپا، چهار روش رسمی دیگر اروپا S-Posia، و کنگره جهانی روشهای رسمی در توسعه سیستمهای محاسباتی در سال 1999 است. این جلسات به طور قابل توجهی در جمع آوری جامعه ای از کاربران، محققان و توسعه دهندگان روش های دقیق ریاضی برای توسعه نرم افزار موفق بوده اند. FME 2001 در برلین، آلمان برگزار شد و توسط دپارتمان علوم کامپیوتری دانشگاه Humboldt در zu Berlin سازماندهی شد. موضوع سمپوزیوم روش های رسمی برای افزایش بهره وری نرم افزار بود. این موضوع تشخیص میدهد که روشهای رسمی این پتانسیل را دارند که برای توسعه نرمافزار صنعتی بیشتر از افزایش کیفیت نرمافزار انجام دهند {آنها همچنین میتوانند بهرهوری را در بسیاری از نقاط مختلف چرخه عمر نرمافزار افزایش دهند. اهمیت موضوع توسط بسیاری از مقالات ارائه شده که نشان میدهند چگونه روشهای رسمی میتوانند توسعه نرمافزار را کارآمدتر کنند، اثبات میشود. بر ابزارهایی که به طور خودکار یا با نیروی انسانی نسبتاً کمی خطا می کنند، تأکید می شود. همچنین تاکید بر استفاده از روشهای رسمی برای کمک به کارهای حیاتی و پرمشغله مانند طراحی برنامه و تولید موارد آزمایشی وجود دارد.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.