زمان کنونی: ۲۵ آبان ۱۴۰۳, ۱۰:۰۳ ب.ظ مهمان گرامی به انجمن مانشت خوش آمدید. برای استفاده از تمامی امکانات انجمن می‌توانید عضو شوید.
گزینه‌های شما (ورودثبت نام)

۵th IPM international conference on Fundamentals of Software Engineering

ارسال:
۲۵ مهر ۱۳۹۱, ۰۳:۳۳ ب.ظ (آخرین ویرایش در این ارسال: ۲۵ مهر ۱۳۹۱ ۰۴:۳۹ ب.ظ، توسط انرژی مثبت.)
۵th IPM international conference on Fundamentals of Software Engineering
Topics of Interest


Models of programs and systems

Software specification, validation and verification

Software architectures and their description languages

Object and multi-agent systems

Coordination and feature interaction

Integration of formal and informal methods

Integration of different formal methods

Component-based development

Service-oriented development

Model checking and theorem proving

Software and hardware verification

CASE tools and tool integration

Application to industrial cases

Important Dates

Abstract Submission: October 19, 2012
Paper Submission: October 26, 2012
Notification: December 14, 2012
Camera Ready: January 11, 2013
Conference:April 24-26, 2013


مهمان عزیز شما قادر به مشاهده پیوندهای انجمن مانشت نمی‌باشید. جهت مشاهده پیوندها ثبت نام کنید.



عشق صیدیست که تیرت به خطا هم برود/لذتش کنج دلت تا به ابد خواهد ماند
۰
۰
یافتن تمامی ارسال‌های این کاربر
نقل قول این ارسال در یک پاسخ
 سپاس‌گزاری شده توسط: diligent , *farnaz* , esi


موضوع‌های مرتبط با این موضوع...
موضوع: نویسنده پاسخ: بازدید: آخرین ارسال
  دانلود حل المسائل A First Course in Mathematical Modeling, 5th Edition jazana ۱ ۳,۳۴۷ ۱۳ آبان ۱۴۰۱ ۰۱:۲۲ ب.ظ
آخرین ارسال: مرجان فهمیده
  مهندسی نرم افزار مبتنی بر جستجو (SBSE :search-based software engineering) svas ۱ ۲,۳۵۱ ۰۳ شهریور ۱۳۹۶ ۰۵:۲۵ ب.ظ
آخرین ارسال: Mahta.Bakhshizadeh
  ۷ اصل در lean software development مهرگان ۰ ۱,۵۷۳ ۱۸ مهر ۱۳۹۵ ۰۹:۲۸ ب.ظ
آخرین ارسال: مهرگان
  ۷ اصل در lean software development مهرگان ۰ ۱,۲۳۲ ۱۸ مهر ۱۳۹۵ ۰۲:۱۲ ب.ظ
آخرین ارسال: مهرگان
  مباحث موجود در حوزه ی آزمون نرم افزار Software Test Ametrine ۰ ۱,۴۹۸ ۱۳ شهریور ۱۳۹۵ ۰۶:۴۴ ب.ظ
آخرین ارسال: Ametrine
  ترجمه کتاب فصل ۸ Software Development for Small Teams A RUP-Centric Approa k1.technology ۰ ۱,۶۷۰ ۱۱ آذر ۱۳۹۴ ۱۱:۵۴ ب.ظ
آخرین ارسال: k1.technology
  ISIC: International Student Identity Card Hera ۰ ۱,۵۸۹ ۱۸ خرداد ۱۳۹۴ ۰۶:۳۷ ب.ظ
آخرین ارسال: Hera
  موضوع سمینار trust in manet یا software defination networking ranginkamon ۰ ۱,۶۸۵ ۱۰ اردیبهشت ۱۳۹۴ ۱۰:۴۸ ق.ظ
آخرین ارسال: ranginkamon
  ترجمه فصل ۷ کتاب Software Architecture in Practice marjan_gh ۴ ۵,۰۴۷ ۰۵ دى ۱۳۹۳ ۰۳:۵۳ ب.ظ
آخرین ارسال: marjan_gh
  International Journal of Intelligent Information Systems (IJIIS) ahoo_vahshi93 ۳ ۲,۴۶۴ ۱۰ شهریور ۱۳۹۳ ۱۲:۴۷ ب.ظ
آخرین ارسال: khazan_1369

پرش به انجمن:

Can I see some ID?

به خاطر سپاری رمز Cancel

Feeling left out?


نگران نباش، فقط روی این لینک برای ثبت نام کلیک کن. رمزت رو فراموش کردی؟ اینجا به یادت میاریم! close

رمزت رو فراموش کردی؟

Feeling left out?


نگران نباش، فقط روی این لینک برای ثبت نام کلیک کن. close