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

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

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

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

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

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

همه ویدیو ها

  • آشنایی با ابزار USE - قسمت سوم (معرفی پلاگین USE Model Validator)

    22 بازدید

    این پلاگین امکان تعیین قابلیت ارضای فضای حالتی از سیستم را بر اساس پیکربندی تعیین شده فراهم می نماید. می توان از آن به عنوان حل کننده قید بهره برد. این رویکرد مبتنی بر ترجمه مفاهیم UML و OCL به منطق رابطه ای Kodkod و درک آن به وسیله SAT Solver است. پلاگین Model Validator روی ابزار USE نصب می شود. کاربر درگیر مفاهیم منطق Kodkod نمی شود اما نمودار کلاس و قیود OCL را به فرمت USE ایجاد می نماید. در نهایت ابزار ارضا شدن قیود را تعیین می کند و درصورتی که قید ارضا شود نمونه ای از مدل ایجاد می گردد.

  • آشنایی با ابزار USE - قسمت دوم

    27 بازدید

    یکی از قابلیت های ابزار USE اعتبارسنجی پیش شرط ها و پس شرط ها است. این آموزش با ذکر مثالی به معرفی این قابلیت می پردازد.

  • آشنایی با ابزار USE - قسمت اول

    245 بازدید

    USE سیستمی برای توصیف و اعتبارسنجی سیستم های اطلاعاتی مبتنی بر زیرمجموعه ای از UML و OCL است. این ابزار قابلیت ارضای قیود را روی حالت مشخص شده از سیستم تعیین می کند. در این آموزش با نحوه کار با این ابزار آشنا می شوید.

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

    158 بازدید

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

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

    64 بازدید

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

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

    367 بازدید

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

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

    203 بازدید

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

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

    54 بازدید

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

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

    59 بازدید

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

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

    672 بازدید

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

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

    377 بازدید

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

  • ایجاد MappingModel در GMF

    288 بازدید

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

  • ایجاد ToolModel در GMF

    117 بازدید

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

  • ایجاد GraphModel در GMF

    15 بازدید

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

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

    86 بازدید

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

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

    273 بازدید

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

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

    274 بازدید

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

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

    148 بازدید

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

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

    206 بازدید

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

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

    209 بازدید

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

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

    124 بازدید

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

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

    139 بازدید

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

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

    122 بازدید

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

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

    151 بازدید

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

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

    144 بازدید

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

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

    133 بازدید

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

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

    125 بازدید

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

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

    96 بازدید

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

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

    104 بازدید

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