در حال بارگذاری
  • 7
    دنبال کننده
  • 1
    دنبال شونده
  • 6هزار
    بازدید

مهندسی نرم افزارمدل رانده

این کانال توسط گروه پژوهشی مهندسی نرم افزار مدل رانده واقع در دانشگاه اصفهان ایجاد شده است و هدف آن نشر مفاهیم مهندسی نرم افزار مدل رانده و معرفی ابزارهای متداول این حوزه می باشد. آدرس وبگاه گروه پژوهشی: mdse.ui.ac.ir

نمایش اطلاعات کانال بستن اطلاعات کانال

این کانال توسط گروه پژوهشی مهندسی نرم افزار مدل رانده واقع در دانشگاه اصفهان ایجاد شده است و هدف آن نشر مفاهیم مهندسی نرم افزار مدل رانده و معرفی ابزارهای متداول این حوزه می باشد. آدرس وبگاه گروه پژوهشی: mdse.ui.ac.ir

  • 7
    دنبال کننده
  • 1
    دنبال شونده
  • 6هزار
    بازدید

همه ویدیو ها

  • آشنایی با ایجاد پلاگین در اکلیپس

    102 بازدید

    اکلیپس یک محیط توسعه نرم افزاری با قابلیت اضافه کردن افزونه میباشد. در هسته ی اکلیپس،در بخش eclipse sdk میتوان ابزارها و محصولات مختلفی را در قالب پلاگین ها توسعه داد. در این آموزش به مفهوم توسعه پلاگین در اکلیپس پرداخته شده است و مراحل ایجاد آن در قالب پیاده سازی یک پلاگین کاربردی آموزش داده شده است.

  • آشنایی با ابزار Modisco

    43 بازدید

    مدیسکو چارچوبی عمومی و گسترش پذیر تحت اکلیپس می باشد که به عنوان یک ابزار قدرتمند می تواند به طور مؤثر در زمینه ی مهندسی معکوس در مدل رانده به کار گرفته شود. در این آموزش به توضیح این ابزار و نحوه کار با آن می پردازیم.

  • آشنایی با زبان Alloy

    235 بازدید

    زبان Alloy یک زبان برای توصیف و آنالیز سیستم ها و نرم افزارها به صورت رسمی است. این زبان اعلان است و برپایه زبان Z می باشد. در این زبان توصیفات صورت گرفته به عبارات منطقی مرتبه اول تبدیل شده و سپس توسط حل کننده های SAT بررسی می کند : 1) آیا مدلی برای اثبات درستی توصیف وجود دارد 2) آیا مثال نقضی برای آن یافت می شود یا نه و در نهایت نتیجه را بصورت گرافیکی به کاربر نمایش می دهد.

  • آشنایی با زبان PetriNet

    152 بازدید

    در این آموزش، ابتدا تاریخچه و مفاهیم اولیه PetriNet بیان می شود. سپس نحوه ی کار مدل ها در PetriNet با ارائه چند مثال توضیح داده می شود. در نهایت نحوه ی کار با ابزار CPNTools با ارائه ی یک مثال کاربردی، آموزش داده می شود.

  • افزودن semantic به یک نمودار کلاس با استفاده زبان ALF

    40 بازدید

    پیشنیاز این آموزش، نصب و راه اندازی FUML می باشد که در فیلم آموزشی با عنوان «ایجاد اولین پروژه FUML» توضیح داده شده است. در این بخش، برای افزودن semantic و اجرای مدل های رفتاری مربوط به متدهای یک نمودار كلاس، از زبان ALF استفاده می شود. مثال مورد بحث در این بخش، سیستم خرید و فروش الکترونیکی است.

  • ایجاد اولین پروژه FUML

    53 بازدید

    زبان FUML، قابلیت اجرا را به زیرمجموعه ای از نمودارهای UML اضافه کرده است. برای اجرای یک مدل لازم است semantic اجرا به آن افزوده شود. این semantic می تواند به صورت گرافیکی یا متنی نمایش داده شود. برای نمایش گرافیکی semantic در FUML از activity diagram و برای نمایش متنی از زبان ALF استفاده می شود. در این بخش، طریقه نصب و راه اندازی FUML و انجام یک مثال ساده با activity diagram آموزش داده می شود.

  • آشنایی با زبان Z

    452 بازدید

    توصیف رسمی نرم افزار، نیازمند یک زبان است که واژگان، نحو و معنای آن به طور رسمی تعریف شده باشد. مزیت استفاده از ریاضیات این است که بر خلاف زبان طبیعی و نمودارهایی که اغلب برای توصیف استفاده می شوند، دقیق و بدون ابهام است. در این ویدیوی آموزشی زبان توصیف Z که یک زبان توصیف رسمی است توسط میثم کریمی دانشجوی دکتری گروه پژوهشی مهندسی نرم افزار مدل رانده دانشگاه اصفهان معرفی می شود.

  • معرفی اپلیکیشن مکان محور اماکن داخل دانشگاه اصفهان

    333 بازدید

    این اپلیکیشن که به طور خودکار و با استفاده از رویکرد مدل رانده تولید شده است، برای یافتن دانشکده ها، بخش های مختلف اداری، ساختمان ها و سایر مراکز دانشگاه اصفهان می باشد. مجموعه ابزاری که برای تولید این اپلیکیشن استفاده شده است، ALBA نام دارد که امکان مدل سازی انواع اپلیکیشن های مکان محور و تولید 80 الی 100 درصدی کدهای اندروید را فراهم می نماید.

  • ایجاد MappingModel در GMF

    262 بازدید

    در این ویدئو نحوه ی ایجاد MappingModel برای مطالعه ی موردی ماشین حالت توضیح داده می شود، همچنین نحوه ی تولید کدهای ویرایشگر گرافیکی و در نهایت اجرای آن ها به منظور مدل سازی یک ماشین حالت، نشان داده می شود.

  • ایجاد ToolModel در GMF

    111 بازدید

    سومین مرحله از مراحل طراحی یک ویرایشگر گرافیکی، ایجاد ToolModel است. در این ویدئو نحوه ی ایجاد ToolModel در GMF برای ماشین حالت توضیح داده می شود.

  • ایجاد GraphModel در GMF

    14 بازدید

    دومین مرحله از مراحل طراحی یک ویرایشگر گرافیکی، ایجاد GraphModel است. در این ویدئو نحوه ی ایجاد GraphModel در GMF برای ماشین حالت توضیح داده می شود.

  • طراحی فرامدل به کمک مدل Ecore

    69 بازدید

    معرفی جریان کاری GMF، و انجام اولین مسیر از این جریان برای مطالعه ی موردی ماشین حالت، که طراحی فرامدل به کمک مدل Ecore می باشد.

  • طریقه نصب EMF و GMF بر روی اکلیپس

    229 بازدید

    مقدمه ای بر طراحی ویرایشگرهای گرافیکی، و طریقه ی نصب EMF و GMF بر روی اکلیپس

  • آشنایی با ابزار MetaEdit+

    251 بازدید

    ایجاد یک زبان مدل سازی خاص دامنه به کمک MetaEdit+

  • آشنایی با زبان Emfatic

    141 بازدید

    آشنایی عملی با نحوه ایجاد فرامدل (Meta model) و ecore مورد نیاز برای طراحی یک مدل که یکی از اصول مهندسی نرم افزار مدل رانده و مدیریت مدلهای طراحی می باشد. برای اطلاعات بیشتر به گروه پژوهشی مهندسی مدل رانده به نشانی mdse.bahmanzamani.com مراجعه نمایید.

  • آشنایی با زبان تبدیل ETL، بخش دوم: نوشتن و اجرای تبدیل

    183 بازدید

    آشنایی عملی با اصول مهندسی نرم افزار مدل رانده و مدیریت مدلهای طراحی به کمک زبانهای اپسیلون-اطلاعات بیشتر در mdse.bahmanzamani.com

  • آشنایی با زبان تبدیل ETL، بخش اول: ایجاد متامدلها

    182 بازدید

    آشنایی عملی با اصول مهندسی نرم افزار مدل رانده و مدیریت مدلهای طراحی به کمک زبانهای اپسیلون-اطلاعات بیشتر در mdse.bahmanzamani.com

  • ایجاد لینک بین مدلها با استفاده از مدلینک

    119 بازدید

    این ویدئو کاری از گروه اپسیلون به نشانی www.eclipse.org/epsilon می باشد که هدف آن آشنایی با نحوه ایجاد لینک بین مدل ها است. جهت آشنایی با اصول مهندسی نرم افزار مدل رانده، مدیریت مدلهای طراحی و اطلاعات بیشتر به گروه پژوهشی مهندسی نرم افزار مدل رانده به نشانی mdse.bahmanzamani.com مراجعه نمایید.

  • آشنایی با زبان ادغام اپسیلون EML

    132 بازدید

    آشنایی عملی با اصول مهندسی نرم افزار مدل رانده و مدیریت مدلهای طراحی به کمک زبانهای اپسیلون-اطلاعات بیشتر در mdse.bahmanzamani.com

  • آشنایی با زبان مقایسه اپسیلون ECL

    107 بازدید

    آشنایی عملی با اصول مهندسی نرم افزار مدل رانده و مدیریت مدلهای طراحی به کمک زبانهای اپسیلون-اطلاعات بیشتر در mdse.bahmanzamani.com

  • استفاده از زبان های اپسیلون در جاوا

    141 بازدید

    آشنایی عملی با اصول مهندسی نرم افزار مدل رانده و مدیریت مدلهای طراحی به کمک زبانهای اپسیلون-اطلاعات بیشتر در mdse.bahmanzamani.com

  • اجرای دنباله ای از زبان های خانواده اپسیلون (Workflow)

    132 بازدید

    آشنایی عملی با اصول مهندسی نرم افزار مدل رانده و مدیریت مدلهای طراحی به کمک زبانهای اپسیلون-اطلاعات بیشتر در mdse.bahmanzamani.com

  • آشنایی با زبان ویزارد اپسیلون EWL

    118 بازدید

    آشنایی عملی با اصول مهندسی نرم افزار مدل رانده و مدیریت مدلهای طراحی به کمک زبانهای اپسیلون-اطلاعات بیشتر در mdse.bahmanzamani.com

  • آشنایی با زبان تولید اپسیلون EGL

    121 بازدید

    آشنایی عملی با اصول مهندسی نرم افزار مدل رانده و مدیریت مدلهای طراحی به کمک زبانهای اپسیلون-اطلاعات بیشتر در mdse.bahmanzamani.com

  • آشنایی با زبان اعتبارسنجی اپسیلون EVL

    85 بازدید

    آشنایی عملی با اصول مهندسی نرم افزار مدل رانده و مدیریت مدلهای طراحی به کمک زبانهای اپسیلون-اطلاعات بیشتر در mdse.bahmanzamani.com

  • آشنایی با زبان شئ اپسیلون EOL

    97 بازدید

    آشنایی عملی با اصول مهندسی نرم افزار مدل رانده و مدیریت مدلهای طراحی به کمک زبانهای اپسیلون-اطلاعات بیشتر در mdse.bahmanzamani.com

  • نصب و پیکربندی اپسیلون در اکلیپس

    163 بازدید

    آشنایی عملی با اصول مهندسی نرم افزار مدل رانده و مدیریت مدلهای طراحی به کمک زبانهای اپسیلون-اطلاعات بیشتر در mdse.bahmanzamani.com

  • معرفی چارچوب اپسیلون (کتاب، سایت و فروم)

    258 بازدید

    آشنایی عملی با اصول مهندسی نرم افزار مدل رانده و مدیریت مدلهای طراحی به کمک زبانهای اپسیلون-اطلاعات بیشتر در mdse.bahmanzamani.com